等比定理推导过程