Cet exercice introduit une notion qui ne figure pas au programme, mais qui se déduit entièrement de la formule de distance entre deux points : l'équation cartésienne d'une sphère. Aucune connaissance nouvelle n'est nécessaire, seulement les outils du chapitre.
On rappelle que la sphère de centre et de rayon est l'ensemble des points de l'espace tels que .
Partie A : de la définition à l'équation
1. Soit la sphère de centre et de rayon . Traduire la condition à l'aide de la formule donnant la distance entre deux points.
2. Les deux membres étant positifs, on peut élever au carré. En déduire que appartient à si et seulement si :
3. Développer et réduire cette égalité pour obtenir une équation de la forme .
4. Écrire, sans calcul supplémentaire, l'équation de la sphère de centre et de rayon sous la forme développée.
Partie B : reconnaître une sphère
Le problème réciproque est plus délicat : toute équation de la forme n'est pas nécessairement celle d'une sphère. Pour trancher, on regroupe les termes et on utilise les identités remarquables, exactement comme pour la forme canonique d'un trinôme.
5. Vérifier que , puis, sur le même modèle, écrire et sous forme canonique.
6. En déduire que l'ensemble des points tels que est une sphère dont on précisera le centre et le rayon.
7. Procéder de même avec l'équation . Que constate-t-on ?
8. Procéder enfin de même avec . Conclure.
9. Résumer en une phrase les trois cas possibles pour un tel ensemble de points.
Corrigé
Partie A
1. La distance entre et vaut , donc :
2. Les deux membres étant positifs, l'élévation au carré est une équivalence :
3. On développe chaque carré :
4. Le même calcul avec un centre et un rayon quelconques donne :
On retiendra que les coefficients de , et valent fois les coordonnées du centre.
Partie B
5. : l'égalité est bien vérifiée.
De même : et .
6. En regroupant :
7. , et , d'où : Une somme de trois carrés est nulle si et seulement si chacun l'est :
8. et , d'où : Une somme de carrés ne peut être négative :
9. Après mise sous forme canonique, on aboutit à , et :