设AD=a，DC=b(他们表示向量)，∴a·b=0
AE=AD+DE=AD+1/2DC=a+1/2b
EF=EC+CF=EC+1/4CB=1/2DC+1/4DA=1/2b-1/4a
AE·EF=（a+1/2b）(1/2b-1/4a)=0
故AE⊥EF
还一种是建立坐标系，找出A，E，F的坐标，利用斜率之积等于-1来证明，
再来是勾股定理，求AE，EF，AF
令正方形边长等于4
根据勾股定理有：
AF^2=AB^2+BF^2=4*4+3*3=25
AE^2=AD^2+DE^2=4*4+2*2=20
EF^2=EC^2+FC^2=2*2+1*1=5
由上三等式可知：
AF^2=AE^2+EF^2=25 由勾股定理可知，三角形AFE为直角三角形
所以角AEF等于90度。
勾股定理嘛，设边长为x，把AF,AE,EF用x表示，再用逆定理
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ号：24596024