If there is a function
$F(t) = det(I_{n} + tA)$
where
$A$ is an $n \times n$ matrix,
$t$ is an arbitrary real number,
and $I_{n}$ is $n \times n$ identity matrix,
is it true that the derivative of $F(t)$ at $t = 0$ is equal to the trace of $A$?
That is,
$F'(0) = Tr(A)$
I currently know that the trace is the sum of the diagonal entries of a matrix but I am not sure how I should go about differentiating the right hand side.
Is there a general formula for finding determinant that I could possibly differentiate?
It seems like there is something called 'big formula for determinant' but I am not sure how that can be used for this problem.
Any help would be appreciated.