Twierdzenie Ponceleta-Steinera jest sformułowane w następujący sposób:
Każdy punkt, który można zbudować za pomocą linijki i kompasu, można skonstruować tylko za pomocą linijki, pod warunkiem, że okrąg z jego środkiem jest narysowany na płaszczyźnie.
To twierdzenie zostało zademonstrowane przez Jakoba Steinera w 1833 roku na podstawie pomysłów Jean-Victora Ponceleta .