在比例里,两个内项的积等于两个外项的积