Prove that ## x\equiv 1\pmod {2n} ##

  • Thread starter Thread starter Math100
  • Start date Start date
Click For Summary
SUMMARY

The discussion provides a proof demonstrating that if ## x \equiv a \pmod{n} ##, then either ## x \equiv a \pmod{2n} ## or ## x \equiv a+n \pmod{2n} ##. The proof is structured into two cases based on the parity of ## t ##, where ## t ## is defined as ## t = \frac{x - a}{n} ##. In Case #1, when ## t ## is even, it concludes that ## x \equiv a \pmod{2n} ##. In Case #2, when ## t ## is odd, it concludes that ## x \equiv a+n \pmod{2n} ##. The proof is complete and accepted without objections.

PREREQUISITES
  • Understanding of modular arithmetic, specifically congruences.
  • Familiarity with integer properties and parity (even and odd numbers).
  • Knowledge of basic algebraic manipulation involving equations.
  • Ability to work with mathematical proofs and logical reasoning.
NEXT STEPS
  • Study the properties of modular arithmetic in greater depth.
  • Explore proofs involving congruences and their applications in number theory.
  • Learn about the Chinese Remainder Theorem and its implications for modular equations.
  • Investigate the implications of modular arithmetic in cryptography and computer science.
USEFUL FOR

Mathematicians, students studying number theory, educators teaching modular arithmetic, and anyone interested in formal proofs in mathematics.

Math100
Messages
817
Reaction score
230
Homework Statement
If ## x\equiv a\pmod {n} ##, prove that either ## x\equiv a\pmod {2n} ## or ## x\equiv a+n\pmod {2n} ##.
Relevant Equations
None.
Proof:

Suppose ## x\equiv a\pmod {n} ##.
Then ## x=a+tn ## for some ## t\in\mathbb{Z} ##.
Now we consider two cases.
Case #1: Suppose ## t ## is even.
Then ## t=2m ## for some ## m\in\mathbb{Z} ##.
Observe that ## x=a+tn=a+2nm ##.
Thus ## x\equiv a\pmod {2n} ##.
Case #2: Suppose ## t ## is odd.
Then ## t=2m+1 ## for some ## t\in\mathbb{Z} ##.
Observe that ## x=a+tn=a+(2m+1)n=a+n+2mn ##.
Thus ## x\equiv a+n\pmod {2n} ##.
Therefore, if ## x\equiv a\pmod {n} ##, then either ## x\equiv a\pmod {2n} ## or ## x\equiv a+n\pmod {2n} ##.
 
  • Like
Likes   Reactions: fresh_42
Physics news on Phys.org
Math100 said:
Homework Statement:: If ## x\equiv a\pmod {n} ##, prove that either ## x\equiv a\pmod {2n} ## or ## x\equiv a+n\pmod {2n} ##.
Relevant Equations:: None.

Proof:

Suppose ## x\equiv a\pmod {n} ##.
Then ## x=a+tn ## for some ## t\in\mathbb{Z} ##.
Now we consider two cases.
Case #1: Suppose ## t ## is even.
Then ## t=2m ## for some ## m\in\mathbb{Z} ##.
Observe that ## x=a+tn=a+2nm ##.
Thus ## x\equiv a\pmod {2n} ##.
Case #2: Suppose ## t ## is odd.
Then ## t=2m+1 ## for some ## t\in\mathbb{Z} ##.
Observe that ## x=a+tn=a+(2m+1)n=a+n+2mn ##.
Thus ## x\equiv a+n\pmod {2n} ##.
Therefore, if ## x\equiv a\pmod {n} ##, then either ## x\equiv a\pmod {2n} ## or ## x\equiv a+n\pmod {2n} ##.
Yep. Nothing to add or complain about.
 
  • Like
Likes   Reactions: Math100
fresh_42 said:
Yep. Nothing to add or complain about.
You've never complained about my proof.
 
  • Love
Likes   Reactions: fresh_42

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
Replies
1
Views
1K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 6 ·
Replies
6
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K