В общем виде это знаменитое неравенство Коши о том что среднее геометрическое не превосходит среднего арифментического для положительных чисел и равняется при равенстве чисел (a₁+a₂+a₃++aₓ)/x ≥ ˣ√ (a₁a₂a₃aₓ) a₁ aₓ ≥0 докажем сначала для 2-х (a₁+a₂)/2 ≥ √a₁a₂ a₁+a₂≥ 2√a₁a₂ a₁+a₂ - 2√a₁a₂ ≥ 0 (√a₁ - √a₂) ≥ 0 квадрат всегда больше равен 0 докажем на основании этой теоремы что (a₁+a₂+a₃+a₄)/4 ≥ ⁴√a₁a₂a₃a₄ теперь рассмотрим некие преобразования [ (a₁+a₂)/2 + (a₃+a₄)/2 ] / 2 ≥ √ ((a₁+a₂)/2) * ((a₃+a₄)/2) (a₁+a₂+a₃+a₄)/4 ≥ √ ((√a₁a₂)* (√a₃a₄) = √√(a₁a₂a₃a₄)=⁴√(a₁a₂a₃a₄) чтд
можно доказать в общем для n переменных по методу математической индукции вышеуказанный метод модно применять для степеней 2 для 2 4 8 16 итд членов
log₂(2sin π/15)+ log₂cos π/15=log₂(2sinπ/15* cos π/15)= log₂ sin 2π/15
Во второй задаче точно первый логарифм с основанием 1/2?
так как получается:
-log_2( x)= log _0.2 (√7/5)=1-log_5 (√7)
Даже если привожу к основанию 2 получается чушь:
Log_2 (x)=(log_5/√7)/log_2 5