Прямая а пересекает AB в точке О
1. возьмем на прямой a произвольную точку N
получились 2 прям тр-ка ANO и BON
тр-ка ANO и BON равны по двум катетам AO=OB и NO общая
след-но AN=NB
2. ANB равнобед тр-к (так как N равноудалена от концов AB см док-во выше)
NO медиана и высота след-но NO перпендикулярно AB, а значит ОN и а совпадают, т.е. N принадлежит прямой а