在我看来古人只是给出两种方法计算出弦长c

前面那个图是三国时期 赵爽 给的。谁能告诉我古人能算 (b-a)^2 --> b^2 + a ^ 2 - 2ab 而且在赵爽那时已将这公式当成已知的东西，那我认同赵爽给出了证明.

现在国人简单搬代数公式进而称赵爽给出了证明。但  (b-a)^2 的代数方法计算，起码要涉及负数相乘吧。公认的中国古代正负数乘除法则是1299年《算学启蒙》才给出: 同名相乘为正，异名相乘为负，同名相除所得为正, 异名相除所得为负.

简单办法是补个下面这图。赵爽既然能弄前面那复杂点的图，应该也能弄下面这图。