Droites

Avec Eukleides, la représentation interne des droites est basée sur une abscisse, une ordonnée et un angle polaire. Cependant les droites ont une orientation implicite. Voici toutes les fonctions définissant des droites :

• droite(A, B)
• droite(A, u)
• droite(s)
• droite(A, a)
  Droite d'angle polaire a, contenant le point A.
• droite(c, a)
  Tangente à un cercle c en son point d'argument a (par rapport au centre de c).
• droite(cc, x)
  Tangente à cc en son point d'argument x (conformément à la représentation paramétrique interne). Pour les paraboles, la représentation est basée sur la fonction carré ; pour les ellipses, sur le cosinus et le sinus ; pour les  hyperboles, sur la cosécante et sur la tangente.
• parallèle(d, A) ou parallèle(s, A)
  Parallèle à la droite d ou au segment s passant par A.
• perpendiculaire(d, A) ou perpendiculaire(s, A)
  Perpendiculaire à la droite d ou au segment s passant par A.
• médiatrice(s)
  Médiatrice du segment s.
• bissectrice(A, B, C)
  Bissectrice de l'angle ABC.
• bissectrice(d, d')
  Bissectrice de l'angle aigu formé par d et d'.
• hauteur(A, B, C)
  Hauteur du triangle ABC passant par A.
• médiane(A, B, C)
  Mediane issue de A dans le triangle ABC.
• translation(d, u)
  Image de la droite d par la translation de vecteur u.
• réflexion(d, d')
  Image de la droite d par la réflexion par rapport à la droite d'.
• rotation(d, A [, a])
  Image de la droite d par la rotation de centre A et d'angle a (par défaut : 180°).
• homothétie(d, A, x)
  Image de la droite d par l'homothétie de centre A et de rapport x.