Trying to do a non-rigorous direct proof

  • Context: Graduate 
  • Thread starter Thread starter ull
  • Start date Start date
  • Tags Tags
    Direct proof Proof
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
4 replies · 2K views
ull
Messages
6
Reaction score
0
Statements:
x is an integer
x is a prime number if x doesn't consist of any prime factors ≤√x

Proof:
Since (√x + 1) * (√x + 1) > √x * √x
x must be a prime

Questions:

Whould you consider this a non-rigorous direct proof?
If not, what does it lack?
Is this a good approach trying to prove it?

The proof was meant to be like this:

Since √(x + 1) * √(x + 1) > √x * √x
x must be a prime
 
Last edited:
Mathematics news on Phys.org
Recall that every integer >1 has a (unique) prime factorization. Now, suppose that ##x## is not prime, and further has no prime factor ##p_1 \leq \sqrt{x}## (so that ##p_1 > \sqrt{x}##); then ##x## has factorization ##x = p_1?##. What possible values can ##?## take? (Hint: what happens if ##? > \sqrt{x}##)
 
  • Like
Likes   Reactions: 1 person
Please don't post any more clues just jet I am trying to figure it out it :):)
I don't know if this translates very well, but: "I´m going to sleep on it " ;)
 
Last edited:
I know you said no more hints, but this hint is just too useful not to suggest.

Hint: write the smallest divisor (not counting 1 of course) as ##\sqrt{x} + ε##.

Hmm, I wonder if this counts as a direct proof, probably not.
 
  • Like
Likes   Reactions: 1 person
It is always a good idea to start with a proper statement of what it is you are trying to prove.

"For all positive integer x, if x has no prime factors less than or equal to its square root then x is prime"

One problem with this formulation is that it is false. The positive integer 1 is a counter-example.
 
  • Like
Likes   Reactions: 1 person