По теореме косинусов в треугольнике ALK:
KL2 = AL2 + AK2 – 2·AL·AK·cos KAL
KL2 = 32 + 62 – 2·3·6·cos π/3 = 9 + 36 – 36·1/2 = 45 – 18 = 27
KL = √27 = 3√3
По теореме синусов:
\frac{KL}{\sin KAL} = \frac{AL}{\sin AKL} = \frac{AK}{\sin ALK}
\sin AKL = \frac{AL}{KL} \cdot \sin KAL = \frac{3}{3\sqrt{3}} \cdot \sin \frac{\pi}{3} = \frac{1}{\sqrt{3}} \cdot \frac{\sqrt{3}}{2} = \frac{1}{2}
AKL = π/6
\sin ALK = \frac{AK}{KL} \cdot \sin KAL = \frac{6}{3\sqrt{3}} \cdot \sin \frac{\pi}{3} = \frac{2}{\sqrt{3}} \cdot \frac{\sqrt{3}}{2} = 1
ALK = π/2
Таким образом, мы узнали, что тр–ник AKL – прямоугольный с углами 90°, 30°, 60°.
Может быть, это можно как–то использовать, я не придумал, как.
Нашел решение через теоремы косинусов.
Обозначим AD = x, AB = y. Строим систему:
{ AL2 = AD2 + DL2 – 2·AD·DL·cos D
{ AK2 = AB2 + BK2 – 2·AB·BK·cos B
{ KL2 = CL2 + CK2 – 2·CL·CK·cos C
Заметим, что углы B = D = 180° – C, поэтому cos D = cos B = –cos C:
{ 32 = x2 + (y/2)2 + 2·x·y/2·cos C
{ 62 = y2 + (x/2)2 + 2·y·x/2·cos C
{ 27 = (y/2)2 + (x/2)2 – 2·y/2·x/2·cos C
Получили 3 уравнения с 3 неизвестными:
{ x2 + y2/4 + x·y·cos C = 9
{ x2/4 + y2 + x·y·cos C = 36
{ x2/4 + y2/4 – x·y/2·cos C = 27
Умножаем 1 и 2 уравнения на 4, а 3 уравнение на 8, переходим к целым числам:
{ 4x2 + y2 + 4x·y·cos C = 36
{ x2 + 4y2 + 4x·y·cos C = 144
{ 2x2 + 2y2 – 4x·y·cos C = 216
Складываем 1 и 3 уравнения и отдельно 2 и 3 уравнения:
{ 6x2 + 3y2 = 252
{ 3x2 + 6y2 = 360
Делим на 3 оба уравнения:
{ 2x2 + y2 = 84
{ x2 + 2y2 = 120
Умножаем 1 уравнение на –2:
{ –4x2 – 2y2 = –168
{ x2 + 2y2 = 120
Складываем уравнения:
–3x2 = –48
x2 = 16
x = 4
Ответ: AD = 4