Problem

Source: Bulgarian Spring Tournament 2023 11.1

Tags: trigonometry, algebra



Find all real $a$ such that the equation $3^{\cos (2x)+1}-(a-5)3^{\cos^2(2x)}=7$ has a real root.

HIDE: Remark This was the statement given at the contest, but there was actually a typo and the intended equation was $3^{\cos (2x)+1}-(a-5)3^{\cos^2(x)}=7$, which is much easier.