你這證明所略去的那部分（‘首先需用全等三角形定理證明以C為邊的四邊形是直角’）與敝帖‘小李飛刀’以前那些段落相同。你的運算與敝帖的‘搬運三角形’等同。

唯一的‘不同’是：你這證明用了三角形面積的算法，我的證明只用了正方形面積的算法. 但我猜三角形面積的算法也可從我那‘搬運三角形’所基於的算法中推導出來。