在rt三角形abc中,
ab2=bd2+ad2
在rt三角形adc中
ac2=ad2+cd2
ab2-ac2=bd2+ad2-(ad2+cd2)
=bd2-cd2
=(bd+cd)(bd-cd)
=bc(bd-dc)