a2=4 R ma

 

Sean R el radio de la circunferencia circunscrita a un triángulo, a un lado, y ma la mediana correspondiente al lado a. Si el triángulo es rectángulo en A (el ángulo opuesto al lado a), entonces se cumple la relación a2=4 R ma. ¿Para qué otros triángulos se cumple esta relación?
Propuesto por Juan Bosco Romero Márquez

 

Solución:

Usaremos Mathematica para efectuar los cálculos y al final incluiremos un applet de CabriJava con la solución. El código fuente de Mathematica puede descargarse aquí.

Comenzamos por escribir fórmulas para el semiperímetro s, el área S, el radio R de la circunferencia circunscrita y la mediana ma correspondiente al lado a.

s = (a + b + c)/2 ;

S = (s (s - a) (s - b) (s - c))^(1/2) ;

R = (a b c)/(4 S) ;

ma = 1/2 (2b^2 + 2c^2 - a^2)^(1/2) ;

Ahora usamos la función Factor para expresar de una forma conveniente la expresión del enunciado.

Factor[a^4 - 16 R^2 ma^2]

(a^2 (a^2 - b^2 - c^2) (a^4 - a^2 b^2 - a^2 c^2 - 8 b^2 c^2))/((a - b - c) (a + b - c) (a - b + c) (a + b + c))

Vemos que, efectivamente, si el triángulo es rectángulo en A, la fórmula es cierta.

Para hallar los triángulos que anulan el otro factor del numerador, consideramos que nuestro triángulo tiene su vértice B en el origen de coordenadas, el vértice C en el eje de abscisas y el vértice A en un punto variable (x,y). Realmente la única limitación que hemos impuesto es a=1, aunque dicha limitación será fácil de salvar.

a2 = 1 ;
b2 = (x - 1)^2 + y^2 ;
c2 = x^2 + y^2 ;

Factor[a2^2 - a2 (b2 + c2) - 8 b2 c2]

-2 (-x + 5 x^2 - 8 x^3 + 4 x^4 + 5 y^2 - 8 x y^2 + 8 x^2 y^2 + 4 y^4)

Para representar esta curva, en la que x e y aparecen relacionadas de forma implícita, usamos ImplicitPlot:

<<Graphics`ImplicitPlot` ;

curva = ImplicitPlot[-x + 5 x^2 - 8 x^3 + 4 x^4 + 5 y^2 - 8 x y^2 + 8 x^2 y^2 + 4 y^4 == 0, {x, 0, 1}, {y, -0.5, 0.5}, AspectRatioAutomatic] ;

[Graphics:HTMLFiles/index_14.gif]

Show[curva, Graphics[Line[{{0, 0}, {1, 0}}]]]

[Graphics:HTMLFiles/index_16.gif]

Para conseguir esta figura con Cabri Géomètre expresamos y en función de x de manera explicita:

Solve[-x + 5 x^2 - 8 x^3 + 4 x^4 + 5 y^2 - 8 x y^2 + 8 x^2 y^2 + 4 y^4 == 0, y]

{{y -(-5 + 8 x - 8 x^2 - (25 - 64 x + 64 x^2)^(1/2))^(1/2)/(2 2^(1/2))}, {y ... x + 64 x^2)^(1/2))^(1/2)}, {y (-5/8 + x - x^2 + 1/8 (25 - 64 x + 64 x^2)^(1/2))^(1/2)}}

La expresión que nos sirve es la última de las cuatro, que tal como se la tenemos que introducir a Cabri es:

sqrt(-(5/8) + a - a^2 + (1/8)*sqrt(25 - 64*a + 64*a^2))

(recordemos que la Calculadora de Cabri comienza a nombrar las variables como a, b, c, ...