En el siglo XIX el matemático alemán Ferdinand Lindemann demostró este hecho, cerrando con ello definitivamente la permanente y ardua investigación acerca del problema de la cuadratura del círculo indicando que no tiene solución.