The fact that any rational number has a unique representation as an irreducible fraction is utilized in various proofs of the irrationality of the square root of 2 and of other irrational numbers.
O feito de que calquera número racional ten unha representación única como fracción irreducible emprégase en varias probas da irracionalidade da raíz de 2 e doutros números irracionais.