Comment montrer que deux vecteurs ou deux sous-espaces sont orthogonaux ?

En montrant $\langle x, y \rangle = 0$ par calcul direct

Prouver que deux vecteurs $x$ et $y$ d'un espace euclidien sont orthogonaux.

Que ferais-tu face à un exercice de ce type ?

Dans $\mathbb{R}^3$ muni du produit scalaire canonique, montrer que $x = (1, 2, 1)$ et $y = (3, -1, -1)$ sont orthogonaux.

L'objectif

Prouver que deux vecteurs $x$ et $y$ d'un espace euclidien sont orthogonaux.

Le principe

Deux vecteurs $x$ et $y$ d'un espace euclidien $(E, \langle \cdot, \cdot \rangle)$ sont orthogonaux, noté $x \perp y$ , si et seulement si $\langle x, y \rangle = 0$ .

La méthode

1
Je rappelle l'expression du produit scalaire utilisé sur $E$ .
2
Je calcule $\langle x, y \rangle$ à partir des données explicites des deux vecteurs.
3
Je simplifie l'expression obtenue.
4
Je constate que $\langle x, y \rangle = 0$ et je conclus que $x \perp y$ .

Pour comprendre, fais des exercices !

Exercice d'exemple

Dans $\mathbb{R}^3$ muni du produit scalaire canonique, montrer que $x = (1, 2, 1)$ et $y = (3, -1, -1)$ sont orthogonaux.

Étape 1 —

Je rappelle l'expression du produit scalaire utilisé sur

E

.

Produit scalaire canonique : $\langle x, y \rangle = x_1 y_1 + x_2 y_2 + x_3 y_3$ .

Étape 2 —

Je calcule

\langle x, y \rangle

à partir des données explicites des deux vecteurs.

$\langle x, y \rangle = 1 \times 3 + 2 \times (-1) + 1 \times (-1) = 3 - 2 - 1$ .

Étape 3 —

Je simplifie l'expression obtenue.

$\langle x, y \rangle = 0$ .

Étape 4 —

Je constate que

\langle x, y \rangle = 0

et je conclus que

x \perp y

.

Donc $x \perp y$ .

$x$ et $y$ sont orthogonaux.

Les applications suivantes et la correction guidée sont réservées aux membres Premium

La méthode et sa première application corrigée restent en accès libre. Le Premium débloque les applications suivantes, l'aide IA et le suivi de ta maîtrise.

Comment exprimer matriciellement le produit scalaire et la norme en base orthonormée ?

Comment compléter une famille orthonormée en une base orthonormée d'un espace euclidien ?

Comment montrer que deux vecteurs ou deux sous-espaces sont orthogonaux ?

En montrant ⟨x,y⟩=0\langle x, y \rangle = 0⟨x,y⟩=0 par calcul direct

Pour comprendre, fais des exercices !

En montrant $\langle x, y \rangle = 0$ par calcul direct