pomocy Anja: [(1 + tg²x ) x cos²x] ≤ [sin² 10∧(stopni) + sin² 80 (stopni)]

Godzio: zał. cosx ≠ 0 ⇒ x ≠ ... ze wzorów redukcyjnych: sin²10 = sin²(90 − 80) = cos²80 (1 +tg²x) * cos²x ≤ cos²80 + sin²80

	sin2x
cos2x +		* cos2x ≤ 1
	cos2x

cos²x + sin²x ≤ 1 1 ≤ 1