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.
You have $\det(\lambda I-A) = (\lambda-\lambda_1)\cdots(\lambda-\lambda_n)$, where $\lambda_1,\ldots,\lambda_n$ are the (possibly complex) eigenvalues of $A$. Hence, \begin{align} \det(I+tA) &= \det((-t)(-t^{-1}I-A)) = (-t)^n\det(-t^{-1}I-A)\\ &= (-t)^n(-t^{-1}-\lambda_1)\cdots(-t^{-1}-\lambda_n)\\ &= (1+t\lambda_1)\cdots(1+t\lambda_n)\\ &= 1+(\lambda_1+\ldots+\lambda_n)t+a_2t^2+\ldots+a_nt^n. \end{align} Now, deriving with respect to $t$ and setting $t=0$ yields the trace of $A$.