如果一个比例的两个内项互为倒数，那么两个外项成比例。