Ta có: BE, BC là hai đường xiên vẽ từ B đến đường AC.
BA ⏊ AC tại A nên A là hình chiếu của B trên AC
⇒ AE, AC lần lượt là hình chiếu của BE, BC trên AC.
Trong hình vẽ E nằm giữa A và C ⇒ AE < AC ⇒ BE < BC (đường xiên nào có hình chiếu lớn hơn thì lớn hơn).