赵爽证明的出发点是面积的定义:长的平方,成正方形.这是一个关于面积的本初定义,不需要证明.

进而,根据直角和全等的本初定义(不需要证明),任何斜边长的四个全等的三角形都可以按赵爽的办法拼成大正方形含小正方形.进而直接按加法的本初定义(不需要证明)给出面积方程等式.

简化方程,即得勾股定理.

这一证明是自我封闭的.从面积的本初定义出发,根据直角和全等以及加法的本初定义,一以贯之.

此证明和夷狄证明从出发到结果完全不一样.根本不用夷狄的所谓几何公理.说明不从夷狄的所谓几何公理出发,一样可以证明几何定理.真理不是唯一的.

http://www.mmit.stc.sh.cn/telecenter/CnHisScience/ggdl.htm