Это один из способов решения. При другом подходе можно больше использовать симметрию как метод доказательства и не доказывать равенства треугольников.