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.