Liasse v2-001 à v2-010

INSTRUCTIONS AU MODÈLE - Répondre sans outil externe ni Internet. - Pour chaque question, fournir la réponse, une justification suffisante et une confiance de 0 à 100 %. - Ne jamais inventer une donnée, une référence, un DOI ou un résultat absent. - Signaler explicitement les prémisses fausses, les informations insuffisantes et les cas indéterminables. - Vérifier numériquement ou symboliquement les contre-exemples proposés. - Chaque question est indépendante, sauf indication explicite contraire. Q001 — Calculer exactement lim_{x→0} [ln(1+x)-x+x²/2]/x³. Justifier sans calculatrice.

**Réponse :** 1/3 **Justification :** On calcule cette limite en exploitant le développement limité de la fonction $\ln(1+x)$ au voisinage de $0$. Pour $x \to 0$, on dispose de la formule classique : $$\ln(1+x) = x - \frac{x^2}{2} + \frac{x^3}{3} + o(x^3)$$ En substituant ce développement dans le numérateur, les termes d'ordre inférieur à $3$ s'annulent exactement : $$\ln(1+x) - x + \frac{x^2}{2} = \left(x - \frac{x^2}{2} + \frac{x^3}{3} + o(x^3)\right) - x + \frac{x^2}{2} = \frac{x^3}{3} + o(x^3)$$ En divisant par le dénominateur $x^3$, on obtient pour $x \neq 0$ : $$\frac{\ln(1+x) - x + \frac{x^2}{2}}{x^3} = \frac{1}{3} + \frac{o(x^3)}{x^3} = \frac{1}{3} + o(1)$$ Lorsque $x$ tend vers $0$, le terme résiduel $o(1)$ tend vers $0$. La limite est donc exactement $\frac{1}{3}$. Une vérification indépendante par la règle de l'Hôpital confirme ce résultat. Posons $N(x) = \ln(1+x) - x + \frac{x^2}{2}$ et $D(x) = x^3$. On a $N(0)=D(0)=0$. En dérivant une fois : $$N'(x) = \frac{1}{1+x} - 1 + x = \frac{1 - (1+x) + x(1+x)}{1+x} = \frac{x^2}{1+x}$$ $$D'(x) = 3x^2$$ Le rapport des dérivées devient $\frac{x^2/(1+x)}{3x^2} = \frac{1}{3(1+x)}$, dont la limite en $0$ est bien $1/3$. La structure du problème est parfaitement déterminée et les prémisses sont valides. **Confiance :** 100 %

INSTRUCTIONS AU MODÈLE - Répondre sans outil externe ni Internet. - Pour chaque question, fournir la réponse, une justification suffisante et une confiance de 0 à 100 %. - Ne jamais inventer une donnée, une référence, un DOI ou un résultat absent. - Signaler explicitement les prémisses fausses, les informations insuffisantes et les cas indéterminables. - Vérifier numériquement ou symboliquement les contre-exemples proposés. - Chaque question est indépendante, sauf indication explicite contraire. Q002 — Soit f(x)=x^(4-4x)2. Déterminer tous les points critiques et classifier chacun.

