已知,BF平分∠ABC,可得:DE∶AE = BD∶AB ,AF∶CF = AB∶BC ;
而且,由射影定理可得:AB^2 = BD·BC ,即有:BD∶AB = AB∶BC ;
所以,DE/AE = AF/CF .