在三角形ABC,AD⊥BC与D,E是AD上任意一点求证;AB²-AC²=EB²-EC&su