一个比例的两个外项互为倒数，那么两个内项的乘积一定是1。