太简单了，你先设正方形边长如=4，就能求AE二根号20，EF=根号5，AF=5，根据勾股定理得三角形AEF是直角…所以AE垂直EF
这个你可能找不到，有时间和同学一起研究一下就可以了，没有必要浪费时间来发这个的。。。。。
