From a problem set I'm working on: (Edit 04/11 - I fudged a sign in my matrix...)
Let $A(t) \in M_3(\mathbb{R})$ be defined: $$ A(t) = \left( \begin{array}{crc} 1 & 2 & 0 \\ 0 & -1 & 0 \\ t-1 & -2 & t \end{array} \right).$$
For which $t$ does there exist a $B \in M_3(\mathbb{R})$ such that $B^2 = A$?
In a previous part of the problem, I showed that $A(t)$ could be diagonalized into a real diagonal matrix for all $t \in \mathbb{R}$, with eigenvalues $1,-1,t$.
A few things I've thought of:
- The matrix is not positive-semidefinite, so the general form of the square root does not work. (Is positive-definiteness a necessary condition for the existence of a square root?)
- Since $A = B^2$, then $\det(B^2) = (\det B)^2 = \det A$. So $\det A \geq 0$ for there to be a real-valued square root, forcing $t \leq 0$ to be necessary.
- My professor suggested that, since $B^2$ fits the characteristic polynomial of $A$, $\mu_A(x) = (x-1)(x+1)(x-a)$, then the minimal polynomial of $B$ must divide $\mu_A(x^2) = (x^2-1)(x^2+1)(x^2-a) = (x-1)(x+1)(x^2+1)(x^2-a)$. Examining the possible minimal polynomials, one can find the rational canonical form, square it, and check whether the eigenvalues match. This probably could get me the right answer, but I am fairly sure that there is an alternative to a "proof by exhaustion".