Или о забивании гвоздей микроскопом.
Задача: Доказать иррациональность кубического корня из двух.
Доказательство: Если 2 = (m/n)3, то n3 + n3 = m3, что противоречит великой теореме Ферма.
Одним ударом и по самую шляпку. В комментариях к источнику заметили, что это изумительное доказательство можно уместить на полях.
Источник:
@johncarlosbaez.
Для экономии на комментариях: если 2 = (m/n)3, то 2n3 = m3, но степень двойки в разложении на простые сомножители 2n3 не делится на три, а в разложении m3 - делится, что противоречит основной теореме арифметики.