AB平方-AC平方=(BE^2+AE^2)-(CE^2+AE^2)=BE^2-CE^2=(BE+CE)(BE-CE)=BC(BE-CE)=BC((BD+DE)-(CD-DE))=BC((BD-CD)+2DE)=BC(0+2DE)=2BC*DE
