3 ms·
> According to the proof the fractions are in Q not R. That's a circular argument. During the proof this is not given, only after the proof.
by vog 11y ago
> According to the proof the fractions are in Q not R.
That's a circular argument. During the proof this is not given, only after the proof.
- contravariant 11y agoDuring the proof it is assumed, this assumption leads to a contradiction, hence the assumption 'sqrt(m) is in Q' is false. The reason this is not a circular argument is that they don't assume the thing they're trying to prove, but rather it's negation.
- vog 11y agoYou are right. My bad.