Настоящее - это то, которое имел в виду сам Ферма (пусть даже ошибочное), а не то, которое получилось в итоге. Например вот такое:
Задача: Доказать иррациональность кубического корня из двух.
Доказательство: Если 2 = (m/n)^3, то n^3 + n^3 = m^3, что противоречит великой теореме Ферма.
...В комментариях к источнику заметили, что это изумительное доказательство можно уместить на полях. Это конечно шутка (квадратный корень тоже иррационален, однако великой теореме не противоречит, плюс МОЖНО уместить на полях), но наверное существовала и реальная идея, пришедшая Ферма в голову. Если что-то знаете про попытки ее реконструировать, поделитесь!