How do you check that a matrix is positive definite?
Take a second order continuous-time system where R_2 is singular and compute the best filter.
Prove the equations in Exercise 5.4.3 and give the physical interpretations of P and S.