在比例里,两个内项的积等于两个外项的积,这是比例的定义,所以它们相减一定等于零