ΔABC = ΔDBC , тому AB = DB i ΔABD - рівнобедрений . Крім того
∠ АВС = ∠ DBC , а це означає , що ВС - бісектриса рівнобедреного
трикутника . За властивістю рівнобедреного трикутника бісектриса
є одноразово і медіаною . Тому т. О є серединою основи AD рівнобедреного трикутника ABD . А це те , що треба було довести .