Ответ:

\(\sin 135^\circ=\frac{\sqrt2}{2}\), \(\cos 45^\circ=\frac{\sqrt2}{2}\).

\(20\cdot\frac{\sqrt2}{2}\cdot\frac{\sqrt2}{2}=20\cdot\frac12=10\).

Ответ: 10.