Esta demostración, atribuida al matemático alemán Theodor Estermann, utiliza el método de reducción al absurdo para llegar a la conclusión de que la raíz cuadrada de dos es un número irracional, es decir, de que dicha raíz no es cociente de números enteros.
