魏晋时期，伟大数学家刘徽利用如图通过“以盈补虚，出入相补”的方法，即“勾自乘为朱方，股自乘为青方，令出入相补，各从其类”证明了勾股定理.已知四边形ABCD、四边形AHFE、四边形DGME均为正方形.