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