毕克定理推导过程