В выпуклом четырёхугольнике АBCD углы A и D одинаковы,а серединные пенпендикуляры

https://bit.ly/2OVwOvA

Осмотрим четырехугольник ABCD.

Построим серединные перпендикуляры к граням AB и CD.

Так как они пересекаются в точке O на стороне AD, то OM и ON - серединные перпендикуляры к граням AB и CD.

По свойству серединного перпендикуляра имеем, что:

OA = OB и OC = OD.

Как следует, треугольники ABO и CDO - равнобедренные и углы:

OAB = OBA и OCD = ODC.

По условию задачи имеем, что OAB = ODC. Как следует:

OAB = OBA = OCD = ODC. Означает, AOB = 180 - 2 * OAB = 180 - 2 * ODC = COD.

Тогда угол COA = AOB + BOC = COD + BOC = BOD.

По аксиоме косинусов для треугольника AOC имеем:

AC^2 = OA^2 + OC^2 - 2 * OA * OC * cos(COA)

По аксиоме косинусов для треугольника ABD имеем:

BD^2 = OB^2 + OD^2 - 2 * OB * OD * cos(BOD).

Из приобретенных уравнений вытекает, что AC^2 = BD^2 и AC = BD, что и требовалось доказать.