Используем основное тригонометрическое тождество:
cos²x + sin²x ≡ 1, тогда
sin²x ≡ 1 - cos²x, тогда
4sin²x = 4*( 1 - cos²x) = 4 - 4*cos²x = 4 - 1 = 3.
