Vamos provar que, se \(k\) é um número inteiro, então \(\gcd(k, k+1) = 1\), isto é, quaisquer dois inteiros consecutivos são coprimos.
Vamos provar que, para maximizar \(ab\) com \(a + b\) igual a um valor constante \(k\), temos de tomar \(a = b = \frac{k}{2}\).
Vou provar que, se um conjunto tiver \(n\) elements, então esse conjunto tem exatamente \(2^n\) subconjuntos.
Vamos provar que existem dois números irracionais, sejam eles \(a\) e \(b\), tais que \(a^b\) é um número racional! E vamos fazê-lo num tweet.