This result is a special case of
R5613: Tight upper and lower bounds for the value of a real polynomial of two variables given that the arguments lie on the unit circle when applied to the matrix
\begin{equation}
A
=
\begin{bmatrix}
1 & 1 \\
0 & 0
\end{bmatrix}
\end{equation}
$\square$
