Proof Practice

  • #1
Could anyone recommend some books or exercises to practice proofs? Or even post some theorems to prove?
Thanks in advance,
Ajay
 

Answers and Replies

  • #2
WWGD
Science Advisor
Gold Member
2019 Award
5,410
3,484
I am not sure of what you are looking for, but most elementary books contain proofs, and contain theorems. Look for some theorem that interests you, try to prove it and if you're stuck, just post it here and we'll gladly help.
 
  • Like
Likes UncertaintyAjay
  • #3
Also, if you scroll through the Calculus and beyond section you might find some exercises to try to prove.

Or.. you might prove that there are no positive integers ##a,b,## and ##c## such that for ##n \geq 3##

$$a^n + b^n = c^n$$.
:-p
 
  • #5
S.G. Janssens
Science Advisor
Education Advisor
929
702
Or even post some theorems to prove?
What field of mathematics and what level are you interested in?
 
  • #6
I'll be headed to university this fall. I am familiar with calculus, really basic number theory, geometry, algebra etc.
 
  • #7
I'll be headed to university this fall. I am familiar with calculus, really basic number theory, geometry, algebra etc.
You might start by trying to prove some statements about parity. Like an odd number times an odd number is always odd. Even number times anything is always even. Those are pretty straight forward. If you feel you already feel comfortable with those. Then really you should just find a good introductory proofs book, and begin familiarizing yourself with basic proof strategies.
 
  • #8
Yeah, I've done those. I am also familiar with a few proof strategies like induction and proof by contradiction but concepts are a bit hazy. Any recommendations for books?
 
  • #9
S.G. Janssens
Science Advisor
Education Advisor
929
702
I'll be headed to university this fall. I am familiar with calculus, really basic number theory, geometry, algebra etc.
Ok. The following is perhaps more about notation and careful reading than about mathematics proper, but here it is:

Prove or disprove: ##\{x > 0 \,:\, x < r\,\forall\,r > 0\} \neq \emptyset##.

I am also familiar with a few proof strategies like induction
Does that mean that you know what a countable set is?
 
  • #10
{x>0:x<r∀r>0}≠∅{x>0:x<r∀r>0}≠∅\{x > 0 \,:\, x < r\,\forall\,r > 0\} \neq \emptyset.
I assume this is for x and r both belonging to real numbers?


Assume the above statement to be true. Then for any element of the set S {r:r>0} there must be another element smaller than it. I.e there is no smallest element of S.( Now i am a bit stuck, I know that there is no smallest element in the set of real numbers, so the statement is true,but I haven't the foggiest idea how to prove it. I'll think over and see if there is another approach to the proof as well)
 
  • #11
Does that mean that you know what a countable set is?
I do. The set of natural numbers,prime numbers, odd numbers, even numbers etc. are countably infinite. Real numbers, irrational numbers etc. are not.

Edit: Sets like "Natural numbers less than 10" are countable. Just not countably infinite. Uncountable sets are ones where you cannot create a one to one function with the set of natural numbers.
 
  • #12
22,089
3,289
I do. The set of natural numbers,prime numbers, odd numbers, even numbers etc. are countably infinite. Real numbers, irrational numbers etc. are not.
What about rationals?
 
  • #14
S.G. Janssens
Science Advisor
Education Advisor
929
702
I assume this is for x and r both belonging to real numbers?
Yes, that was implicit in the ##>## sign, but you are very correct.
I'll think over
Ok :smile:
I do. The set of natural numbers,prime numbers, odd numbers, even numbers etc. are countably infinite. Real numbers, irrational numbers etc. are not.
Beautiful, then I already have some other calculus-flavored exercises in mind.
 
  • Like
Likes UncertaintyAjay
  • #15
Bring it on. I haven't been this excited in ages.
 
  • Like
Likes S.G. Janssens
  • #16
S.G. Janssens
Science Advisor
Education Advisor
929
702
Bring it on. I haven't been this excited in ages.
I was thinking about this one, but it may be a bit too difficult, since a number of steps are required. However, in principle it should be doable.
  1. Let ##f : [0,1] \to \mathbb{R}## be nondecreasing. Prove that ##f## has a countable number of discontinuities.
  2. Let ##g: \mathbb{R} \to \mathbb{R}## be nondecreasing. Prove or disprove: ##g## has a countable number of discontinuities.
Take your time for it. (Don't feel obliged either. If others have exercises that appeal more to you, go ahead and do those.)
 
  • #17
941
394
I'll be headed to university this fall. I am familiar with calculus, really basic number theory, geometry, algebra etc.
I highly recommend Spivak's Calculus. I found it to be extremely well-written, and fostered a love of pure math in me (an engineering student).
 
  • Like
Likes UncertaintyAjay
  • #18
32
1
Maybe this can help with proofs: fb/brilliant
Here you can do this problem:

Find the prime number which is one less than a perfect square number?

For more view this link
 

Related Threads on Proof Practice

  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
1
Views
425
  • Last Post
Replies
1
Views
1K
Replies
1
Views
8K
  • Last Post
Replies
7
Views
4K
  • Last Post
Replies
4
Views
6K
  • Last Post
Replies
3
Views
7K
  • Last Post
Replies
3
Views
5K
Top