Using determinant properties, the left side
expands to
Thus, the equality
is proven.
To prove the given determinant equality, we can use the properties of determinants, such as expansion by minors and the fact that interchanging rows or columns negates the determinant. Let's focus on the left side of the equation:
![\[ \text{det}\begin{bmatrix} I & X & a \\ a & a & X \\ a & 1 & a \end{bmatrix} \]](https://img.qammunity.org/2024/formulas/mathematics/high-school/wyvdod0xbm4iy7l8a3zd8n3qb3te62v8rn.png)
Using expansion by minors along the first row:
![\[ \text{det}\begin{bmatrix} I & X & a \\ a & a & X \\ a & 1 & a \end{bmatrix} = I \cdot \text{det}\begin{bmatrix} a & X \\ 1 & a \end{bmatrix} - X \cdot \text{det}\begin{bmatrix} a & a \\ a & 1 \end{bmatrix} + a \cdot \text{det}\begin{bmatrix} a & a \\ a & 1 \end{bmatrix} \]](https://img.qammunity.org/2024/formulas/mathematics/high-school/7bozm5t7w9oc5ckncv05dr0ke5tyk7aq5x.png)
Now, let's evaluate each determinant:


Substitute these into the expansion:
![\[ I \cdot (a^2 - X) - X \cdot (a - a^2) + a \cdot (a - a^2) \]](https://img.qammunity.org/2024/formulas/mathematics/high-school/7uroky87suirpjgfkkgb9qlokuly38dlkk.png)
Combine like terms:
![\[ a^2 - IX - aX + Xa^2 + a^2 - a^3 \]](https://img.qammunity.org/2024/formulas/mathematics/high-school/1ga1citrhyhaozhl4po261m44tufa5orvk.png)
Simplify further:
![\[ 2a^2 - IX - aX - a^3 \]](https://img.qammunity.org/2024/formulas/mathematics/high-school/vzh4gulvbp4vzof7evqqglcguqn19qfw6x.png)
Now, factor out common terms:
![\[ (x - a)^2(x + 2a) \]](https://img.qammunity.org/2024/formulas/mathematics/high-school/zrysuhgvd3l077xp6iuvn8se9x4lgytakk.png)
So, the left side is equal to the right side of the given equation.