По следам далекого прошлого

Феодор из Кирены доказал, что $\sqrt 3,\sqrt 5,\ldots,\sqrt{17}$ — иррациональные числа. Мы реконструируем доказательство Феодора.