AC^2 = AD^2 + BD^2
BC^2 = CD^2 + BD^2
得AC^2 - BC^2 = AD^2 - CD^2 . 1
又AD = AC - CD
两边平方得 AD^2 = AC^2 - 2AC*CD + CD^2 . 2
1、2两式相加 得 AC^2 -BC^2 +AD^2 =AD^2 -CD^2 +AC^2 -2AC*CD +CD^2
约简得 BC^2 = 2AC*CD
AC^2 = AD^2 + BD^2
BC^2 = CD^2 + BD^2
得AC^2 - BC^2 = AD^2 - CD^2 . 1
又AD = AC - CD
两边平方得 AD^2 = AC^2 - 2AC*CD + CD^2 . 2
1、2两式相加 得 AC^2 -BC^2 +AD^2 =AD^2 -CD^2 +AC^2 -2AC*CD +CD^2
约简得 BC^2 = 2AC*CD