证明三角形的那个式子成立的过程.