Estoy tomando esto desde el comienzo del Análisis del Complejo Visual de Tristan Needham.
Los números imaginarios fueron una idea que flotó alrededor de las mentes y garabatos de personas que hacen álgebra, principalmente en Italia a mediados del siglo XVI. Sin embargo, la mayoría de las personas que pensaron en ellos dijeron que eran tontos y lo dejaron así.
La gente quería resolver ecuaciones cuadráticas, pero algo como [matemática] x ^ 2 + 1 = 0 [/ matemática] simplemente no tiene soluciones, de todos modos no está en los números reales. Esto es obvio porque cualquier cosa al cuadrado es cero o positiva, por lo que agregarle uno nunca puede llevarlo a cero. Podrías introducir la “unidad imaginaria” [matemáticas] i [/ matemáticas] y decir que [matemáticas] i ^ 2 = -1 [/ matemáticas], pero si todo lo que quieres hacer es resolver ecuaciones cuadráticas, esto es extremadamente artificial. Después de todo, la trama se ve así:
Claramente no tiene ninguna solución. ¿Por qué inventar nuevos números con el único propósito de ser soluciones para ecuaciones cuadráticas? Ese fue el estado de las cosas por algún tiempo.
- ¿Puede un matemático, sin experiencia en ajedrez, justificar el valor relativo de las piezas?
- ¿Por qué Daniel Tammet, posiblemente el sabio prodigioso más talentoso del mundo de hoy, no tuvo avances matemáticos?
- ¿Qué teoremas importantes tienen las pruebas más fáciles?
- ¿Cuál es la diferencia entre funciones analíticas y no analíticas?
- ¿Las matemáticas buscan describir o transformar el mundo?
Sin embargo, las cuadráticas son bastante fáciles de resolver. La mejor manera de demostrar que eras un matemático rudo en el siglo XVI era intensificarlo y resolver una ecuación cúbica. No se consideró útil. Era solo un problema obvio que nadie sabía cómo hacer.
El cúbico más general en la variable [math] u [/ math] es
[matemáticas] au ^ 3 + bu ^ 2 + cu + d = 0 [/ matemáticas]
Si divide todo entre [matemática] a [/ matemática], se vuelve un poco más simple, y si también realiza una sustitución [matemática] x = u- \ frac {b} {3a} [/ matemática], puede obtener deshacerse del término al cuadrado. Te queda con
[matemáticas] x ^ 3 – 3p x – 2q = 0 [/ matemáticas]
donde [math] p [/ math] y [math] q [/ math] son funciones de [math] a, b, c, d [/ math] que puedes resolver si estás interesado.
Bueno, varios chicos estaban trabajando en esto con el drama habitual. Discutían sobre la prioridad, se llamaban con malas palabras, se mordían el uno al otro, etc. Incluso tenían partidos públicos de exhibición de resolución de ecuaciones cúbicas. (Esto no está en Needham, pero recuerdo haberlo leído en alguna parte.) Finalmente, un tipo llamado Cardano demostró que tenía la mayor polla matemática al publicar la solución
[matemáticas] x = \ sqrt [3] {q + \ sqrt {q ^ 2 – p ^ 3}} + \ sqrt [3] {q – \ sqrt {q ^ 2 – p ^ 3}} [/ matemáticas]
Parece extraño, pero si lo prueba en algunos ejemplos, puede ver que funciona. Needham da el ejemplo [matemáticas] x ^ 3 = 6x + 6 [/ matemáticas]. (Needham le da crédito a Cardano por publicar la fórmula en su libro, pero parece que otros lo descubrieron primero. Vea la aclaración de Dan en los comentarios).
Desafortunadamente cuando [math] p ^ 3> q ^ 2 [/ math] esto nos da números complejos.
Simplemente podría descartar estos números complejos como inútiles como antes, pero eso es menos válido aquí ya que cada cúbico tiene al menos una solución real. Eso es porque los cúbicos se ven así
Los cúbicos disparan al infinito negativo por un lado y al infinito positivo por el otro, por lo que deben cruzar cero en alguna parte.
Treinta años más tarde, un tipo llamado Bombelli miró la [matemática] x ^ 3 – 15x – 4 = 0 [/ matemática] cúbica. Por prueba y error, puede ver que esto tiene una raíz en [math] x = 4 [/ math]. Sin embargo, si usas la fórmula de Cardano, obtienes números imaginarios. El resultado es
[matemáticas] x = \ sqrt [3] {2 + 11 \ sqrt {- 1}} + \ sqrt [3] {2 – 11 \ sqrt {-1}} [/ matemáticas]
Esto es sospechoso Sabemos que la respuesta es 4. La respuesta de la fórmula parece que tiene un 4 escondido allí, ya que es 2 más algo y 2 menos algo, pero con raíces cúbicas y raíces cuadradas de números negativos.
Así que ahora Bombelli tenía una razón para investigar números complejos más a fondo. Tenía una ecuación con una solución conocida y una fórmula con raíces cuadradas negativas que parecía que podría producir esa solución. Al configurar [matemáticas] i = \ sqrt {-1} [/ matemáticas] y usar las reglas normales de álgebra, Bombelli demostró que
[matemáticas] (2 \ pm i) ^ 3 = 2 \ pm 11i [/ matemáticas]
Esto nos permite volver al resultado de la fórmula de Cardano y escribirlo como
[matemáticas] x = (2 + i) + (2 – i) = 4 [/ matemáticas]
En ese momento, Bombelli se dio cuenta de que estas cosas eran útiles. Podría tomar problemas que ya se entendieron y producir soluciones que se entendieron, pero solo si primero pasó por números complejos. Ese fue el punto de inflexión en su historia. Sin embargo, tuvieron una larga infancia. La interpretación geométrica de los números complejos como puntos en el plano complejo no apareció hasta principios del siglo XIX.
Por supuesto, hoy son ridículamente útiles en todos los principales campos de las matemáticas, hasta el punto de que, incluso como no matemático, me obligaron a pasar muchas noches sin dormir sin entenderlos en la universidad.
Needham hace referencia a un libro de John Stillwell llamado Matemáticas y su historia, por lo que sería un lugar para buscar más información.