A simple formula is established that relates the trace of the resolven
t with the characteristic polynomial of a matrix. This will lead to a
novel and elegant proof of the recursive relations that compute the co
efficients of the characteristic polynomial used in the Leverrier-Fadd
eev method.