Designed to minimize the mean-square error between


We want to minimize the trace of .

Which gives us

This is known as the Kalman Gain.

We are certain that this is a minimum since

is a Positive-Definite Matrix