AC^2=AD^2-DC^2
AD^2=AE^2+ED^2
ED^2=BD^2-EB^2 BD^2=DC^2
则AC^2=AD^2-DC^2=AE^2+ED^2-DC^2=AE^+BD^2-EB^2-DC^2=AE^-EB^2