No estoy seguro de por qué apareció este en mi feed. Me gusta la forma del profesor Joyce para la respuesta, así que pensé que la derivaría para completarla. No comparto su afición por los subíndices, así que etiquetaré los puntos [matemáticas] (a, b), (c, d) [/ matemáticas] y [matemáticas] (e, f). [/ Matemáticas]
Nuestras incógnitas son centro [matemáticas] (p, q) [/ matemáticas] y radio al cuadrado [matemáticas] k [/ matemáticas] para una ecuación de
[matemáticas] (xp) ^ 2 + (yq) ^ 2 = k [/ matemáticas]
Cada uno de nuestros puntos está en el círculo:
[matemáticas] (ap) ^ 2 + (bq) ^ 2 = k [/ matemáticas]
[matemáticas] (cp) ^ 2 + (dq) ^ 2 = k [/ matemáticas]
[matemáticas] (ep) ^ 2 + (fq) ^ 2 = k [/ matemáticas]
[matemáticas] a ^ 2 – 2ap + p ^ 2 + b ^ 2 – 2bq + q ^ 2 = k [/ matemáticas]
[matemáticas] p ^ 2 + q ^ 2 + a ^ 2 + b ^ 2 = 2ap + 2bq + k [/ matemáticas]
[matemáticas] p ^ 2 + q ^ 2 + c ^ 2 + d ^ 2 = 2cp + 2dq + k [/ matemáticas]
La resta por pares elimina los términos cuadráticos:
[matemáticas] a ^ 2 + b ^ 2 – c ^ 2 – d ^ 2 = 2p (ac) + 2q (bd) [/ matemáticas]
[matemáticas] a ^ 2 + b ^ 2 – e ^ 2 -f ^ 2 = 2p (ae) + 2q (bf) [/ matemáticas]
Sea [math] u = \ frac 1 2 (a ^ 2 + b ^ 2 – c ^ 2 – d ^ 2) [/ math] y [math] v = \ frac 1 2 (a ^ 2 + b ^ 2 – e ^ 2 -f ^ 2) [/ matemáticas]
[matemáticas] u = p (ac) + q (bd) [/ matemáticas]
[matemáticas] u (bf) = p (ac) (bf) + q (bd) (bf) [/ matemáticas]
[matemáticas] v = p (ae) + q (bf) [/ matemáticas]
[matemáticas] v (bd) = p (ae) (bd) + q (bf) (bd) [/ matemáticas]
[matemáticas] u (bf) – v (bd) = p ((ac) (bf) – (ae) (bd)) [/ matemáticas]
Sea [math] w = (ac) (bf) – (ae) (bd) [/ math]
[matemáticas] p = \ dfrac {u (bf) – v (bd)} {w} [/ matemáticas]
[matemáticas] u (ae) = p (ac) (ae) + q (bd) (ae) [/ matemáticas]
[matemáticas] v (ac) = p (ae) (ac) + q (bf) (ac) [/ matemáticas]
[matemáticas] u (ae) – v (ac) = q ((bd) (ae) – (bf) (ac)) = -qw [/ math]
[matemáticas] q = \ dfrac {v (ac) – u (ae)} {w} [/ matemáticas]
Encontramos el centro, pero necesitamos determinar [matemáticas] k. [/ Matemáticas]
[matemáticas] k = (ap) ^ 2 + (bq) ^ 2 [/ matemáticas]
El círculo que contiene los puntos [matemática] (a, b), (c, d) [/ matemática] y [matemática] (e, f) [/ matemática] se determina así:
[matemáticas] u = \ frac 1 2 (a ^ 2 + b ^ 2 – c ^ 2 – d ^ 2) [/ matemáticas]
[matemáticas] v = \ frac 1 2 (a ^ 2 + b ^ 2 – e ^ 2 -f ^ 2) [/ matemáticas]
[matemáticas] w = (ac) (bf) – (ae) (bd) [/ matemáticas]
[matemáticas] p = \ dfrac {u (bf) – v (bd)} {w} [/ matemáticas]
[matemáticas] q = \ dfrac {v (ac) – u (ae)} {w} [/ matemáticas]
[matemáticas] k = (ap) ^ 2 + (bq) ^ 2 [/ matemáticas]
[matemáticas] (xp) ^ 2 + (yq) ^ 2 = k [/ matemáticas]
Parece que coincide con la respuesta del profesor Joyce. Expandamos [matemáticas] p, q, k [/ matemáticas].
[matemáticas] \ left (x – \ dfrac {u (bf) – v (bd)} {w} \ right) ^ 2 + \ left (y- \ dfrac {v (ac) – u (ae)} {w } \ right) ^ 2 = \ left (a- \ dfrac {u (bf) – v (bd)} {w} \ right) ^ 2 + \ left (b- \ dfrac {v (ac) – u (ae )} {w} \ right) ^ 2 [/ math]
Expandamos [matemáticas] u, v, w. [/ Matemáticas]
[matemática] \ left (x- \ dfrac {\ frac 1 2 (a ^ 2 + b ^ 2 – c ^ 2 – d ^ 2) (bf) – \ frac 1 2 (a ^ 2 + b ^ 2 – e ^ 2 -f ^ 2) (bd)} {(ac) (bf) – (ae) (bd)} \ right) ^ 2 + \ left (y- \ dfrac {\ frac 1 2 (a ^ 2 + b ^ 2 – e ^ 2 -f ^ 2) (ac) – \ frac 1 2 (a ^ 2 + b ^ 2 – c ^ 2 – d ^ 2) (ae)} {(ac) (bf) – (ae ) (bd)} \ right) ^ 2 = \ left (a- \ dfrac {\ frac 1 2 (a ^ 2 + b ^ 2 – c ^ 2 – d ^ 2) (bf) – \ frac 1 2 (a ^ 2 + b ^ 2 – e ^ 2 -f ^ 2) (bd)} {(ac) (bf) – (ae) (bd)} \ right) ^ 2 + \ left (b- \ dfrac {\ frac 1 2 (a ^ 2 + b ^ 2 – e ^ 2 -f ^ 2) (ac) – \ frac 1 2 (a ^ 2 + b ^ 2 – c ^ 2 – d ^ 2) (ae)} {( ac) (bf) – (ae) (bd)} \ right) ^ 2 [/ math]
Yikes