Точка О - середина каждого из отрезков AF и CD, поєтому АО=FO, OC=OD.
Углы AOC и FOD равны как вертикальные.
Треугольники AOC и FOD равны за двумя сторонами и углом между ними соответственно (АО=FO, OC=OD, угол AOC=угол FOD). Доказано
