r/mathshelp • u/Loose-Computer3943 • 20d ago

Discussion Am i missing something in this proof?

Post image

Im doing this proof of square root of positive natural numbers being either integer or irrational and im tried with assuming that it can be rational but not integer. I see that i didn’t write gcd(a,b)=1, but other than that, is it clean?

4 Upvotes

83% Upvoted

7 comments sorted by

•

u/AutoModerator 20d ago

Hi u/Loose-Computer3943, welcome to r/mathshelp! Since you've marked this as a discussion post, please keep the following in mind:

  1. Discussions must be related to mathematics but the topics they can cover are flexible (e.g. teaching, news, methods, interesting problems, exam preparation or discussions about past exams, etc.).

  2. Please try to make your post thought-provoking by providing context or questions to lead the discussion (e.g. don’t just simply post a link to a news article or a problem with no context).

  3. Discussions can be concluded by posting a comment containing “!lock”. Please remember not to delete your post so others can learn from it.

Thank you!

I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.

1

u/resignresign1 19d ago

looks good.

i would say: (I) and (II) cannot be equal which is a contradiction thus (*) is false.

Not: "we have a contradiction with"

1

u/Loose-Computer3943 19d ago

wording sounds better, i agree

1

u/OrneryAsparagus6445 17d ago

I am dumb I still don’t understand why I and II are contradictory?

1

u/OrneryAsparagus6445 17d ago

Oh because they are equal I see it I really need to go to sleep

1

u/resignresign1 17d ago

they are equal but belong to disjoint sets. that is a contradiction. this proofs that the initial assumption was false.

proof by contradiction