**Réponse** Le seul point critique est $x=1$. Il s'agit d'un maximum local strict, qui est en réalité un maximum global sur l'intervalle de définition. **Justification** 1. Interprétation de l'expression et domaine de définition L'écriture `x^(4-4x)2` est interprétée comme $f(x)=2x^{4-4x}$. Pour que la puissance soit réel et différentiable sur un intervalle ouvert, la base doit être strictement positive. Le domaine de définition est donc $D=]0,+\infty[$. (Si l'intention était $f(x)=x^{4-4x^2}$, la démarche analytique serait analogue mais conduirait à une équation critique différente. Aucun autre indice ne permet de trancher, ce qui justifie la précision ci-dessus.) 2. Calcul de la dérivée On réécrit $f(x)=2\exp\big((4-4x)\ln x\big)$. En appliquant la règle de dérivation d'une fonction composée et la dérivée d'un produit : $$f'(x)=2x^{4-4x}\cdot\frac{d}{dx}\big[(4-4x)\ln x\big]$$ $$f'(x)=2x^{4-4x}\cdot\left(-4\ln x+\frac{4-4x}{x}\right)$$ $$f'(x)=2x^{4-4x}\cdot\left(-4\ln x+\frac{4}{x}-4\right)$$ $$f'(x)=8x^{4-4x}\left(\frac{1}{x}-1-\ln x\right)$$ 3. Recherche des points critiques Un point critique intérieur vérifie $f'(x)=0$. Comme $x^{4-4x}>0$ pour tout $x\in]0,+\infty[$, on résout : $$\frac{1}{x}-1-\ln x=0$$ En testant $x=1$, on obtient $\frac{1}{1}-1-\ln 1=1-1-0=0$. Donc $x=1$ est une solution. 4. Unicité et classification Posons $g(x)=\frac{1}{x}-1-\ln x$ sur $]0,+\infty[$. Sa dérivée est $g'(x)=-\frac{1}{x^2}-\frac{1}{x}$, strictement négative sur tout $D$. La fonction $g$ est donc strictement décroissante. Elle ne peut s'annuler qu'en un seul point. Ainsi, $x=1$ est l'unique solution de $f'(x)=0$. Étude du signe de $f'$ : - Pour $0<x<1$, $g(x)>g(1)=0$, donc $f'(x)>0$. La fonction est strictement croissante. - Pour $x>1$, $g(x)<g(1)=0$, donc $f'(x)<0$. La fonction est strictement décroissante. Par conséquent, $x=1$ est un maximum local strict. Comme la fonction croît puis décroît sur tout son domaine et que $\lim_{x\to 0^+}f(x)=0$ et $\lim_{x\to+\infty}f(x)=0$, ce maximum local est également un maximum global. La valeur atteinte est $f(1)=2\times 1^{0}=2$. **Confiance** 95 % (La démonstration mathématique est rigoureuse et vérifiée symboliquement. Les 5 % de réserve proviennent uniquement de l'ambiguïté notationale initiale `x^(4-4x)2`, qui pourrait théoriquement correspondre à une autre fonction si la mise en forme d'origine contenait une coquille. Sous l'interprétation $f(x)=2x^{4-4x}$, la réponse est exacte.)

INSTRUCTIONS AU MODÈLE - Répondre sans outil externe ni Internet. - Pour chaque question, fournir la réponse, une justification suffisante et une confiance de 0 à 100 %. - Ne jamais inventer une donnée, une référence, un DOI ou un résultat absent. - Signaler explicitement les prémisses fausses, les informations insuffisantes et les cas indéterminables. - Vérifier numériquement ou symboliquement les contre-exemples proposés. - Chaque question est indépendante, sauf indication explicite contraire. Q003 — Résoudre dans R : sqrt(2x+3)=x. Vérifier chaque solution dans l’équation originale.

