虚功原理推导过程