Si a+b>ca+b>c, entonces podemos dibujar círculos de radio aa bb sobre los extremos del segmento ¯AB¯¯¯¯¯¯¯¯AB de la longitud de la cc, y estos círculos se reúnen en distintos puntos de CCC′C′. El círculo en torno a MM, el punto medio ¯AB¯¯¯¯¯¯¯¯AB, con un radio de m:=12√2(a2+b2)−c2m:=12√2(a2+b2)−c2, cumple con los puntos, así. Por lo tanto, ↔CC′←−→CC′ es una secante común de la línea, y por lo tanto también el común "radical eje" o "power line", de los círculos. (Al a+b=ca+b=c, podemos reemplazar el "común de la secante de la línea" con la "tangente común a la línea".) Esto nos permite caracterizar la longitud de mm así:
El círculo coaxal con ◯A◯A◯B◯B, centrado en el punto medio de la ¯AB¯¯¯¯¯¯¯¯AB, tiene radio de mm.
![enter image description here]()
(El diagrama ilustra la propiedad de que, para cualquier punto de PP sobre el eje radical de una pareja (o familia) de los círculos, la tangente segmentos de PP a cada uno de esos círculos son todos congruentes.)
Como resulta, la misma descripción tiene por a+b<ca+b<c.
![enter image description here]()
He aquí una rápida prueba de coordenadas (válido si aa, bb, cc hacer un triángulo o no) que aprovecha una conveniente propiedad de radicales eje de ecuaciones.
Tomar A=(−c/2,0)A=(−c/2,0), B=(c/2,0)B=(c/2,0), M=(0,0)M=(0,0). Entonces las ecuaciones de los círculos que se
◯Un:(x+c2)2+y2=a2◯B:(x−c2)2+y2=b2◯C:x2+y2=m2◯Un:(x+c2)2+y2=a2◯B:(x−c2)2+y2=b2◯C:x2+y2=m2
Ahora, la ecuación del eje radical de dos circunferencias es obtenido por la eliminación de la x2x2 (e y2y2) de los términos de las ecuaciones de los círculos. Con nuestras ecuaciones, una simple resta:
radical axis of %#%#% and %#%#%:◯A−◯B→−2cx=a2−b2radical axis of %#%#% and %#%#%:◯A−◯M→−2cx=a2−m2−c24radical axis of %#%#% and %#%#%:◯B−◯M→−cx=b2−m2−c24
Estos tres (vertical) de las líneas coinciden precisamente cuando
◯A$
◯B