Deje que la casilla sea [matemática] ABCD [/ matemática] con dimensiones [matemática] a = AB, b = BC [/ matemática], y deje que el tablero sea [matemática] PQRS [/ matemática] con dimensiones [matemática] p = PQ , q = QR [/ matemáticas]. Deje que el círculo circunscrito sobre el tablero se intersecte [matemática] AB, BC [/ matemática] nuevamente en [matemática] T, U [/ matemática]. Sea [math] d = PR = QS [/ math], [math] u = PU = ST [/ math] y [math] v = RU = QT [/ math].
Aplique el teorema de Ptolomeo a tres cuadriláteros cíclicos:
- de [matemática] RSTU [/ matemática], [matemática] pq + uv = ab [/ matemática];
- de [matemática] PURS [/ matemática], [matemática] arriba + vq = ad [/ matemática];
- de [math] TQRS [/ math], [math] vp + uq = bd [/ math].
Además, según el teorema de Pitágoras, [matemáticas] p ^ 2 + q ^ 2 = d ^ 2 = u ^ 2 + v ^ 2 [/ matemáticas]. Ahora podemos derivar una relación entre [matemáticas] a, b, p, q [/ matemáticas]:
[matemáticas] (p ^ 2 + q ^ 2) (a ^ 2 + b ^ 2 – p ^ 2 – q ^ 2) = d ^ 2 (a ^ 2 + b ^ 2 – d ^ 2) [/ matemáticas]
[matemáticas] = (arriba + vq) ^ 2 + (vp + uq) ^ 2 – d ^ 4 [/ matemáticas]
[matemáticas] = (u ^ 2 + v ^ 2) (p ^ 2 + q ^ 2) + 4pquv – d ^ 4 [/ matemáticas]
[matemáticas] = 4pquv [/ matemáticas]
[matemáticas] = 4pq (ab – pq) [/ matemáticas].
Dado [matemática] a, b, p [/ matemática], esta relación es una ecuación cuártica en [matemática] q [/ matemática]. En nuestro caso con [matemáticas] a = 60, b = 80, p = 90 [/ matemáticas], es
[matemáticas] (8100 + q ^ 2) (1900 – q ^ 2) = 360q (4800 – 90q) [/ matemáticas],
[matemáticas] 0 = q ^ 4 – 26200q ^ 2 + 1728000q – 15390000 [/ matemáticas].
- ¿Qué le falta a la axiomatización de Tarski de la geometría euclidiana?
- ¿Cómo se deriva la identidad de suma de ángulos para seno, [matemática] \ sin (\ alpha \ pm \ beta) = \ sin \ alpha \ cos \ beta \ pm \ cos \ alpha \ sin \ beta [/ math]?
- ¿Cómo se deriva la identidad de suma de ángulos para coseno, [matemática] \ cos (\ alpha \ pm \ beta) = \ cos \ alpha \ cos \ beta \ mp \ sin \ alpha \ sin \ beta [/ math]?
- ¿Por qué el producto cruzado existe solo en tres y siete dimensiones?
- ¿Hay alguna lógica en la geometría de las pinturas de ‘Composición’ de Piet Mondrian?
En principio, esto significa que podemos escribir una solución de forma cerrada para [math] q [/ math], pero sería bastante largo y feo:
[matemáticas] \ gamma = \ sqrt [3] {\ frac {4981 + 27i \ sqrt {36447}} {14}}, \ delta = 7 \ gamma + \ frac {448} {\ gamma} +131, [/ math ]
[matemáticas] q = \ frac {10} {\ sqrt 3} \ left (\ sqrt {\ frac {1296 \ sqrt {3}} {\ sqrt {\ delta}} – \ delta + 393} – \ sqrt {\ delta} \ right) [/ math].
Por lo tanto, probablemente nunca escribiríamos esto, sino que estaríamos contentos con una respuesta aproximada [matemáticas] q \ aprox. 10.6037437 [/ matemáticas]. (Descartamos las otras tres soluciones porque son negativas o enormes).