The question is raised under which conditions on the real (square) matrix A the matrix equation X+ATX−1A=I has a real symmetric positive definite solution X. Both necessary and sufficient solvability conditions on A are derived. Moreover, we give an algorithm to calculate the solution. For a number of special cases we also present an analytic solution.