为什么比例的外项之积等于内项之积