В треугольниках def и trq высоты da и tb равны тогда

розглянемо δ адс і δ сеа.

ас-спільна.

< вас=< вса - (як кути при основі рівнобедреного трикутника)

< асе=< сад - (бісектриси ділять навпіл)

δ адс = δ сеа ⇒ ае=сд, що і треба було довести. 

найдем координаты векторов - сторон тр-ка авс:

ав: (3; 1)

вс: (-2; 6)

ас: (1; 7)

проверим скалярное произведение ав*вс:

(ав*вс) = 3*(-2) + 1*6 = -6+6 = 0

значит ав перпенд. вс.

тр-к авс - прямоугольный, что и треб. доказать.

сторону с определяем по теореме косинусов

с²  = a² + b² - 2 * a * b * cos c = 10² + 7² - 2 * 10 * 7 * cos 60o = 100 + 49 - 70 = 79

итак  с = √ 79. далее воспользуемся теоремой синусов 

sin 60o            sin a              sin c

= =

  √ 79                 10                      7

тогда  sin a = 10 * sin 60o / 79 = 5 * √ 3 /  √ 79 ≈ 0,9744

                    a = arscin 0,9744 ≈ 77o

                  sin b = 7 * sin 60o / 79 = 3,5 * √ 3 /  √ 79 ≈ 0,68

                    a = arscin 0,68 ≈ 43o