三角形ABC 证明, AE垂直于FC