Pour pouvoir utiliser l' appliquette Java ci-dessous, il est nécessaire de disposer de l'environnement Java de SUN téléchargeable gratuitement ici .
L'animation ci-dessous a été réalisée avec JMath3D , programme Java permettant de faire des animations en trois dimensions. Elle illustre le théorème suivant :
Si les droites (AB) et (CD) sont sécantes et orthogonales à la droite (EF), alors le plan (ABCD) est orthogonal à la droite (EF). Si la droite (KL) est incluse dans le plan (ABCD), alors les droites (EF) et (KL) sont orthogonales.
Vous pouvez prendre le contrôle de l'animation avec la souris.
Si on a AE=AF et BE=BF (E et F étant distincts ), alors A et B sont deux points du plan médiateur de [EF]. On en déduit que (AB) et (EF) sont orthogonales.
fait le 3 mai 2008