¿O se ha quedado en un nodo terminal en la frontera de las matemáticas?
Respuesta
¿Demasiados anuncios?
El artículo de Oakley y Baker de 1978 El teorema del trisector de Morley describe muy bien cómo Morley llegó a este resultado "desde arriba", lo que significa que tenía un resultado mucho más complicado del que este teorema era un caso especial particularmente bonito. (Un caso tan trivial, de hecho, que Morley no consideró que valiera la pena publicarlo). Así que, incluso desde el principio, este teorema no era un punto final de la investigación, sino más bien un bonito comentario secundario.
El artículo de Oakley y Baker también menciona que "el teorema de Morley tiene conexiones con muchas configuraciones notables de punto-línea-plano-círculo-polígono que llevan nombres como Apollonius, Brianchon, Ceva, Desargues, Feuerbach, Hesse, Lemoine, Menelaus, Pascal, Ptolomy, Simson, Spieker, Steiner, etc.".
El teorema de Morley es de 1899(†), y 110 años después, en 2009, vemos un artículo muy bonito y muy corto de Brian Stonebridge, Una sencilla demostración geométrica del teorema del trisector de Morley . Tampoco fueron 110 años de silencio: ¡sólo el documento de Oakley y Baker da 120 referencias! Como Stonebridge parece desconocer la prueba de Alain Connes mencionada anteriormente, aparentemente no existe en la actualidad una lista única y completa de pruebas - no hay término, por así decirlo.
(†) según Stonebridge, Wikipedia, Cut The Knot, y otros que lo fechan categóricamente sin discusión. Sin embargo, tanto Coxeter como Oakley y Baker parecen muy conocedores de la historia, y son más vagos en cuanto a la fecha, insinuando algo tal vez alrededor de 1904. Como Morley no lo publicó, sino que simplemente empezó a mencionarlo poco a poco a sus amigos, es difícil de fechar.
Creo que cualquiera de nosotros se alegraría de que la gente siguiera trabajando en nuestros teoremas más de cien años después: ¡el teorema de Morley no es ni ha sido nunca un nodo terminal!
