Если провести диаметр OY (это я его так обозначил, чтобы как-то потом называть), параллельно CD и перпендикулярно (само собой) AB, то он пройдет через середину AB, то есть точки A и B симметричны относительно OY; Теперь надо построить хорду C1D1, симметричную CD относительно OY; ясно, что она параллельна CD и перпендикулярна AB, ясно, что C1D1 = CD; и вообще - CDD1C1 это прямоугольник. Что означает, что CD1 - диаметр. Поскольку при зеркальном отражении относительно OY точка A переходит в B, а точка D - в точку D1, то BD = AD1; (по определению равенства фигур, между прочим). Остается заметить, что, раз CD1 - диаметр, то треугольник ACD1 - прямоугольный, и записать для него теорему Пифагора.
Объяснение:
given, cosA + cosB + cosC = 3/2
=> 2(2cos(A + B)/2 . cos(A - B)/2) + 2cosC = 3
=> 2(2cos(pi/2 -c/2) .cos(A - B)/2 + 2(1 - 2sin^2(A/2)) = 3
=> 4sin(c/2) .cos(A - B)/2 + 2 - 4sin^2(A/2)) = 3
=> 4sin^2(A/2) - 4sin(c/2) .cos(A - B)/2 + 1 = 0
This is a quadratic equation in sinc/2, and it has real roots
Therefore , Descriminant >= 0
=> (-4cos(A - B)/2)^2 - 4*4*1 >= 0
=> (cos(A - B))^2 >= 1
=> cos(A - B) = 1, since cosine of any angle can't be > 1
=> A - B = 0
=> A = B
Similarily we can prove that B = C
Thus A = B = C, triangle is equilateral
Теперь надо построить хорду C1D1, симметричную CD относительно OY; ясно, что она параллельна CD и перпендикулярна AB, ясно, что C1D1 = CD; и вообще - CDD1C1 это прямоугольник. Что означает, что CD1 - диаметр.
Поскольку при зеркальном отражении относительно OY точка A переходит в B, а точка D - в точку D1, то BD = AD1; (по определению равенства фигур, между прочим).
Остается заметить, что, раз CD1 - диаметр, то треугольник ACD1 - прямоугольный, и записать для него теорему Пифагора.