三国时期,为国数学家刘薇为古籍《九章算术》作注释时提出用"出入相补法"验证勾股定理,如图所示请加以说明

证明勾股定理即AB的平方+BE的平方=AE的平方。
作者将上面的概念转换为边长a的正方形+边长b的正方形+边长c的正方形,，于是就有了上面的图。
然后用“出入相补法”也就是讲2个小正方形切割再补到大正方形里。
如果能补上就证明了勾股定理。