I just watched a proof which showed that the square root of is irrational. It seemed to me that the reason it was asserted irrational was because it was reducible. Therefore, I thought, that this must mean that all rational numbers can be represented by an irreducible fraction. Is this just a part of the definition of rationality or is there a proof that such is true?
Thanks in advance.