Probemos una explicación usando números complejos. Para simplificar, consideremos una línea a través del origen [matemática] y = mx [/ matemática], [matemática] x [/ matemática], [matemática] y [/ matemática] y [matemática] m [/ matemática] todas reales . Podemos considerar esto como una línea en el plano complejo [matemática] z [/ matemática] donde [matemática] z = x + iy [/ matemática]. Escribamos nuestra línea paramétricamente como [math] z = t + imt [/ math] para que la parte real [math] x = t [/ math] y la parte imaginaria [math] y = mt [/ math], para real [ matemáticas] t [/ matemáticas].
La pendiente de una línea en el plano complejo se puede obtener desde dos puntos, [matemática] z [/ matemática] y [matemática] w [/ matemática], y se da de manera obvia por
[matemáticas] \ dfrac {\ textrm {Im} \ {w \} – \ textrm {Im} \ {z \}} {\ textrm {Re} \ {w \} – \ textrm {Re} \ {z \} }.[/matemáticas]
Para [matemática] z = t + imt [/ matemática], los dos puntos pueden ser simplemente de [matemática] t = 0 [/ matemática] que da [matemática] z = 0 = (0,0) [/ matemática] y [matemática] t = 1 [/ matemática] dando [matemática] w = 1 + im = (1, m) [/ matemática], entonces la pendiente es [matemática] \ dfrac {m – 0} {1 – 0} = m [/ math] como se esperaba.
Es bien sabido que la multiplicación por la fase pura [matemáticas] e ^ {i \ theta} [/ matemáticas] corresponde a una rotación del plano complejo alrededor del origen del ángulo [matemáticas] \ theta. [/ Matemáticas] Esto es fácil de ver en coordenadas polares. Si comenzamos con un número complejo con magnitud [matemática] r [/ matemática] y ángulo [matemática] \ phi [/ matemática], a saber [matemática] z = re ^ {i \ phi} [/ matemática], entonces [matemática ] ze ^ {i \ theta} = re ^ {i \ phi} e ^ {i \ theta} = re ^ {i (\ phi + \ theta)} [/ math]. El resultado es el número complejo con magnitud [matemática] r [/ matemática] y ángulo [matemática] \ phi + \ theta [/ matemática]. En otras palabras, hemos rotado [matemática] z [/ matemática] por ángulo [matemática] \ theta [/ matemática] sobre el origen.
La línea perpendicular es solo una rotación de nuestra línea original por [math] 90 ^ \ circ [/ math], o [math] \ theta = \ pi / 2 [/ math]. Entonces, necesitamos multiplicar nuestra línea por [matemáticas] e ^ {i \ pi / 2}. [/ Matemáticas] Por la fórmula de Euler,
[matemáticas] e ^ {i \ pi / 2} = cos \ frac \ pi 2 + i \ sin \ frac \ pi 2 = 0 + 1i = i [/ matemáticas].
Así que hemos llegado a la conocida conclusión de que una rotación de 90 grados es equivalente en el plano complejo a una multiplicación por [matemáticas] i [/ matemáticas].
Entonces la ecuación para nuestra línea perpendicular a través del origen es
[matemáticas] z = i (t + imt) = it + i ^ 2mt = -mt + it. [/ matemáticas]
Podemos encontrar la pendiente de [math] z = -mt + it [/ math] como lo hicimos anteriormente, usando cualquiera de los dos puntos. De [matemática] t = 0 [/ matemática] obtenemos [matemática] z = 0 = (0,0) [/ matemática] y de [matemática] t = 1 [/ matemática] obtenemos [matemática] w = -m + i = (- m, 1). [/ math] La pendiente de esta línea es [math] \ dfrac {1 – 0} {- m – 0} = – \ dfrac 1 m [/ math].
Todo esto es una forma muy indirecta de llegar al hecho de que una rotación de 90 grados, la multiplicación por [matemáticas] i [/ matemáticas], es una operación muy simple. Si comenzamos desde el punto [matemática] a + ib = (a, b) [/ matemática] y multiplicamos por [matemática] i [/ matemática], obtenemos [matemática] ia + i ^ 2b = -b + ia = (-b, a) [/ matemáticas]. Simplemente hemos cambiado las coordenadas y le hemos dado a uno un signo menos. (Si hubiéramos multiplicado por [math] -i [/ math], una rotación de 90 grados en la dirección opuesta, es decir, en el sentido de las agujas del reloj, habríamos obtenido [math] (b, -a) [/ math]).
Así que ahora podemos salir de nuestro agujero numérico complejo, porque hemos extraído lo que necesitamos de él: girando el avión 90 grados en sentido antihorario alrededor del origen, solo asigna [math] (a, b) [/ math] a [math ] (- b, a) [/ math].
Ahora podemos relajar nuestra restricción de que la línea pasa por el origen. Imaginemos una línea con dos puntos [matemática] (a, b) [/ matemática] y [matemática] (c, d) [/ matemática] con pendiente [matemática] m [/ matemática]. Eso significa [matemáticas] m = \ dfrac {db} {ca} [/ matemáticas].
Obtenemos una línea perpendicular girando el plano 90 grados. Sabemos que dos puntos en nuestra línea girada son [matemática] (- b, a) [/ matemática] y [matemática] (- d, c) [/ matemática]. La pendiente de nuestra línea perpendicular es, por lo tanto, [matemática] \ dfrac {ca} {- d – (-b)} = – \ dfrac {ca} {db} = – \ dfrac 1 m [/ matemática].