Soit nn un entier naturel tel que n2n \geqslant 2. Pour tout réel θ\theta, on considère la matrice AnMn(R)A_n \in \mathrm{M}_n(\mathbb{R}) définie par :

An=(cosθ1001cosθ1010cosθ1001cosθ)A_n = \begin{pmatrix} \cos \theta & 1 & 0 & \cdots & 0
1 & \cos \theta & 1 & \ddots & \vdots
0 & 1 & \ddots & \ddots & 0
\vdots & \ddots & \ddots & \cos \theta & 1
0 & \cdots & 0 & 1 & \cos \theta \end{pmatrix}

Calculer Dn(θ)=det(An)D_n(\theta) = \det(A_n).

1.

Procéder à un développement du déterminant par rapport à la première colonne pour établir une relation de récurrence liant Dn(θ)D_n(\theta), Dn1(θ)D_{n-1}(\theta) et Dn2(θ)D_{n-2}(\theta).

2.

On pourra poser x=cosθx = \cos \theta et résoudre l'équation caractéristique associée à la suite récurrente.

3.

Pour simplifier l'expression, on pourra introduire un angle auxiliaire ϕ\phi tel que x=2cosϕx = 2\cos \phi.

Idées clés

Développement de déterminant (formule de Laplace).

Étude d'une suite récurrente linéaire d'ordre 2.

Utilisation de la structure polynomiale du déterminant pour simplifier l'étude.

1. Établissement de la relation de récurrence.

Développons Dn(θ)D_n(\theta) suivant la première colonne :

Dn(θ)=cosθΔn11Δn1D_n(\theta) = \cos \theta \Delta_{n-1} - 1 \cdot \Delta'_{n-1}
Δn1=Dn1(θ)\Delta_{n-1} = D_{n-1}(\theta) et Δn1\Delta'_{n-1} est le déterminant de la matrice de taille n1n-1 obtenue en retirant la première colonne et la deuxième ligne.

En développant Δn1\Delta'_{n-1} suivant sa première ligne, on obtient :

Δn1=1Dn2(θ)0=Dn2(θ)\Delta'_{n-1} = 1 \cdot D_{n-2}(\theta) - 0 = D_{n-2}(\theta)

On en déduit la relation de récurrence valable pour n3n \geqslant 3 :

Dn(θ)=cosθDn1(θ)Dn2(θ)\boxed{D_n(\theta) = \cos \theta D_{n-1}(\theta) - D_{n-2}(\theta)}

Calculons les premiers termes :

D1(θ)=cosθD_1(\theta) = \cos \theta
D2(θ)=cos2θ1D_2(\theta) = \cos^2 \theta - 1

Pour que la récurrence soit cohérente avec n=2n=2, on peut poser D0(θ)=1D_0(\theta) = 1, car cosθD1(θ)D0(θ)=cos2θ1=D2(θ)\cos \theta D_1(\theta) - D_0(\theta) = \cos^2 \theta - 1 = D_2(\theta).

2. Résolution de l'équation caractéristique.

Soit x=cosθx = \cos \theta. L'équation caractéristique associée est r2xr+1=0r^2 - xr + 1 = 0. Le discriminant est Δ=x24=cos2θ4\Delta = x^2 - 4 = \cos^2 \theta - 4.

Comme θR\theta \in \mathbb{R}, on a cosθ1|\cos \theta| \leqslant 1, donc Δ3<0\Delta \leqslant -3 < 0. L'équation admet deux racines complexes conjuguées distinctes.

Pour les exprimer de manière élégante, posons x=2cosϕx = 2 \cos \phi. Puisque x[1,1]x \in [-1, 1], on peut choisir ϕ[π3,2π3]\phi \in [\frac{\pi}{3}, \frac{2\pi}{3}]. En particulier, ϕ≢0(modπ)\phi \not\equiv 0 \pmod{\pi}, donc sinϕ0\sin \phi \neq 0.

L'équation devient r2(2cosϕ)r+1=0r^2 - (2\cos \phi)r + 1 = 0, dont les racines sont :

r=2cosϕ±4cos2ϕ42=cosϕ±isinϕ=e±iϕr = \frac{2\cos \phi \pm \sqrt{4\cos^2 \phi - 4}}{2} = \cos \phi \pm i \sin \phi = e^{\pm i\phi}

3. Expression du déterminant.

Il existe (λ,μ)C2(\lambda, \mu) \in \mathbb{C}^2 tels que pour tout nNn \in \mathbb{N} :

Dn(θ)=λeinϕ+μeinϕD_n(\theta) = \lambda e^{in\phi} + \mu e^{-in\phi}

En utilisant les conditions initiales :

  • Pour n=0n=0 : λ+μ=1\lambda + \mu = 1.
  • Pour n=1n=1 : λeiϕ+μeiϕ=2cosϕ\lambda e^{i\phi} + \mu e^{-i\phi} = 2\cos \phi.

On résout le système :

λeiϕ+(1λ)eiϕ=eiϕ+eiϕ\lambda e^{i\phi} + (1-\lambda)e^{-i\phi} = e^{i\phi} + e^{-i\phi}
λ(eiϕeiϕ)=eiϕ    λ=eiϕ2isinϕ\lambda(e^{i\phi} - e^{-i\phi}) = e^{i\phi} \implies \lambda = \frac{e^{i\phi}}{2i \sin \phi}

On en déduit μ=1λ=2isinϕeiϕ2isinϕ=eiϕ2isinϕ\mu = 1 - \lambda = \frac{2i\sin \phi - e^{i\phi}}{2i\sin \phi} = \frac{-e^{-i\phi}}{2i\sin \phi}. D'où :

Dn(θ)=ei(n+1)ϕei(n+1)ϕ2isinϕD_n(\theta) = \frac{e^{i(n+1)\phi} - e^{-i(n+1)\phi}}{2i\sin \phi}

Dn(θ)=sin((n+1)ϕ)sinϕaveccosϕ=cosθ2\boxed{D_n(\theta) = \frac{\sin((n+1)\phi)}{\sin \phi}   \text{avec}   \cos \phi = \frac{\cos \theta}{2}}

L'erreur fréquente est d'oublier que la récurrence porte sur cosθ\cos \theta et non sur 2cosθ2 \cos \theta. Si la diagonale était 2cosθ2\cos \theta, les racines seraient simplement e±iθe^{\pm i \theta}. Ici, il faut bien introduire l'angle auxiliaire ϕ\phi tel que 2cosϕ=cosθ2 \cos \phi = \cos \theta.