Complete o círculo deste semicírculo e seja
[tex3]S[/tex3] o seu "polo sul", o seu ponto mais baixo (o ponto que está na mediatriz de
[tex3]AB[/tex3] mas no semiplano de
[tex3]AB[/tex3] que não contém
[tex3]M[/tex3]).
Por homotetia/lema da estrela da morte, sabemos que
[tex3]M,P[/tex3] e
[tex3]S[/tex3] são colineares bem como
[tex3]N,Q[/tex3] e
[tex3]S[/tex3]. Logo,
[tex3]\angle PSQ = 45^{\circ}[/tex3].
Pois bem. Lei dos cossenos no
[tex3]\triangle APS[/tex3]:
[tex3]PS^2 = a^2 + 2R^2 - 2R\sqrt 2 a \cos (45^{\circ}) = a^2 - 2aR + 2R^2 = a^2 + 2R(R-a) = \\ = a^2 + \frac{(a+b+c)(b+c-a)}2[/tex3]
Analogamente
[tex3]QS^2 = c^2 + 2R^2 - 2cR = c^2+ \frac{(a+b+c)(a+b-c)}2[/tex3]
Por fim, lei dos cossenos no
[tex3]\triangle PQS[/tex3]:
[tex3]b^2 = c^2+2R^2-2cR + a^2 + 2R^2 - 2aR - \sqrt 2 PS \cdot QS \iff \\ \iff \sqrt 2 PS \cdot QS = c^2 + a^2 - b^2 + 4R^2 -(a+c)(a+b+c) = \\ = c^2+a^2 - b^2 + 4R^2 - (a^2+c^2+2ac) - b(a+c) = 4R^2 - (b^2 +2ac + ba +bc)= \\ = a^2+c^2 +ab +bc[/tex3]
Elevando tudo ao quadrado:
[tex3]2( a^2 + \frac{(a+b+c)(b+c-a)}2)( c^2+ \frac{(a+b+c)(a+b-c)}2) = a^4+c^4+2a^2c^2 +2(a^2+c^2)(ab+bc) + b^2(a^2+c^2+2ac)[/tex3]
[tex3](2 a^2 + (a+b+c)(b+c-a))( 2c^2+ (a+b+c)(a+b-c)) = 2a^4+2c^4+4a^2c^2 +4(a^2+c^2)(ab+bc) + 2b^2(a^2+c^2+2ac)[/tex3] (*)
o lado esquerdo:
[tex3]2a^2 + (b+c)^2 - a^2 = a^2 + b^2 + c^2 + 2bc[/tex3]
teremos
[tex3](a^2+b^2+c^2+2bc)(a^2+b^2+c^2+2ab) = (a^2+b^2+c^2)^2 +2b(a+c)(a^2+b^2+c^2) + 4b^2ac[/tex3]
[tex3]a^4+b^4+c^4 + 2(a^2b^2+b^2c^2+a^2c^2) + 4b^2ac + 2b(a^3+ab^2+ac^2+ca^2+cb^2+c^3)[/tex3]
agora comecemos o cancelamento da igualdade (*)
[tex3]b^4 = a^4 + c^4+2a^2c^2 + 4(a^2+c^2)b(a+c) - 2b(a^3+ab^2+ac^2+ca^2+cb^2+c^3) [/tex3]
[tex3]b^4 = a^4 + c^4+2a^2c^2 + 2b[2(a^2+c^2)(a+c) - (a^3+ab^2+ac^2+ca^2+cb^2+c^3)] [/tex3]
[tex3]b^4 = a^4 + c^4+2a^2c^2 + 2b[a^3+a^2c+c^2a+c^3 -ab^2-cb^2] [/tex3]
[tex3]b^4 +2ab^3+2cb^3= a^4 + c^4+2a^2c^2 + 2b[a^3+a^2c+c^2a+c^3] [/tex3]
[tex3]b^4 +2b^3(a+c) -2b(a^3+a^2c+c^2a+c^3) = (a^2+c^2)^2[/tex3]
A única raíz positiva dessa equação do quarto grau é
[tex3]b = \sqrt{a^2+c^2}[/tex3], basta testar as alternativas (
wolfram).
Será que há um caminho mais inteligente?
φως εσύ και καρδιά μου εγώ πόσο σ' αγαπώ.