Начало см. здесь и здесь.

Кокстер Г.С.М.
Введение в геометрию.
Пер. с англ. А. Б. Катка и С. Б. Каток
под ред. Б. А. Розенфельда и И. М. Яглома.

М., Наука, 1966, cc. 206 — .

Два доказательства иррациональности √   2 "в духе греческих методов" приведены у Радемахера - Теплица здесь.