Тригонометрия. Вычисление нестандартных значений.Радикалы

[ZontAr]

Меня интересует как Брадис вычислял углы, углы с минутами и секундами, я пытался найти материал на эту тему, но мой вопрос в состоит в следующем:

$$\cos(\frac{1}{2}\cdot\frac{\pi}{6})=\sqrt{\frac{1+\cos\frac{\pi}{6}}{2}}$$

Можете объяснить, как левую часть равенства представили правой?

Это равенство я нашёл на Википедии на странице на итальянском языке https://it.wikipedia.org/wiki/Radicale_doppio#Propriet.C3.A0
После подтемы "Esempi" в применении формул находится этот пример с косинусом.

$$\cos\frac{\pi}{12}=\cos(\frac{1}{2}\cdot\frac{\pi}{6})=\sqrt{\frac{1+\cos\frac{\pi}{6}}{2}}=\sqrt\frac{2+\sqrt3}{2}$$

Где с помощью дальнейших преобразований доказывают, что

$$\cos(\frac{\pi}{12})=\frac{\sqrt6+\sqrt2}{4}$$

[mihaild]

ZontAr в сообщении #1215277 писал(а):

Можете объяснить, как левую часть равенства представили правой?

Школьная тригонометрическая формула.

[Someone]

ZontAr в сообщении #1215277 писал(а):

Можете объяснить, как левую часть равенства представили правой?

Это равенство я нашёл на Википедии на странице на итальянском языке

О, боже! А в учебнике её поискать не пробовали? Или сейчас в школе мимо таких формул уже не проходят? Она же из формулы косинуса двойного угла в пять секунд получается.

[ZontAr]

нашёл данную тему. Изучил. Да, всё предельно ясно. Благодарю за направление