勾股定理的一个证明

在学到圆那边的时候，我们会碰到一道经典的题目：

已知直角三角形的三边长分别为 (a)，(b)，(c)，其中 (c) 对应直角，求此三角形内切圆的半径。

常见的方法有两种：

• 如图
  
  如果对三边按切点分割，有联立方程

[x+y=a,quad x+z=b,quad y+z=c. ]

解得 $$r=x=frac{1}{2}(a+b-c).qquad (1)$$

• 如图
  
  借助面积的分割可得

[frac{1}{2}ar+frac{1}{2}br+frac{1}{2}cr=frac{1}{2}ab. ]

即 $$r=frac{ab}{a+b+c}.qquad (2)$$

由于 ((1)) 与 ((2)) 相等，于是可得

[frac{1}{2}(a+b-c)=frac{ab}{a+b+c}. ]

化简即得勾股定理 $$a^2+b2=c^2.$$

这个证明有几位老师看过，目前还没人说这里涉及了循环论证。

勾股定理的证明何其之多，我无意中发现的这个应该之前也被人发现了。不过我手头没有相关资料，不能查证。无论如何，这好歹是自己发现的“新”东西，这点很有安慰作用，我还是能弄点“新”东西出来的。希望自己再接再厉，将来能发现更有意思的东西。

---

2016.05补：这里见到一位网友小时候也给出了这个证明。