Iniciante
Podemos fatorar a expressão como
e ficamos com
. Fazendo
e
, devemos achar os possíveis valores de
, sabendo que
e
tem a mesma paridade e que
. Podemos supor sem perda de generalidade
e
inteiros positivos e assim temos
possíveis pares
:
e as duplas invertidas
Tais duplas gerarão todas as possibilidades de
. Agora é só testar.
Intermediário
Não podemos esquecer a importante fatoração . Usando isso no problema dado temos
Também temos
Interessante, agora fizemos surgir o fator nas duas equações, que provavelmente é um bom sinal, mas esses fatores
são um pouco incovenientes, então iremos retirá-los. Para tanto, devemos multiplicar a equação
por
para que apareça
e assim ficamos com
Por fim, somando e
temos que
e assim concluímos o problema.
Avançado
Para provar esse clássico resultado usaremos a notação para a área de um triangulo qualquer
. façamos primeiro a ida, ou seja, supomos que as três cevianas concorrem num ponto
e daí concluímos a relação do enunciado.
Usaremos o tempo todo o famoso método K, que afirma que as áreas de dois triângulos de mesma altura são proporcionais às medidas de suas bases. Assim, na figura dada:
.
A partir daí obtemos resultados análogos para as outras frações e
. por fim multiplicamos tudo e vemos que todas as áreas irão se cancelar deixando como resultado:
Como queríamos!
Para provar a volta usaremos a ida. Suponha que os três pontos satisfazem a relação do enunciado, mas as cevianas
e
não concorrem. Seja O a interseção de
e
e seja
a interseção de
com o lado
. Do que provamos logo acima, temos que
Juntando essa informação com a que assumimos no inicio de que obtemos que
e como
e
estão no interior do lado AC só podemos ter
que implica que
e
concorrem em
que contradiz o que assumimos no início. Logo, o que supomos no início é falsoe a relação dada no enunciado de fato implica que
e
concorrem, como queríamos demonstrar.