For $n \in \mathbb{N}^*$, $A \in \mathcal{S}_n(\mathbb{R})$ and $i \in \llbracket 1; n \rrbracket$, we denote by $A^{(i)}$ the square matrix of order $i$ extracted from $A$, consisting of the first $i$ rows and the first $i$ columns of $A$. For all $n \in \mathbb{N}^*$, we say that a matrix $A$ of $\mathcal{S}_n(\mathbb{R})$ satisfies property $\mathcal{P}_n$ if $\operatorname{det}\left(A^{(i)}\right) > 0$ for all $i \in \llbracket 1; n \rrbracket$. Let $n \in \mathbb{N}^*$. We assume that any matrix of $\mathcal{S}_n(\mathbb{R})$ satisfying property $\mathcal{P}_n$ is positive definite. We consider a matrix $A$ of $\mathcal{S}_{n+1}(\mathbb{R})$ satisfying property $\mathcal{P}_{n+1}$ and we assume by contradiction that $A$ is not positive definite. a) Show then that $A$ admits two linearly independent eigenvectors associated with eigenvalues (not necessarily distinct) that are strictly negative. b) Deduce that there exists $X \in \mathcal{M}_{n+1,1}(\mathbb{R})$ whose last component is zero and such that ${}^t X A X < 0$. c) Conclude.
For $n \in \mathbb{N}^*$, $A \in \mathcal{S}_n(\mathbb{R})$ and $i \in \llbracket 1; n \rrbracket$, we denote by $A^{(i)}$ the square matrix of order $i$ extracted from $A$, consisting of the first $i$ rows and the first $i$ columns of $A$. For all $n \in \mathbb{N}^*$, we say that a matrix $A$ of $\mathcal{S}_n(\mathbb{R})$ satisfies property $\mathcal{P}_n$ if $\operatorname{det}\left(A^{(i)}\right) > 0$ for all $i \in \llbracket 1; n \rrbracket$.
Let $n \in \mathbb{N}^*$. We assume that any matrix of $\mathcal{S}_n(\mathbb{R})$ satisfying property $\mathcal{P}_n$ is positive definite. We consider a matrix $A$ of $\mathcal{S}_{n+1}(\mathbb{R})$ satisfying property $\mathcal{P}_{n+1}$ and we assume by contradiction that $A$ is not positive definite.
a) Show then that $A$ admits two linearly independent eigenvectors associated with eigenvalues (not necessarily distinct) that are strictly negative.
b) Deduce that there exists $X \in \mathcal{M}_{n+1,1}(\mathbb{R})$ whose last component is zero and such that ${}^t X A X < 0$.
c) Conclude.