我们根据图形的移、拼、补可以简单直观地推理验证数学规律和公式，这种方法称之为“无字证明”，它比严谨的数学证明更为优雅与有条理．三国时代东吴数学家赵爽（字君卿，约公元3世纪）在《勾股圆方图注》一书中用割补的方法构造了“无字证明”图形（如图①）．其中四个直角三角形较长的直角边长都为a， 较短的直角边长都为b， 斜边长都为c， 大正方形的面积可以表示为c² ， 也可以表示为4× ab+（a﹣b）² ， 由此推导出一个重要的定理．