¿Por qué usamos la raíz cuadrada de -1 como i? ¿Por qué no el otro valor como -2, -3, etc. con otros alfabetos?
Formal y pedantemente, la raíz cuadrada de [math] -1 \ in \ mathbb R [/ math] no existe, así como la mitad de [math] 1 \ in \ mathbb N [/ math] no existe.
Lo que sí existen son números cardanos [1], [matemática] \ mathbb C [/ matemática], definidos como pares ordenados, [matemática] (x, y) \ dos puntos, y \ in \ mathbb R [/ matemática] ese:
- [matemáticas] (a, b) + (c, d) = (a + c, b + d) [/ matemáticas]
- [matemática] (a, b) \ veces (c, d) = (ac-bd, ad + bc) [/ matemática]
Con esta definición, notará que:
- ¿Explica la revelación de que cualquier número cuadrado es la suma de dos números triangulares? (Vea abajo)
- ¿Cuál es la probabilidad de obtener un número par de caras cuando se lanzan juntas siete monedas independientes con un cierto conjunto de sesgos?
- ¿Por qué el método derivar y dividir (adjunto) funciona para factorizar polinomios difíciles de factorizar?
- ¿Hay alguna intuición útil para pensar por qué y / x = 1 / (x / y)?
- Cómo integrar [matemáticas] \ displaystyle \ int \ frac {x ^ 5 \, dx} {(x ^ 2 + x + 1) (x ^ 6 + 1) (x ^ 4-x ^ 3 + x-1) }[/matemáticas]
[matemáticas] \ quad (0,1) \ veces (0,1) = (0-1,0 + 0) = (- 1,0) [/ matemáticas]
[math] \ Rightarrow \ sqrt {(- 1,0)} = (0,1) [/ math]
Y:
[matemáticas] \ quad (x, y) = (x, 0) + (0,1) \ veces (y, 0) [/ matemáticas]
Ahora utilizamos algunas piezas prácticas de taquigrafía:
- [matemáticas] (x, 0) \ equiv x [/ matemáticas]
- [matemáticas] (0,1) \ equiv i [/ matemáticas]
Con estos en su lugar, notará que podemos escribir:
- [matemáticas] (x, y) \ equiv x + i \ veces y [/ matemáticas]
- [matemáticas] \ sqrt {-1} \ equiv \ sqrt {(- 1,0)} = (0,1) \ equiv i [/ matemáticas]
¡Solo taquigrafía! [matemáticas] i [/ matemáticas] no es un número nuevo especial. Es solo una abreviatura para un par ordenado en particular. Al igual que [math] \ pi [/ math] no es un número nuevo especial. Es solo una abreviatura de un número particular de Arquímedes.
Podría , supongo, definir una taquigrafía diferente, digamos [math] j \ equiv (0,2) [/ math], entonces [math] j ^ 2 = (- 4,0) \ equiv-4 [/ math] y [math] j = \ sqrt {-4} [/ math], pero no sería tan útil, entonces, ¿cuál sería el punto?
[math] \ mathbb C [/ math] se puede definir de otras maneras, incluida la definición de una nueva entidad fundamental [math] i \ equiv \ sqrt {-1} [/ math], pero creo que es mejor considerar todo concepto como nuevo en lugar de [matemáticas] i [/ matemáticas] como una entidad específica.
Notas al pie
[1] La respuesta de Alan Bustany a ¿Qué propones como mejores nombres para los números “reales” y “complejos”? ¿Con qué nombres podríamos reemplazarlos en los próximos siglos?