DIMATU

• Point constructible : étant donnés P le plan euclidien réel rapporté à repère orthonormé d'origine O et un point M(x,y) de P, M est dit constructible s'il peut être déterminé à partir des points O et A(1,0) par une  succession finie de constructions n'utilisant que la règle et le compas.