text: Известно, что доказательство несоизмеримости стороны и диагонали квадрата, которое является основой понятия иррациональности, скорее всего принадлежит пифагорейцам, хотя впервые приведено лишь в Началах Евклида (X), происходит от противного и основано на теории делимости чисел на два.