因为:AE^2+ BE^2=AE^2+DE^2+BD*DC
所以:BE^2=DE^2+BD*DC 而 BE=BD-DE
所以:(BD-DE)^2=DE^2+BD*DC 即 BD^2-2*BD*DE+DE^2=DE^2+BD*DC
所以:BD^2-2*BD*DE=BD*DC
所以:BD-ED=DC+DE 即 BE=EC
因为:AE^2+ BE^2=AE^2+DE^2+BD*DC
所以:BE^2=DE^2+BD*DC 而 BE=BD-DE
所以:(BD-DE)^2=DE^2+BD*DC 即 BD^2-2*BD*DE+DE^2=DE^2+BD*DC
所以:BD^2-2*BD*DE=BD*DC
所以:BD-ED=DC+DE 即 BE=EC