Нужна помощь по геометрии

Угол EDF опирается на лугу EF (вписанный) и равен половине этой дуги, то есть 30 градусов.
Угол DEF опирается на диаметр (вписанный). Поперечник разбивает окружность на две одинаковые души по 180 градусов, означает угол DEF равен половине одной таковой дуги, то есть 90 градусов. Треугольник EDF - прямоугольный и против угла в 30 градусов лежит катет, равный половине гипотенузы, означает EF = x, а DF одинаково 2x.
Тогда по аксиоме Пифагора: DF^2 = EF^2 + ED^2 =gt; 4x^2 = x^2 + 4 =gt; 3x^2 = 4 =gt; x^2 = 4/3 =gt; x = 2/корень из 3
DF - диаметр = 2R =gt; R = 2/корень из 3.
Тогда длина окружности равна 2PiR = 2 * 2 * 3/корень из 3 = 4 корня из 3.