将第2步的正弦定理结果代入第4步,展开 cos(X+60∘)\cos(X+60^\circ)cos(X+60∘),并使用 ABCABCABC 中的正弦、余弦定理:asinB=bsinAa\sin B=b\sin AasinB=bsinA、accosB=(a2+c2−b2)/2ac\cos B=(a^2+c^2-b^2)/2accosB=(a2+c2−b2)/2、bccosA=(b2+c2−a2)/2bc\cos A=(b^2+c^2-a^2)/2bccosA=(b2+c2−a2)/2。各项相消,得到 PR2=QR2PR^2=QR^2PR2=QR2 及 PR2+QR2=PQ2PR^2+QR^2=PQ^2PR2+QR2=PQ2。