合比性质的推导