建坐标系,B为原点,BC在x轴的正方向,
设:BC=1,F(K,0),E=(0,-K),A(0,1),C(1,0)
向量AF=(K-0,0-1)=(K,-1),向量CE=(0-1,-K-0)=(-1,-K)
∴向量AF*向量CE=K*(-1)+(-1)(-K)=0
∴AF⊥CE