Через две пересекающиеся прямые по следствию из аксиом проходит единственная плоскость, тогда все четыре точки K, M, P, T будут лежать в этой плоскости, что противоречит условию. Следовательно указанные прямые пресекаться не могут.
Рассмотрим треугольники ABD и ACD. Проведем высоты ВН и СК. Sabd = AD·BH/2 Sacd = AD·CK/2 Так как площади этих треугольников равны, то равны и их высоты: AD·BH/2 = AD·CK/2 ⇒ ВН = СК. Но ВН ║ СК как перпендикуляры к одной прямой. Тогда НВСК - прямоугольник и, значит, НК ║ ВС, а значит, AD ║ BC.
Рассмотрим треугольники ACD и BCD. Проведем высоты АЕ и ВТ к стороне CD. Sacd = CD·AE/2 Sbcd = CD·BT/2 Так как площади этих треугольников равны, то равны и их высоты: CD·AE/2 = CD·BT/2 ⇒ AE = BT. Но АЕ ║ ВТ как перпендикуляры к одной прямой. Тогда ЕАВТ - прямоугольник и, значит, ЕТ ║ АВ, а значит, СD ║ АВ.
AD ║ BC, СD ║ АВ, значит ABCD - параллелограмм по определению.
