La gran mayoría de los teoremas principales tienen varias pruebas conocidas. A menudo, la primera prueba es muy técnica y complicada, y la gente luego mejora y encuentra pruebas más simples.
Como ejemplo, el teorema del número primo. Varias personas, entre ellas Dirichlet, Chebyshev y Riemann, hicieron el trabajo inicial sobre esto, pero fue demostrado por primera vez por Hadamard y de forma independiente (y diferente) por de la Vallée-Poussin, ambos en 1896. Estas pruebas fueron largas, complicadas y técnicas. Se realizaron varias mejoras, pero nada importante hasta mediados del siglo XX, cuando se encontraron varias pruebas elementales, incluidas Selberg, Erdős y Newman.
Este es un ejemplo bastante típico de la evolución de la prueba de un teorema mayor. Cada vez que alguien prueba algo importante, pero no puede dar una prueba elegante, siempre hay alguien que trabajará en ello y tratará de encontrar uno, y muchas veces tendrá éxito.
- Experimento de pensamiento: ¿Cuántas Tierras podemos caber dentro de un objeto tan grande como el Sol?
- Geometría: ¿Cuál es el número máximo de piezas que una esfera se puede cortar en superficies triangulares idénticas (con la misma longitud y forma de los bordes)? ¿Es una pregunta adecuada?
- ¿Cuál es el significado del círculo unitario?
- ¿Por qué una cadena colgante forma una catenaria en lugar de una parábola?
- Un cubo, de un centímetro de lado, se corta en 2 mitades iguales de tal manera que el corte en el medio forme un hexágono regular. ¿Cuál es el área del hexágono regular?