An inequality of inner product This is a probem from "Matrix theory: basic results and techniques" page 147
Let $A$ be a matrix. If there is a Hermitian matrix $X$ such that $\left(\begin{array}{cc}I+X&A\\A^*&I-X\end{array}\right)$ is positive semidefinite. Then
$$|(Ay,y)|\le (y,y), \hbox{ for all $y$}.$$
How to prove this?  
 A: By hypothesis we have in particular
$$\begin{bmatrix} y^{\ast} & r^{\ast}y^{\ast} \end{bmatrix}\begin{bmatrix} I+X&A\\A^*&I-X\end{bmatrix}\begin{bmatrix} y \\ ry \end{bmatrix} \geq 0 \qquad \text{for all } y \text{ and an arbitrary scalar } r.$$
Expanding the above gives
$$y^{\ast}y + y^{\ast}Xy + y^{\ast}A ry +r^{\ast}y^{\ast}A^{\ast}y + r^{\ast}r y^{\ast}y - rr^{\ast}y^{\ast}Xy \geq 0.$$
Now choose $r$ such that $|r| = 1$ and $r(y,Ay) = - |(Ay,y)|$. Plugging this into the last inequality gives the desired result.
That $X$ is hermitian is only used to ensure that it makes sense to speak of positive semi-definiteness.
A: This is a proof, but not as good as Theo's. 
The condition is equivalent to $A=(I+X)^{1/2}C(I-X)^{1/2}$  for some contraction $C$. 
$|(Ay,y)|=|((I+X)^{1/2}C(I-X)^{1/2}y,y)|\le  (|(I+X)^{1/2}(I-X)^{1/2}|y,y) \le (\frac{I+X+I-X}{2}y,y)=(y,y)$,  for all $y$. $|Y|$ means the absolute value of $Y$.
A: I found another proof, slightly different from Theo's.
$$\begin{bmatrix} y^{\ast} & 0\\0& y^* \end{bmatrix}\begin{bmatrix} I+X&A\\A^*&I-X\end{bmatrix}\begin{bmatrix} y & 0\\0& y \end{bmatrix}=\begin{bmatrix} ((I+X)y,y) &(Ay,y) \\(A^*y,y)&((I-X)y,y) \end{bmatrix} $$ is a $2\times 2$ positive semidefinite matrix. Therefore \begin{eqnarray*}|(Ay,y)|^2\le (I+X)y,y)((I-X)y,y)\ \le \left(\frac{(I+X)y,y)+((I-X)y,y)}{2}\right)^2=(y,y)^2\end{eqnarray*} Done. 
