余弦定理本身就是余弦勾股定理的推广，直角三角形是定理它的一种特殊情形。用余弦定理来证明勾股定理，证明直角逻辑上完全走得通，角形而且比很多教材上那种“面积割补法”更直接。余弦关键在于：你不能把余弦定理当成只适用于一般三角形的定理工具，然后忘了它其实也管直角三角形。证明直角

先把余弦定理写出来。角形对任意三角形ABC，余弦设角C的定理对边为c，角A对边为a，证明直角角B对边为b，角形那么：

c² = a² + b² - 2ab·cosC

现在假设三角形ABC是余弦直角三角形，角C就是定理那个90度的角。于是证明直角cosC = cos90° = 0。代入上面的式子，第二项-2ab·cosC直接变成0，剩下：

c² = a² + b²

这就是勾股定理。整个推导过程只有一步代换，没有任何几何图形的拼接、切割或者面积搬运。你可能会说，这算哪门子证明？不就是把余弦定理当已知条件，然后代个数进去吗？对，但问题在于余弦定理本身的证明并不依赖于勾股定理。如果余弦定理的推导过程里偷偷用了勾股定理，那这个证明就是循环论证。

所以得看一眼余弦定理是怎么来的。最常见的一种证法是用向量点积。设向量AB和AC的夹角为A，那么向量BC = AC - AB。两边取模平方：

|BC|² = |AC - AB|² = |AC|² + |AB|² - 2·AC·AB

展开点积部分，AC·AB = |AC||AB|cosA，于是得到a² = b² + c² - 2bc·cosA。这个推导只用了向量运算和点积的定义，没有用到勾股定理。点积的定义本身是代数性的，不依赖直角三角形的边长关系。所以这条路是干净的。

另一种常见的余弦定理证明是用坐标法。把角C放在原点，一条边沿x轴，另一条边转到某个角度。设A点坐标是(b, 0)，B点坐标是(a·cosC, a·sinC)。两点距离公式给出：

c² = (b - a·cosC)² + (a·sinC)²

展开后sin²C + cos²C = 1，剩下的就是c² = a² + b² - 2ab·cosC。这里用到了三角恒等式sin²C + cos²C = 1，而这个恒等式来自单位圆定义，同样不依赖勾股定理。所以坐标法也是干净的。

两条路都通。但有个细节值得注意：很多中学教材在讲余弦定理时，会先讲勾股定理，然后说“余弦定理是勾股定理的推广”。这种叙述顺序容易让人误以为余弦定理必须建立在勾股定理之上。实际上逻辑关系是反过来的——勾股定理是余弦定理在C=90°时的特例，而余弦定理本身可以用向量或坐标独立证明。你完全可以在不接触勾股定理的情况下先建立余弦定理，然后顺手把直角三角形的情形拎出来，得到勾股定理。

我当年学这一块的时候，老师反复强调“余弦定理是勾股定理的推广”，但从来没让我们反过来用余弦定理去证勾股定理。后来自己翻向量代数的书才反应过来，这俩就是同一个东西的两种写法。直角三角形那个cos90°=0的代入，本质上是在说：当夹角是直角时，向量点积为零，所以交叉项消失。向量语言里，垂直就是点积为零，就这么简单。

所以你要问余弦定理怎么证明直角三角形？答案就一句话：把90度代进去，cos90°等于0，剩下的就是勾股定理。前提是你得接受余弦定理本身可以独立于勾股定理建立起来。如果接受不了这一点，那这个证明就变成了“用勾股定理证勾股定理”的变体，虽然形式上看不出来，但逻辑上确实有循环的嫌疑。好在向量点积和坐标距离公式这两条路都不需要勾股定理，所以这个证明是站得住的。

(责任编辑：综合)