At △ABD: AD2=AB2-BD2.
In △ACD: AD2=AC2-CD2。
AB2-BD2=AC2-CD2
c2-(a+CD)2=b2-CD2
∴a2+b2-c2=-2a? laser record
∫a > 0,CD>0
∴a2+b2-c2