Пусть дан круг радиуса R. Его площадь S=p*R2. Пусть R=1, S=p. Т.к. площадь квадрата равна 1, получим уравнение: x=p1/2. Надо показать, что не $ поля Fk: pÎ Fk. Это можно доказать используя утверждение о том, что циркулем и линейкой нельзя строить трансцендентные числа. Доказательство трансцендентности p тут не приводится. Оно было дано Эрмитом и усовершенствовано Линдерманом.