Пифагоровой тройкой называется такой набор из трех целых чисел, что сумма квадратов двух из них равна квадрату третьего числа. Евклид сумел доказать, что существует бесконечно много таких пифагоровых троек.

Предложенное Евклидом доказательство начинается с наблюдения: разность квадратов последовательных целых чисел всегда равна какому-нибудь нечетному числу:

Прибавив каждое из бесконечного множества нечетных чисел к соответствующему квадрату, мы получим другой квадрат. Некоторые нечетные числа, составляющие часть всех нечетных чисел, сами являются квадратами (например, 32, 52, 72 и т. д.). Следовательно, существует бесконечно много нечетных квадратов, которые можно прибавить к квадрату и получить другой квадрат. Иначе говоря, существует бесконечно много пифагоровых троек.