Este também é interessante:
Provar que qualquer número a é igual a um número menor b:
Sejam a, b, c quaisquer números tais que
a = b + c
então, multiplicando os dois lados por a – b, obtemos
a (a – b) = (b + c)(a – b)
a^2 -ab = ba – b^2 + ca – cb
passemos ac para o lado esquerdo,
a^2 – ab -ac = ab – b^2 – bc
factorizar,
a(a – b – c) = b(a – b – c)
dividindo ambos os lados por a – b – c obtemos
a = b
e esta?