Итак, нам дан треугольник ABC, в нём BM - биссектриса, а прямая XK пересекает BM в точке O, сторону BC - в точке K, причём XK _|_ BM. X я обозначил, можно сказать, просто так, для решения это нам не нужно. Итак, рассмотрим треугольник BKM: у него KO - медиана (т.к. O - середина BM) и высота (т.к. OK _|_ BM), значит треугольник BKM - равнобедренный с основанием BM. У равнобедренного треугольника углы при основании равны, то есть <KBM = <KMB, но при этом <KBM=<XBM (т.к. BM - биссектриса по условию), значит <KMB = <KBM = <XBM, т.е. <KMB = <XBM, но эти углы накрест лежащие при прямых AB и KM и секущей BM, что значит, что прямая AB || KM по 1-му признаку параллельности прямых, что и требовалось доказать
