Как подтвердить правильность вычислений?

Проверим: сумма углов треугольника BAE равна 180°, угол при вершине E равен 90° (по условию), остальные углы вычисляются аналогично.