Esta inconmensurabilidad se trata en los Elementos de Euclides, Libro X, Proposición 9.