Jump to content

Recommended Posts

Posted

Let a and b be nonzero integers. Prove that there is a

natural number m such that

(i) ajm and bjm, and

(ii) if c is an integer such that ajc and bjc, then mjc.

Proof. Let S = fn 2 N : ajn and bjng. Since ab 2 S, S 6= ;. Thus,

by the Least-Natural-Number-Principle, there is a smallest element of

S. Let m be this smallest element. Now suppose ajc and bjc. Then

c 2 S and so c m. So by the division algorithm for integers, there

exist integers p; r such that 0 r < m such that c = mq+r. Since ajm

and bjm, then ajr and bjr. If c 6= 0, then r is an element of S smaller

than m. Thus, r = 0 and mjc.

Posted

is this a math course, if so, what math are you in? I am in PDM(Precalculous and Discrete Mathematics). My teacher always said with proofs in PDM, you start the first step putting the opposite of what your trying to prove. I can ask my teacher tommorow, she will have to know. :)

Posted (edited)

yeah its a math course its called Real Analysis, its a real pain in the ass.

putting the opposite of what I want to prove first is called proof by contrapositve ,and with this question since what I have to prove is compound, it makes it messy to do it that way.

Edited by 1800bigk

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.

Guest
Reply to this topic...

×   Pasted as rich text.   Paste as plain text instead

  Only 75 emoji are allowed.

×   Your link has been automatically embedded.   Display as a link instead

×   Your previous content has been restored.   Clear editor

×   You cannot paste images directly. Upload or insert images from URL.

Loading...
×
×
  • Create New...