Estoy seguro de que otra respuesta va a resolver el álgebra. Intentemos sondear más profundo.
Digamos que teníamos tres puntos en una línea, y llamemos a las distancias firmadas entre pares de puntos [matemáticas] a [/ matemáticas], [matemáticas] b [/ matemáticas] y [matemáticas] c [/ matemáticas]. Sabemos que [matemáticas] | a | + | b | = | c | [/ matemáticas] o [matemáticas] | b | + | c | = | a | [/ matemáticas] o [matemáticas] | a | + | c | = | b | [/ math], pero no sabemos cuál. ¿Hay algún tipo de relación algebraica entre [matemáticas] a, b [/ matemáticas] y [matemáticas] c [/ matemáticas]? ¿Uno sin valores absolutos y raíces cuadradas?
Sea lo que sea, será simétrico en [matemáticas] a, b [/ matemáticas] y [matemáticas] c [/ matemáticas], como su expresión.
Comencemos con una de las posibilidades:
- Cómo encontrar [matemáticas] (- \ sqrt {3} + i) ^ 6 [/ matemáticas]
- ¿Cuál es la diferencia entre división larga y división corta?
- Cómo simplificar [matemáticas] e ^ {i \ frac {2 \ pi} {3}} [/ matemáticas] a la forma [matemáticas] a + bi [/ matemáticas]
- ¿Cuándo es posible que la raíz cuadrada de un número sea solo una solución positiva?
- Usando una cadena de bloques, si A transfiere X a B, ¿cómo sé que A ya no posee X? ¿Busco hacia atrás en la cadena para encontrar al dueño más reciente de X?
[matemáticas] | a | + | b | = | c | [/ matemáticas]
Cuadratura
[matemáticas] a ^ 2 + b ^ 2 +2 | a || b | = c ^ 2 [/ matemáticas]
[matemáticas] c ^ 2 – (a ^ 2 + b ^ 2) = 2 | a || b | [/ matemáticas]
Cuadrando de nuevo
[matemáticas] (c ^ 2 – (a ^ 2 + b ^ 2)) ^ 2 = (2 | a || b |) ^ 2 [/ matemáticas]
[matemáticas] c ^ 4 + (a ^ 2 + b ^ 2) ^ 2 -2c ^ 2 (a ^ 2 + b ^ 2) = 4a ^ 2b ^ 2 [/ matemáticas]
[matemáticas] c ^ 4 + a ^ 4 + b ^ 4 + 2a ^ 2b ^ 2 – 2a ^ 2c ^ 2 -2c ^ 2 b ^ 2 = 4a ^ 2b ^ 2 [/ matemáticas]
[matemáticas] Z (a, b, c) = 2 (a ^ 2b ^ 2 + a ^ 2c ^ 2 + b ^ 2c ^ 2) – (a ^ 4 + b ^ 4 + c ^ 4) = 0 [/ matemáticas]
[matemática] Z (a, b, c) = 0 [/ matemática] es la fórmula puramente algebraica que nos dice cuándo tres distancias con signo provienen de tres puntos colineales, es decir, la suma de los valores absolutos de dos suma el valor absoluto del tercero. Es muy simétrico.
Podemos relacionar eso con la fórmula de Heron para el área de un triángulo [matemática] A [/ matemática] dados los lados [matemática] a, b, [/ matemática] y [matemática] c [/ matemática]. La formulación habitual es en términos del semiperímetro [matemáticas] s = (a + b + c) / 2 [/ matemáticas]; luego [math] A = \ sqrt {s (sa) (sb) (sc)} [/ math]. Un poco de álgebra produce:
[matemáticas] 16A ^ 2 = (- a + b + c) (a-b + c) (a + bc) (a + b + c) [/ matemáticas]
Si multiplica la expresión simétrica a la derecha, notará que es [matemática] Z (a, b, c). [/ Matemática] Esto tiene sentido: obtenemos un triángulo degenerado de tres puntos colineales cuando el área es cero
¿Qué tiene que ver eso con el problema original? Bueno, no es demasiado difícil ver que si multiplicamos lo que queremos factorizar por la cantidad [matemática] (a + b + c) [/ matemática], obtenemos [matemática] -Z (a, b, c) [/matemáticas]. Entonces nuestra factorización debe ser [matemática] – (- a + b + c) (a-b + c) (a + bc). [/ Matemática]
Referencia: la serie de YouTube de Norman Wildberger sobre Fundamentos matemáticos