作RT△A'B'C',使∠C'=90.B'C'=BC=a;A'C'=AC=b
即由勾股定理得A'B'²=a²+b²
而a²+b²=c²
∴A'B'²=C²
∴A'B'=C=AB
∴△ABC≌△A'B'C'
∴∠C=∠C'=90
即∠C=Rt∠