展开 比例内项的积与外项的积为什么相等