При симметрии относительно прямой проходящей через вершину a треугольника abc точка b отображается на точку c докажите что треугольник ∆авc равнобедренный

Если гипотенуза АВ параллельна оси Ох, то точки А и В - противоположные.
A(-x1; y1); B(x1; y1); |AB| = 2x1
Точка С лежит между ними. C(x2; y2); -x1 < x2 < x1
|AC|^2 = (x2+x1)^2 + (y1-y2)^2
|BC|^2 = (x2-x1)^2 + (y1-y2)^2
По теореме Пифагора
|AC|^2 + |BC|^2 = |AB|^2
(x2+x1)^2 + (y1-y2)^2 + (x2-x1)^2 + (y1-y2)^2 = 4x1^2
x2^2 + 2x1*x2 + x1^2 + 2(y1-y2)^2 + x2^2 - 2x1*x2 + x1^2 - 4x1^2 = 0
2x2^2 + 2(y1-y2)^2 - 2x1^2 = 0
x2^2 + (y1-y2)^2 - x1^2 = 0
 (y1 - y2)^2 = x1^2 - x2^2
Вспомним, что это парабола y = x^2, и y1 = x1^2; y2 = x2^2
(x1^2 - x2^2)^2 = x1^2 - x2^2
Число равно своему квадрату, значит, оно равно 0 или 1.
(x1^2 - x2^2) = (y1 - y2) = 0 или 1
Но 0 разность ординат точек А и С равняться не может, значит, 
y1 - y2 = 1
Но разность ординат - это и есть высота треугольника.

Три стороны одинаковые, AB = BC = CD.
Четвертая сторона равна обоим диагоналям, AD = AC = BD.
Вот я примерно нарисовал этот 4-угольник.
Треугольник ABC равнобедренный с углами y (гамма).
Треугольник BCD равнобедренный с углами b (бета).
Треугольник ABD равнобедренный с углами a+y (a - альфа).
Треугольник ACD равнобедренный с углами a+b.
Получаем систему
{ a + (a + y) + (a + y) = 3a + 2y = 180 (ABD)
{ a + (a + b) + (a + b) = 3a + 2b = 180 (ACD)
{ (y + (a+b)) + b + b = a + y + 3b = 180 (BCD)
{ ((a+y) + b) + y + y = a + b + 3y = 180 (ABC)
Из 1 уравнения вычитаем 2 уравнение
2y - 2b = 0
b = y
Подставляем
{ 3a + 2b = 180
{ a + 4b = 180
Из 1 уравнения вычитаем 2 уравнение
2a - 2b = 0
a = b
То есть все три угла равны друг другу
a = b = y
3a + 2a = 5a = 180
a = b = y = 180/5 = 36 градусов.
Самый большой угол
y + (a+b) = 3a = 3*36 = 108 градусов.