Розглянемо ∆ABD i ∆СВО.
1) АВ = ВС (∆АВС - рівнобедрений з основою АС);
2) AD = DC (∆АОС - рівнобедрений з основою АС);
3) BD - спільна.
Отже, ∆ABD = ∆СВС за III ознакою piвностi трикутникiв.
3 цього випливає, що ∟ABD = ∟CBD. Тоді BD - бісектриса ∟АВС.
В рівнобедреному трикутнику бісектриса, яка проведена до основи, є медіаною, тому АЕ = ЕС.
1) АВ = ВС (∆АВС - рівнобедрений з основою АС);
2) AD = DC (∆АОС - рівнобедрений з основою АС);
3) BD - спільна.
Отже, ∆ABD = ∆СВС за III ознакою piвностi трикутникiв.
3 цього випливає, що ∟ABD = ∟CBD. Тоді BD - бісектриса ∟АВС.
В рівнобедреному трикутнику бісектриса, яка проведена до основи, є медіаною, тому АЕ = ЕС.