Доказательство:
Так как K - середина AD и BC, то AK = KD и BK = KC.
Рассмотрим треугольники AKB и DKC.
Следовательно, треугольники AKB и DKC равны по первому признаку равенства треугольников (по двум сторонам и углу между ними).
Из равенства треугольников следует, что ∠KAB = ∠KDC.
Эти углы являются накрест лежащими углами при прямых AB и CD и секущей AD.
Если накрест лежащие углы равны, то прямые параллельны.
Следовательно, AB || CD.