AD=(AB+AC-BC)/2
BD=(AB+BC-AC)/2
AD乘以BD =(AB+AC-BC)/2乘(AB+BC-AC)/2=[AB的平方-(BC-AC)的平方]/4
=AC乘BC/2=S三角形
证毕