你这证明所略去的那部分（‘首先需用全等三角形定理证明以C为边的四边形是直角’）与敝帖‘小李飞刀’以前那些段落相同。你的运算与敝帖的‘搬运三角形’等同。

唯一的‘不同’是：你这证明用了三角形面积的算法，我的证明只用了正方形面积的算法. 但我猜三角形面积的算法也可从我那‘搬运三角形’所基于的算法中推导出来。