Réponse : L'unique solution est x = 3. Justification : 1. Domaine de définition et conditions de validité : Pour que sqrt(2x+3) soit défini dans R, il faut 2x + 3 >= 0, soit x >= -1,5. De plus, la racine carrée renvoie toujours une valeur positive ou nulle, ce qui impose que le membre de droite vérifie x >= 0. L'ensemble des candidats est donc l'intervalle [0 ; +oo[. 2. Résolution algébrique : On élève les deux membres au carré. Cette opération est réversible sur [0 ; +oo[ car les deux membres sont positifs. On obtient 2x + 3 = x^2, soit x^2 - 2x - 3 = 0. 3. Calcul des racines : Le discriminant vaut Delta = (-2)^2 - 4(1)(-3) = 16. Les solutions de l'équation du second degré sont x1 = (2 - 4)/2 = -1 et x2 = (2 + 4)/2 = 3. 4. Filtrage : Seules les valeurs appartenant à [0 ; +oo[ sont admissibles. x = -1 est rejeté car il ne satisfait pas la condition x >= 0. x = 3 est conservé. 5. Vérification numérique dans l'équation originale : Pour x = 3, le membre de gauche vaut sqrt(2*3 + 3) = sqrt(9) = 3. Le membre de droite vaut 3. L'égalité 3 = 3 est vérifiée. Le cas est entièrement déterminable, aucune prémisse fausse ni information insuffisante ne compromet la démarche. Confiance : 100 %.

INSTRUCTIONS AU MODÈLE - Répondre sans outil externe ni Internet. - Pour chaque question, fournir la réponse, une justification suffisante et une confiance de 0 à 100 %. - Ne jamais inventer une donnée, une référence, un DOI ou un résultat absent. - Signaler explicitement les prémisses fausses, les informations insuffisantes et les cas indéterminables. - Vérifier numériquement ou symboliquement les contre-exemples proposés. - Chaque question est indépendante, sauf indication explicite contraire. Q004 — Une fonction continue f:[0,1]→[0,1] vérifie f(0)>0 et f(1)<1. Prouver qu’elle possède un point fixe.

**Réponse :** La fonction $f$ possède au moins un point fixe dans l’intervalle $[0,1]$. **Justification :** On introduit l’application $g$ définie sur $[0,1]$ par $g(x) = f(x) - x$. La fonction $f$ est continue sur $[0,1]$ par hypothèse, et la fonction identité $x \mapsto x$ est continue partout. La différence de deux fonctions continues étant continue, $g$ est continue sur $[0,1]$. On examine les valeurs de $g$ aux bornes : - $g(0) = f(0) - 0 = f(0)$. L’énoncé précise $f(0) > 0$, donc $g(0) > 0$. - $g(1) = f(1) - 1$. L’énoncé précise $f(1) < 1$, donc $g(1) < 0$. Puisque $g$ est continue sur $[0,1]$ et que $g(0)$ et $g(1)$ sont strictement de signes opposés, le théorème des valeurs intermédiaires garantit l’existence d’un réel $c \in ]0,1[$ tel que $g(c) = 0$. Cette égalité s’écrit $f(c) - c = 0$, soit $f(c) = c$. Le réel $c$ constitue donc un point fixe de $f$, appartenant strictement à l’intervalle ouvert $]0,1[$ et par conséquent à $[0,1]$. Les prémisses sont vraies et strictement suffisantes. Aucun cas indéterminable ni information manquante n’est présent. L’argument repose uniquement sur la continuité de $f$ et le théorème des valeurs intermédiaires, résultats fondamentaux et rigoureusement applicables ici. **Confiance :** 100 %.

INSTRUCTIONS AU MODÈLE - Répondre sans outil externe ni Internet. - Pour chaque question, fournir la réponse, une justification suffisante et une confiance de 0 à 100 %. - Ne jamais inventer une donnée, une référence, un DOI ou un résultat absent. - Signaler explicitement les prémisses fausses, les informations insuffisantes et les cas indéterminables. - Vérifier numériquement ou symboliquement les contre-exemples proposés. - Chaque question est indépendante, sauf indication explicite contraire. Q005 — Soit a_n=n^(1/n). Déterminer lim_{n→∞} a_n et justifier.

Réponse : 1 Justification : On considère la suite $(a_n)_{n\geq 1}$ définie par $a_n = n^{1/n}$. Comme $a_n > 0$ pour tout $n$, on peut étudier la limite de son logarithme népérien. Par les propriétés du logarithme, on a : $\ln(a_n) = \ln\left(n^{1/n}\right) = \frac{\ln n}{n}$. Le théorème de croissance comparée entre la fonction logarithme et la fonction identité établit que $\lim_{x\to+\infty} \frac{\ln x}{x} = 0$. En restreignant cette limite aux entiers naturels, on obtient $\lim_{n\to+\infty} \frac{\ln n}{n} = 0$. Par conséquent, $\lim_{n\to+\infty} \ln(a_n) = 0$. La fonction exponentielle étant continue sur $\mathbb{R}$, la composition de la fonction logarithme par l'exponentielle préserve la limite. On en déduit : $\lim_{n\to+\infty} a_n = \lim_{n\to+\infty} \exp\left(\ln(a_n)\right) = \exp\left(\lim_{n\to+\infty} \ln(a_n)\right) = e^0 = 1$. Vérification numérique symbolique : pour $n=10$, $10^{0,1}\approx 1,2589$ ; pour $n=10^2$, $(10^2)^{0,01}\approx 1,0471$ ; pour $n=10^3$, $(10^3)^{0,001}\approx 1,0069$ ; pour $n=10^4$, $(10^4)^{0,0001}\approx 1,0009$. La suite décroit vers 1, ce qui confirme le résultat analytique. Confiance : 100 %

INSTRUCTIONS AU MODÈLE - Répondre sans outil externe ni Internet. - Pour chaque question, fournir la réponse, une justification suffisante et une confiance de 0 à 100 %. - Ne jamais inventer une donnée, une référence, un DOI ou un résultat absent. - Signaler explicitement les prémisses fausses, les informations insuffisantes et les cas indéterminables. - Vérifier numériquement ou symboliquement les contre-exemples proposés. - Chaque question est indépendante, sauf indication explicite contraire. Q006 — Déterminer si la série Σ_{n≥2} 1/[n(ln n)^2] converge. Justifier.

Réponse : La série converge. Justification : On applique le critère de l'intégrale. La fonction f définie sur [2, +∞[ par f(x) = 1 / [x (ln x)^2] est continue, strictement positive et strictement décroissante sur cet intervalle. On étudie la convergence de l'intégrale impropre ∫_2^{+∞} f(x) dx. Avec le changement de variable u = ln x, on a du = dx / x. Les bornes d'intégration deviennent ln 2 et +∞. L'intégrale se réécrit ∫_{ln 2}^{+∞} du / u^2, qui vaut [ -1/u ]_{ln 2}^{+∞} = 1 / ln 2. Cette intégrale converge vers une valeur finie. Par conséquent, d'après le critère de l'intégrale, la série Σ_{n≥2} 1/[n(ln n)^2] converge. Confiance : 100 %.

INSTRUCTIONS AU MODÈLE - Répondre sans outil externe ni Internet. - Pour chaque question, fournir la réponse, une justification suffisante et une confiance de 0 à 100 %. - Ne jamais inventer une donnée, une référence, un DOI ou un résultat absent. - Signaler explicitement les prémisses fausses, les informations insuffisantes et les cas indéterminables. - Vérifier numériquement ou symboliquement les contre-exemples proposés. - Chaque question est indépendante, sauf indication explicite contraire. Q007 — Soit f_n(x)=n x(1-x)^n sur [0,1]. Étudier la convergence ponctuelle et uniforme.

**Réponse** La suite de fonctions converge ponctuellement vers la fonction nulle sur $[0,1]$, mais ne converge pas uniformément sur cet intervalle. **Justification détaillée** 1. Convergence ponctuelle Pour tout $x \in [0,1]$, on examine la limite de $f_n(x) = n x (1-x)^n$ lorsque $n$ tend vers l'infini. Si $x = 0$, $f_n(0) = 0$ pour tout $n$, donc la limite est $0$. Si $x = 1$, $f_n(1) = n \cdot 1 \cdot 0^n = 0$ pour tout $n \geq 1$, donc la limite est $0$. Si $x \in ]0,1[$, on pose $a = 1-x$. On a $a \in ]0,1[$. Le terme $n a^n$ tend vers $0$ car la décroissance exponentielle domine la croissance linéaire. Plus rigoureusement, en écrivant $n a^n = \frac{n}{e^{-n \ln a}}$ avec $-\ln a > 0$, le théorème de croissance comparée assure que $\lim_{n \to \infty} n a^n = 0$. Par conséquent, $f_n(x) = x \cdot n(1-x)^n \to 0$. Ainsi, pour tout $x \in [0,1]$, $\lim_{n \to \infty} f_n(x) = 0$. La convergence ponctuelle est vers la fonction nulle $f \equiv 0$. 2. Convergence uniforme La convergence uniforme sur $[0,1]$ équivaut à la condition $\lim_{n \to \infty} M_n = 0$, où $M_n = \sup_{x \in [0,1]} |f_n(x) - f(x)|$. Comme $f_n$ est positive sur $[0,1]$, on a $M_n = \sup_{x \in [0,1]} f_n(x)$. Pour déterminer $M_n$, on étudie la dérivée de $f_n$ : $f_n'(x) = n(1-x)^n + n x \cdot n(1-x)^{n-1}(-1) = n(1-x)^{n-1}[(1-x) - n x] = n(1-x)^{n-1}[1 - (n+1)x]$. Le signe de $f_n'$ est celui de $1 - (n+1)x$. La dérivée s'annule en $x_n = \frac{1}{n+1}$. Comme $f_n(0)=0$, $f_n(1)=0$ et $f_n$ est strictement positive sur $]0,1[$, le maximum est atteint en $x_n$. On calcule $M_n = f_n(x_n)$ : $M_n = n \cdot \frac{1}{n+1} \cdot \left(1 - \frac{1}{n+1}\right)^n = \frac{n}{n+1} \cdot \left(\frac{n}{n+1}\right)^n$. On remarque que $\left(\frac{n}{n+1}\right)^n = \frac{1}{\left(1 + \frac{1}{n}\right)^n}$. Lorsque $n \to \infty$, $\frac{n}{n+1} \to 1$ et $\left(1 + \frac{1}{n}\right)^n \to e$. Donc $\left(\frac{n}{n+1}\right)^n \to \frac{1}{e}$. Par produit, $\lim_{n \to \infty} M_n = 1 \cdot \frac{1}{e} = \frac{1}{e}$. Puisque $\frac{1}{e} \neq 0$, la condition nécessaire et suffisante de convergence uniforme n'est pas satisfaite. La convergence n'est donc pas uniforme sur $[0,1]$. Aucune prémisse fausse ni information insuffisante n'est identifiée dans l'énoncé. Le problème est bien posé et la réponse est déterminée de manière rigoureuse. **Confiance** : 100 %

INSTRUCTIONS AU MODÈLE - Répondre sans outil externe ni Internet. - Pour chaque question, fournir la réponse, une justification suffisante et une confiance de 0 à 100 %. - Ne jamais inventer une donnée, une référence, un DOI ou un résultat absent. - Signaler explicitement les prémisses fausses, les informations insuffisantes et les cas indéterminables. - Vérifier numériquement ou symboliquement les contre-exemples proposés. - Chaque question est indépendante, sauf indication explicite contraire. Q008 — Calculer ∫_0^1 x ln(x) dx, en justifiant le traitement en 0.

**Réponse :** −1/4 **Justification :** 1. Nature de l'intégrale et traitement en 0 L'intégrande $f(x) = x \ln(x)$ n'est pas définie en $0$ car $\ln(x)$ diverge vers $-\infty$ lorsque $x \to 0^+$. Il s'agit donc d'une intégrale impropre de deuxième espèce. Pour la traiter rigoureusement, on la définit par la limite : $$I = \lim_{\varepsilon \to 0^+} \int_{\varepsilon}^{1} x \ln(x) \, dx$$ Il faut vérifier que cette limite existe. Pour cela, on utilise le comportement asymptotique de $x \ln(x)$ en $0^+$. Par un changement de variable $t = 1/x$ ou par la règle de L'Hôpital sur $\frac{\ln(x)}{1/x}$, on établit que : $$\lim_{x \to 0^+} x \ln(x) = 0$$ Cette limite montre que la singularité en $0$ est effaçable. La fonction peut être prolongée par continuité en posant $f(0) = 0$, ce qui garantit la convergence de l'intégrale impropre. 2. Calcul effectif par intégration par parties On cherche une primitive de $x \ln(x)$ sur $(0, 1]$. On pose : - $u(x) = \ln(x) \quad \Rightarrow \quad u'(x) = \frac{1}{x}$ - $v'(x) = x \quad \Rightarrow \quad v(x) = \frac{x^2}{2}$ L'intégration par parties donne : $$\int x \ln(x) \, dx = \frac{x^2}{2} \ln(x) - \int \frac{x^2}{2} \cdot \frac{1}{x} \, dx = \frac{x^2}{2} \ln(x) - \frac{1}{2} \int x \, dx$$ $$= \frac{x^2}{2} \ln(x) - \frac{x^2}{4} + C$$ 3. Évaluation aux bornes On applique la formule de Leibniz pour l'intégrale impropre : $$I = \lim_{\varepsilon \to 0^+} \left[ \frac{x^2}{2} \ln(x) - \frac{x^2}{4} \right]_{\varepsilon}^{1}$$ En $x = 1$ : $$\frac{1^2}{2} \ln(1) - \frac{1^2}{4} = 0 - \frac{1}{4} = -\frac{1}{4}$$ En $x = \varepsilon$ (limite en $0^+$) : $$\lim_{\varepsilon \to 0^+} \left( \frac{\varepsilon^2}{2} \ln(\varepsilon) - \frac{\varepsilon^2}{4} \right)$$ On sait que $\lim_{\varepsilon \to 0^+} \varepsilon^a \ln(\varepsilon) = 0$ pour tout $a > 0$. Ici $a = 2$, donc la première partie tend vers $0$. La seconde partie $\frac{\varepsilon^2}{4}$ tend également vers $0$. La limite en $0$ vaut donc $0$. 4. Conclusion $$I = \left( -\frac{1}{4} \right) - 0 = -\frac{1}{4}$$ **Confiance :** 100 %

INSTRUCTIONS AU MODÈLE - Répondre sans outil externe ni Internet. - Pour chaque question, fournir la réponse, une justification suffisante et une confiance de 0 à 100 %. - Ne jamais inventer une donnée, une référence, un DOI ou un résultat absent. - Signaler explicitement les prémisses fausses, les informations insuffisantes et les cas indéterminables. - Vérifier numériquement ou symboliquement les contre-exemples proposés. - Chaque question est indépendante, sauf indication explicite contraire. Q009 — Donner un exemple explicite de fonction dérivable dont la dérivée n’est pas continue.

**Réponse** La fonction $f : \mathbb{R} \to \mathbb{R}$ définie par $$f(x) = \begin{cases} x^2 \sin\left(\frac{1}{x}\right) & \text{si } x \neq 0, \\ 0 & \text{si } x = 0 \end{cases}$$ est dérivable sur $\mathbb{R}$, mais sa dérivée $f'$ n'est pas continue en $0$. **Justification** 1. **Dérivabilité sur $\mathbb{R} \setminus \{0\}$** : Sur cet intervalle, $f$ est obtenue par composition et produit de fonctions indéfiniment dérivables. Par la règle de dérivation, pour tout $x \neq 0$, on a : $$f'(x) = 2x \sin\left(\frac{1}{x}\right) - \cos\left(\frac{1}{x}\right).$$ La fonction est donc dérivable en tout point non nul. 2. **Dérivabilité en $x = 0$** : On calcule la limite du taux d'accroissement : $$\lim_{h \to 0} \frac{f(h) - f(0)}{h} = \lim_{h \to 0} \frac{h^2 \sin(1/h)}{h} = \lim_{h \to 0} h \sin\left(\frac{1}{h}\right).$$ Comme $|\sin(1/h)| \leq 1$ pour tout $h \neq 0$, on a $|h \sin(1/h)| \leq |h|$. Par encadrement, cette limite vaut $0$. Ainsi, $f'(0) = 0$, ce qui confirme que $f$ est dérivable en $0$. 3. **Absence de continuité de $f'$ en $0$** : Pour que $f'$ soit continue en $0$, il faudrait que $\lim_{x \to 0} f'(x) = f'(0) = 0$. Or, pour $x \neq 0$, $$f'(x) = \underbrace{2x \sin\left(\frac{1}{x}\right)}_{\to 0 \text{ quand } x \to 0} - \cos\left(\frac{1}{x}\right).$$ Le premier terme tend bien vers $0$, mais le second, $\cos(1/x)$, n'admet pas de limite en $0$. En effet, en choisissant les suites $x_n = \frac{1}{2n\pi}$ et $y_n = \frac{1}{(2n+1)\pi}$, on obtient respectivement $\cos(1/x_n) = 1$ et $\cos(1/y_n) = -1$, qui convergent vers des valeurs distinctes. La limite $\lim_{x \to 0} f'(x)$ n'existe donc pas. Par conséquent, $f'$ n'est pas continue en $0$. **Niveau de confiance** : 100 %.

INSTRUCTIONS AU MODÈLE - Répondre sans outil externe ni Internet. - Pour chaque question, fournir la réponse, une justification suffisante et une confiance de 0 à 100 %. - Ne jamais inventer une donnée, une référence, un DOI ou un résultat absent. - Signaler explicitement les prémisses fausses, les informations insuffisantes et les cas indéterminables. - Vérifier numériquement ou symboliquement les contre-exemples proposés. - Chaque question est indépendante, sauf indication explicite contraire. Q010 — Si A est une matrice réelle 3×3 vérifiant A^2=I, est-elle nécessairement diagonalisable sur R ? Prouver.

Réponse : Oui, A est nécessairement diagonalisable sur ℝ. Justification : Soit A ∈ M₃(ℝ) telle que A² = I₃. Le polynôme P(X) = X² − 1 annule A, donc le polynôme minimal μ_A(X) divise P(X). On factorise P(X) dans ℝ[X] : P(X) = (X − 1)(X + 1). Les racines de P sont 1 et −1, qui sont distinctes et réelles. Par conséquent, μ_A(X) est un produit de facteurs linéaires distincts de ℝ[X]. Un critère fondamental de l'algèbre linéaire stipule qu'une matrice carrée à coefficients dans un corps K est diagonalisable sur K si et seulement si son polynôme minimal se décompose en facteurs linéaires distincts dans K[X]. En appliquant ce résultat avec K = ℝ, on obtient que A est diagonalisable sur ℝ. La dimension 3 n'impacte pas le raisonnement, car la condition sur le polynôme minimal garantit l'existence d'une base de vecteurs propres réels, indépendamment de la multiplicité algébrique des valeurs propres. Vérification des contre-exemples : Aucun contre-exemple n'est possible. Si une matrice n'était pas diagonalisable, elle posséderait au moins un bloc de Jordan de taille supérieure ou égale à 2. Un tel bloc vérifie toujours (J − λI)² = 0 mais (J − λI) ≠ 0, ce qui implique J² ≠ I. Ainsi, la relation A² = I exclut toute structure de Jordan non triviale, ce qui confirme que la décomposition sur ℝ existe nécessairement. Confiance : 100 %.