Los lemas son declaraciones matemáticas auxiliares que, aunque frecuentemente consideradas secundarias frente a los grandes teoremas, constituyen el verdadero motor del progreso matemático. A diferencia de los teoremas que suelen ser resultados finales y específicos, los lemas poseen una aplicabilidad mucho más amplia, permitiendo resolver problemas aparentemente inconexos. El ejemplo más destacada es el Lema de Szemerédi, desarrollado por Endre Szemerédi, que ha demostrado ser tan influyente que está asociado con al menos dos Medallas Fields. Este lema establece propiedades de regularidad en grafos grandes, permitiendo aproximar estructuras complejas mediante estructuras más simples. Su importancia fue reconocida en conferencias de la MAA por Tim Gowers y Jennifer Chayes. El Lema de Szemerédi fue fundamental en el avance Green-Tao sobre primos en progresiones aritméticas. Un buen lema se caracteriza por tres aspectos: aplicabilidad a una gran variedad de problemas diferentes, obviedad una vez presentado (generando'envidia' al lector por no haberlo notado antes), y belleza estética. Como refleja la cita del libro 'Proofs from THE BOOK', los matemáticos realmente desean probar un lema en su carrera, como el Lema de Fatou, el Lema de Gauss o el Lema de Burnside-Frobenius. La reflexión final subraya que los lemas hacen el trabajo real en matemáticas, mientras que los teoremas simplemente se llevan el crédito.
Lemas matemáticos: el motor oculto que impulsa grandes descubrimientos
