Solution pour le challenge 93
On développe :

et :

L’hypothèse devient ainsi :
![Rendered by QuickLaTeX.com \[a^{3}b^{3}+b^{3}c^{3}+c^{3}a^{3}-a^{4}bc-ab^{4}c-abc^{4}=0\]](https://math-os.com/wp-content/ql-cache/quicklatex.com-80eae56ef2030a3925cc53430d87457b_l3.png)
Et c’est là que ce n’est pas évident. Il se trouve que le membre de gauche se factorise ! On obtient la condition équivalente :
![Rendered by QuickLaTeX.com \[\left(ab-c^{2}\right)\left(bc-a^{2}\right)\left(ca-b^{2}\right)=0\]](https://math-os.com/wp-content/ql-cache/quicklatex.com-f9af5c16d39f451d6b0ec2e101ecf740_l3.png)
ce qui permet de conclure.
Pour consulter l’énoncé, c’est ici