等比定理的推导过程