Can b be an integer if it does not divide k for every natural number k?

Click For Summary
SUMMARY

The discussion centers on proving by contradiction that if an integer b does not divide every natural number k, then b must equal 0. The initial assumption is that b is not equal to 0, leading to the conclusion that there exists a natural number k such that b does not divide k. The ambiguity in the statement "b does not divide k for every natural number k" is clarified to mean that there exists at least one natural number k that b does not divide. The proof hinges on analyzing the case where k equals 2b.

PREREQUISITES
  • Understanding of proof by contradiction
  • Familiarity with integer properties
  • Knowledge of divisibility rules in number theory
  • Basic comprehension of natural numbers
NEXT STEPS
  • Study the principles of proof by contradiction in mathematical logic
  • Explore integer divisibility and its implications in number theory
  • Investigate examples of divisibility with specific integers
  • Learn about the properties of natural numbers and their relationships with integers
USEFUL FOR

This discussion is beneficial for mathematics students, particularly those studying number theory, as well as educators looking for examples of proof techniques and divisibility concepts.

pjgrah01
Messages
1
Reaction score
0

Homework Statement



Prove by contradiction that if b is an integer such that b does not divide k for every natural number k, then b=0.

Homework Equations

The Attempt at a Solution


I know that proof by contradiction begins by assuming the false statement: If b is an integer such that b does not divide k for every kεℕ, then b≠0, which is equivalent to "there exists an integer b such that b does not divide k and b≠0, for every kεℕ. But I'm not sure how to proceed from here.
 
Physics news on Phys.org
pjgrah01 said:
I know that proof by contradiction begins by assuming the false statement: If b is an integer such that b does not divide k for every kεℕ, then b≠0
That is not the opposite statement.
"If a pen is green, then it is my pen" is wrong, but "if a pen is green, then it is not my pen" is also wrong (because I own some green pens, but not all).
 
Also "b does not divide k for every natural number k" is itself ambiguous. It could be read as "b does not divide any natural number" but here, I think, is intended to say "there exist a natural number, k, that b does not divide". The "contradiction" would just be "there exist b, not equal to 0, such that b does not divide any natural number, k." Given that, what can you say about k= 2b?
 

Similar threads

Replies
12
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 16 ·
Replies
16
Views
2K
Replies
4
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K