On peut traçer le graphe f(n) = n² – 24n + 144 pour avoir une idée. Si on aurait voulu prouver que c'était vrai, on aurait pu le faire par récurrence, par exemple.
Mais ici, on voit sur le graphe qu'en n=12, f(n)=0. On dirait donc que c'est faux. Pour prouver que c'est faux, il suffit d'avoir un contre-exemple.
On regarde ce que cela donne avec l'équation (on remplace n par 12) :
(12)² – 24*(12) + 144 = 12² - 2*12*(12) + 12² = 0.
Anatole a donc tort.