CWMO 2001 Problem 7

Find, with proof, all real numbers $x \in \lbrack 0, \frac {\pi}{2} \rbrack$ , such that $(2 - \sin 2x)\sin (x + \frac {\pi}{4}) = 1$ .

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.