Number Theory: Proving Statements with Verbal Arguments

  • Thread starter dodo
  • Start date
In summary: After all, formal proofs can be quite daunting at first.In summary, demonstrations in number theory that rely on verbal arguments, rather than a more algebraic proof involving notation, are more appealing to me. I hope this is just my fault. Opinions on this matter are welcome.
  • #1
dodo
697
2
I increasingly find demonstrations in number theory that rely on verbal arguments, rather than a more algebraic proof involving notation. (I hope this is just my fault.)

For example, consider this simple statement,
"If n divides a.b but does not divide a or b individually, then n is composite and can be expressed as n = r.s, where r|a and s|b."

In order to prove it, I have to proceed like this: a prime factor in n must appear in either a or b; were n prime, if would divide either a or b. Thus it is composite, and made of prime factors coming from either a or b." Sort of.

Is there a way of not having to talk? Some formalism for this? (I hope so.) Otherwise I'd find number theory a bit lacking. Opinions welcome.
 
Physics news on Phys.org
  • #2
"If n divides a.b but does not divide a or b individually, then n is composite and can be expressed as n = r.s, where r|a and s|b."
[tex] (n|a.b \wedge (\neg(n|a\vee n|b)))\rightarrow (n=r.s \wedge r|a \wedge r|b) [/tex]
 
  • #3
That's cool. Now what about the proof. :)

"And"s and "or"s are easy, but I find difficulty formalizing ideas around factorization. Maybe some abstract algebra (or a lot of it) should be taught before the number theory courses.

But my question is, after you've learned groups, UFDs, etc etc, (which is not my case yet), can proofs like the above be expressed in a less ambiguous format?
 
  • #5
Dodo said:
That's cool. Now what about the proof. :)

I was hoping you wouldn't ask. The proof is going to be a bit longer...

a prime factor in n must appear in either a or b; were n prime, if would divide either a or b. Thus it is composite, and made of prime factors coming from either a or b.
[tex] ((k|n \wedge k \neq r.s)\rightarrow (k|a \vee k|b))\wedge ((n=r.s \wedge n \neq r.s) \equiv \bot) \wedge (\neg(n|a \vee n|b) \rightarrow n=r.s)) \wedge (n|a.b \wedge \neg(n|a \vee n|b)) \rightarrow (n=r.s \wedge r|a \wedge r|b) [/tex]

I'm sure I made a mistake somewhere :blushing:, can't really concentrate for long. But something like this has no words.
 
  • #6
Thanks for the effort :)
I did not follow your expression in detail, but I think I can grasp a point from it: you'd express the condition of being prime or composite, by the existence (or not) of a divisor. (The divisor should not be 1 or the number itself, though.)

It's still too cumbersome. Nobody would move an inch to communicate with another human being if s/he had to go through that. It's not that all words had to be eliminated; but I still miss some formalism to specifically speak about the list of prime factors of a number. Maybe I'm being too subjective, so maybe it's better to let the subject rest.
 
  • #7
Metamath ( http://us.metamath.org/ ) may be along the lines you're thinking: a formalization of large chunks of mathematics. Mizar is similar, though I don't know as much about it.
 
  • #8
Well the thing I love about elementary number theory is that it lends itself to intuitive understanding. But I haven't seen many proofs that are entirely verbal and without notation. In a sense an elementary proof may not be "formal" in notation but if it appeals to intuition then it's fine by me.

"If n divides a.b but does not divide a or b individually, then n is composite and can be expressed as n = r.s, where r|a and s|b."

Suppose n is prime. Then by Euclid's lemma, [tex] n|ab \Rightarrow n|a [/tex] or [tex] n|b [/tex] . But we claimed that n does not divide a or b individually. Hence, n is composite.

Euclid's lemma can be proved but it is so intuitively clear. Similarly, the fact that n can be decomposed into two parts such that one divides a and the other divides b also appeals to intuition. Personally, I prefer starting out with problems and proofs like these before getting formal.
 

FAQ: Number Theory: Proving Statements with Verbal Arguments

What is number theory?

Number theory is a branch of mathematics that deals with the properties and relationships of numbers, particularly integers. It involves studying patterns and structures within numbers and using mathematical proofs to understand and explain them.

What is the importance of proving statements in number theory?

Proving statements in number theory allows us to establish the validity of mathematical concepts and theories. It also helps us to gain a deeper understanding of the properties and relationships of numbers, which can then be applied in other fields of mathematics and real-life situations.

How do verbal arguments play a role in proving statements in number theory?

Verbal arguments are an important tool in proving statements in number theory because they allow us to explain and justify mathematical concepts and theories in a clear and logical manner. They help us to identify patterns and relationships between numbers, and to provide evidence for our conclusions.

What are some common techniques used in proving statements in number theory?

Some common techniques used in proving statements in number theory include mathematical induction, proof by contradiction, and proof by cases. These techniques involve logical reasoning, deduction, and the use of mathematical equations and symbols to demonstrate the validity of a statement.

Can anyone understand and apply number theory concepts?

Yes, anyone can understand and apply number theory concepts if they have a basic understanding of mathematics and are willing to learn and practice. While some concepts may be more complex and require advanced mathematical knowledge, many number theory concepts can be explained and understood using everyday language and examples.

Similar threads

Back
Top