How to do Mathematical proof for beginner

In summary, the conversation discusses the topic of proof-based math and the importance of developing proofing skills, particularly for those pursuing a physics major. The recommended resource for learning how to prove mathematical statements is the book "How to prove it." The conversation also includes a link to a tutorial for beginners as well as the importance of understanding the underlying logic in mathematics and developing logical thinking skills. A specific example of a proof is provided and discussed.
  • #1
Seydlitz
263
4
Hello all,

I know that perhaps this question has cropped frequently in a lot of places, but I would like to be quite specific in my case. I've just finished High School with UK A level syllabus. The syllabus inside Math A level is mostly straight solving equation type of questions, such as for example integrating or finding root to complex polynomial. I know how take a derivative a function, to find its maxima or minima but I don't know how to do so with the so to say rigorous theorem and so on. I have to say that my Math skills in such type of question are normal, in a sense that I have to do questions carefully and cannot just simply solve one in some prodigious manners but I can grasp concepts quickly.

Now the question is where to start with proof-based Math, the one where you need to apply definition and etc to do proof? What kind of books and what books do you recommend if you were in my position and background? I am also hoping that there's at least informal introduction or just helpful website on this matter, since most of the time I can only find sites that discusses straight questions. My target is to go and take Physics major when I enter university later on next year, and I am hoping to get as prepared as possible, especially with the maths.

Also from looking at some examples I also want to know how do you recognize if a proof is correct? When given something to proof I often think as it's simply true, like 1+1 = 2. How else can you proof such thing, to what extent we need to prove? Previously I just need to plug in number to see if I'm solving equation correctly. In Physics you can usually do experiment or thought-experiment to see if equations or what you are doing are true, here I'm quite lost.

Here's the syllabus for A Level Math if you are interested:
http://www.cie.org.uk/docs/dynamic/43807.pdf [Broken]

Thank You
 
Last edited by a moderator:
Physics news on Phys.org
  • #2
To get used to proofs, many (including me) would recommend "How to prove it" found here: https://www.amazon.com/dp/0521675995/?tag=pfamazon01-20

Once you get used to logical arguments, you'll get a sense to see if it's lacking anything. In math, things are usually tried to be proven in the most general case possible, so it is almost always completely symbolic, with special cases relegated so certain proofs. I wouldn't worry to much however, once you get some practice, proofs actually come very naturally.
 
Last edited:
  • Like
Likes 1 person
  • #3
Sentin3l said:
To get used to proofs, many (including me) would recommend "How to prove it" found here: https://www.amazon.com/dp/0521675995/?tag=pfamazon01-20

Once you get used to logical arguments, you'll get a sense to see if it's lacking anything. In math, things are usually tried to be proven in the most general case possible, so it is almost always completely symbolic, with special cases relegated so certain proofs. I wouldn't worry to much however, once you get some practice, proofs actually come very naturally.

Thanks, I'll certainly find the book.

Do you think also that proofing skills are essential with physicist? (and specifically the one still in undergraduate learning?)
 
Last edited:
  • #4
Sentin3l said:
To get used to proofs, many (including me) would recommend "How to prove it" found here: https://www.amazon.com/dp/0521675995/?tag=pfamazon01-20

Once you get used to logical arguments, you'll get a sense to see if it's lacking anything. In math, things are usually tried to be proven in the most general case possible, so it is almost always completely symbolic, with special cases relegated so certain proofs. I wouldn't worry to much however, once you get some practice, proofs actually come very naturally.


Exactly the book I was going to recommend. That book prepared me for my first college level abstract mathematics class. I think I only got through the first 3 or 4 chapters. The structure of it is excellent.

Since you're self-learning, make sure you get the later edition (the one that's linked to) as the first one doesn't have any solutions, which is a bit annoying.

Dave K
 
  • #5
Seydlitz said:
Thanks, I'll certainly find the book.

Do you think also that proofing skills are essential with physicist? (and specifically the one still in undergraduate learning?)

Being able to rigorously prove something may not be AS useful with physics, but it certainly wouldn't be unusual for it to come in handy. However, being able to logically address a problem and come to rigorous solution is a rare skill these days. Just with that in mind, mathematical proof (even with very elementary theorems) can be useful for everyone.
 
  • #6
Proofs are the bread and butter of mathematicians. Physicists maybe not so much (except perhaps highly theoretical ones, who are often considered applied mathematicians). But there is something to be said for understanding the underlying logic to the mathematics you will be using, and the *practice* of logical thinking developed by proving. In general it teaches you to think better.

BTW I just remembered I had this in my bookmarks:

http://zimmer.csufresno.edu/~larryc/proofs/proofs.html

It's a little tutorial. Not fantastic but it will get you started.

-Dave K
 
  • #7
dkotschessaa said:
Proofs are the bread and butter of mathematicians. Physicists maybe not so much (except perhaps highly theoretical ones, who are often considered applied mathematicians). But there is something to be said for understanding the underlying logic to the mathematics you will be using, and the *practice* of logical thinking developed by proving. In general it teaches you to think better.

BTW I just remembered I had this in my bookmarks:

http://zimmer.csufresno.edu/~larryc/proofs/proofs.html

It's a little tutorial. Not fantastic but it will get you started.

-Dave K

Thanks Dave!

So I tried one of the exercise, where one has to prove this statement: "If a divides b and a divides c then a divides b + c."

yTlDTOa.jpg


Is my proof valid and logical? Which of the statements is the most important in this case?

Another proof.

Gixwyxj.jpg
 
Last edited:
  • #8
First proof: What is ##Q^+##? Do you mean ##\mathbb Z^+##? (the set of positive integers). Other than that, the proof is fine. Here's how I would do it: Let ##k_1## and ##k_2## be positive integers such that ##k_1=b/a## and ##k_2=c/a##. We have
$$\frac{b+c}{a}=\frac b a+\frac c a=k_1+k_2\in\mathbb Z^+.$$ Second proof: When I see several lines, with one statement on each, I interpret it as saying that the statement on the first line implies the statement on the second line, which implies the statement on the third line, etc. Your calculations are fine, but if I interpret your statements the way I described, you seem to be proving that if ##a^2+b^2\geq 2ab##, then ##(a-b)^2\geq 0##. What you have written down is a great way to find the proof. But when you present the result, you should rephrase it, so that it's clear that the desired conclusion follows from the assumptions, e.g. like this:

Let ##a,b\in\mathbb R## be arbitrary. Since the square of a real number is never negative, we have ##0\leq (a-b)^2=a^2+b^2-2ab##. This implies that ##a^2+b^2\geq 2ab##.

I don't mean that you have to change the order of the inequalities. You can do it the way you did it if you add a comment like "the following statements are clearly equivalent".
 
Last edited:
  • #9
So basically your second proof is also excellent, if you read the three lines in reverse order :)

The remark about the equality is nice, but not strictly necessary for the proof.
 
  • #10
What Frederik said.

A very "beginner" thing in proofs is learning to move away from just writing down calculations to writing down the "Story" of your proof in a way that is readable. See how Frederik has a few clarifying remarks in what he's written.

What you have is good, but it's closer to the "scratch work" for your proof than the proof itself.

Of course all this "criticism" is keeping in mind that you're just starting, so, very good!

The Velleman book covers all of these sorts of things though too.

-Dave K
 
  • #11
I never got the point of those "learn how to prove" proof books. Why not just learn how to write proofs for a given math subject by doing the subject proper? A proof based calculus book will get you up to speed and you'll be learning rigorous calculus to boot.
 
  • #12
WannabeNewton said:
I never got the point of those "learn how to prove" proof books. Why not just learn how to write proofs for a given math subject by doing the subject proper? A proof based calculus book will get you up to speed and you'll be learning rigorous calculus to boot.

Right. Proof books are unnecessary.
I can easily make somebody learn proofs in the matter of days. It's really a matter of getting used to the formalism.

Of course, to learn proofs you need a good teacher. You will need to construct proofs, and the teacher will rip it apart. This is the best way to learn. But if you're self-studying and have nobody teaching you, then perhaps proof books are the only way (sadly).
 
  • #13
Why do you ask?

Have you been offered a place on a Maths degree course? If so, there is probably an introductory reading list which you should follow.

Are you considering whether to pursue a Maths degree? If so, you are already aware of a big issue: undergraduate Maths is nothing like A-level maths, and interest and aptitude in the latter does not necessarily mean that a Maths degree is right for you.

What follows are very personal opinions:

One book that is often recommended for pre-university is "What is Mathematics?" by R Courant and H Robbin, but I think this book is far too interesting. For a better idea of what part of a first year undergraduate course is like, try "Mathematical Analysis" by K G Binmore or "Rings, Fields and Groups" by R B J T Allenby. You will probably find these very hard going without the assistance of tutorials and a peer group, but if you find that not only can you not do any of the exercises but that you are not interested in doing any of the exercieses, maths is probably not for you. Don't worry, there are more interesting things in undergraduate maths than analysis and algebra but if you can handle these you can handle anything IMHO.

Are you planning on another degree course, say Physics? Physicists don't do proofs, they do derivations. This is basically similar to what you have done at 'A'-level, although the topics are more advanced. If you want to get a head start on the maths behind advanced Physics I'd recommend something like "Mathematical methods for science students" by G. Stephenson.

(And as others have said, your first proof is basically sound but your second is upside down; you need to start with the statement ## \forall a,b \in \mathbb{R} \; (a - b)^2 \ge 0 ##).
 
Last edited:
  • #14
Proof books are not the only way, there is also learning logic and set theory. It depends on what you like, just what you need or all the details. I recommend Tarski and Suppes for this path.
 
  • #15
WannabeNewton said:
I never got the point of those "learn how to prove" proof books. Why not just learn how to write proofs for a given math subject by doing the subject proper? A proof based calculus book will get you up to speed and you'll be learning rigorous calculus to boot.
I used to think so, but then I realized that it's probably because my first course at the university was a nice intro to naive set theory, logical notation, induction proofs and that kind of stuff. It doesn't seem like everyone gets that kind of intro. If you don't have that foundation, I think it will be too hard to learn proofs by studying something that includes a lot of proofs.
 
  • #16
WannabeNewton said:
I never got the point of those "learn how to prove" proof books. Why not just learn how to write proofs for a given math subject by doing the subject proper?

People used to get exposed to proofs a lot earlier, like in high school geometry. This no longer happens. Now people don't get exposed to proofs often until their first class in analysis or abstract algebra. I've talked to people with Bachelor's degrees in math that said they never really learned how to write a proper proof.

A proof based calculus book will get you up to speed and you'll be learning rigorous calculus to boot.

So what actually happens is that you spend some of your time learning the subject, and some of your time learning how to write a proof. Again, this used to work when people had at least some exposure to proofs at an earlier phase.

BTW, some of us actually like mathematical logic and foundations. I enjoyed going through Velleman's book immensely - more than any math I had studied before - simply because of the logic and structure.

-Dave K
 
  • #17
Note to Seydlitz:

I asked a similar question here when I started on PF, and got a lot of the same responses along the lines of "Don't do proofs, do math." and "learn proofs through learning this subject or that subject..."

I ignored that advice, because I wanted to do proofs even before I knew what the hell I wanted to prove. Some of us are just lead in that direction. I'm glad I did. So don't let anybody here tell you otherwise. If you want to do proofs, then do them. By the time you start learning a subject that requires you to write proofs, you'll have the formalism and language that you need and won't have to struggle like other people or retake a class because "I understood the subject but my proofs weren't good enough."

-Dave K
 
  • #18
That still happens: the proof based 9th grade geometry curriculum is still around, including in my high school. In many universities people can take honors calculus, instead of the much more trivial regular calculus, where instead of being spoon fed computational results you actually prove things; these will usually be on the level of Spivak or Apostol's calculus texts. In fact calculus texts like Spivak and Lang do a hell of a job introducing the reader to proofs in general and at least the proofs will be in the context of concentrated mathematical subjects, not spread around across random disciplines.

The basics of proofs will not take long to pick up at face value e.g. contradiction, constructing counterexamples etc. The hard part is knowing when to use what and how to write economical proofs and for this you will only benefit from having a teacher; I fail to see how self-studying from a "learn to prove it" book will help at all with such subtleties. Luckily I first started learning how to write proper proofs (not the BS you learn in those 9th grade geometry classes) when learning topology with micromass's help and he's easily the best math teacher I've ever had so it all worked out for the better.
 
  • #19
Your replies have been most encouraging and helpful for me guys. I don't know where else I could get such a well-thought respond and advise, as well as experience. I will certainly strive to learn how to do this properly. It is evident that I'm not used to the formalism yet. In computational based Math, I will only usually write equations messily in order to solve something without saying anything about it, and just hoping my final answer is right. Now I know that description and order are important part of it and necessary, like for the second proof.

MrAnchovy said:
Have you been offered a place on a Maths degree course? If so, there is probably an introductory reading list which you should follow.

Are you considering whether to pursue a Maths degree? If so, you are already aware of a big issue: undergraduate Maths is nothing like A-level maths, and interest and aptitude in the latter does not necessarily mean that a Maths degree is right for you.

...

No, I'm planing to take major in Physics. Though, some sense I quite like how Math is done at university level, the way you guys show it. Even perhaps more than A-Level math style of questions. In fact I used to worry a lot about what all of those definitions and theorem mean, but I found out unfortunately that it was hardly used at all during my high-school. It was all the question of, who can calculate and solve things faster in order to finish worksheet and unit tests at the given time, and also about learning the pattern of questions in past papers.

If there had been some kind of preliminary course regarding undergrad Math here I would have certainly take it but there's none I'm afraid. Moreover, I don't live in States nor in 'West' so to say, hence the options are a bit limited, though I'm planing to continue my study in Australia next year.

dkotschessaa said:
Note to Seydlitz:

I asked a similar question here when I started on PF, and got a lot of the same responses along the lines of "Don't do proofs, do math." and "learn proofs through learning this subject or that subject..."

I ignored that advice, because I wanted to do proofs even before I knew what the hell I wanted to prove. Some of us are just lead in that direction. I'm glad I did. So don't let anybody here tell you otherwise. If you want to do proofs, then do them. By the time you start learning a subject that requires you to write proofs, you'll have the formalism and language that you need and won't have to struggle like other people or retake a class because "I understood the subject but my proofs weren't good enough."

-Dave K

The thing is, I'm worried that what I've learned during A Levels does not correspond mostly to undergraduate study. That is why I want to learn the proofs. I want to ensure that I have good foundation in both abstract and computational Math early on so that I won't have much trouble doing the physics. I see no problem with the computational part but the abstract part is still beyond my current understanding.

On top of that I have several months of free time until I can study in uni. (equivalent to approximately one semester of study time) I am hoping that I could spend all of the time to the maximum, lest I will be wasting my time fooling around with games and movies and be forced to struggle later.
 
  • #20
Seydlitz said:
The thing is, I'm worried that what I've learned during A Levels does not correspond mostly to undergraduate study. That is why I want to learn the proofs. I want to ensure that I have good foundation in both abstract and computational Math early on so that I won't have much trouble doing the physics. I see no problem with the computational part but the abstract part is still beyond my current understanding.

On top of that I have several months of free time until I can study in uni. (equivalent to approximately one semester of study time) I am hoping that I could spend all of the time to the maximum, lest I will be wasting my time fooling around with games and movies and be forced to struggle later.

If your goal has more to do with physics than math, then definitely follow the advice of the posters above about going through a rigorous calculus textbook like Spivak or Apostol. You'll at least be reading good proofs if only writing mediocre ones because you will be self-studying.

My point is that Vellemans' book (and similar) will teach you how to write *good* proofs from the beginning, because you'll get the entire structure of what a proof should look like, before you even have something to prove, and you will learn the logic behind proofs.

Proving basic number theoretical stuff like "If a divides b and b divides c then a divides c" is a good exercise in logical and mathematical thinking. It will not help you directly with physics, but it will help you follow the logic in proof based books and eventually help you write your own.

Do yo know what book the school you will be going to uses for calculus?

-Dave K
 
  • #21
Seydlitz said:
No, I'm planing to take major in Physics. Though, some sense I quite like how Math is done at university level, the way you guys show it. Even perhaps more than A-Level math style of questions. In fact I used to worry a lot about what all of those definitions and theorem mean, but I found out unfortunately that it was hardly used at all during my high-school. It was all the question of, who can calculate and solve things faster in order to finish worksheet and unit tests at the given time, and also about learning the pattern of questions in past papers.

If there had been some kind of preliminary course regarding undergrad Math here I would have certainly take it but there's none I'm afraid. Moreover, I don't live in States nor in 'West' so to say, hence the options are a bit limited, though I'm planing to continue my study in Australia next year.


The thing is, I'm worried that what I've learned during A Levels does not correspond mostly to undergraduate study.

I don't know what it's like in Australia, but in the UK the maths you do as part of a physics degree is very similar to A-level maths - you learn and develop skill in using techniques for finding solutions to equations. You do NOT have to prove the validity of those techniques, which is what you do as a Maths undergraduate.

See for example http://www2.warwick.ac.uk/fac/sci/physics/current/teach/module_home/px149 from Warwick University's first year Maths for Physicists.

If you can get hold of something similar from the university you are aiming for that would probably be a better use of your time.
 
  • #22
dkotschessaa said:
If your goal has more to do with physics than math, then definitely follow the advice of the posters above about going through a rigorous calculus textbook like Spivak or Apostol. You'll at least be reading good proofs if only writing mediocre ones because you will be self-studying.

My point is that Vellemans' book (and similar) will teach you how to write *good* proofs from the beginning, because you'll get the entire structure of what a proof should look like, before you even have something to prove, and you will learn the logic behind proofs.

Proving basic number theoretical stuff like "If a divides b and b divides c then a divides c" is a good exercise in logical and mathematical thinking. It will not help you directly with physics, but it will help you follow the logic in proof based books and eventually help you write your own.

Do yo know what book the school you will be going to uses for calculus?

-Dave K


Ok I think I'll just try both of the options suggested, using Velleman's book and probably one topic specific book.

I've actually checked the uni website and for Calculus I and Calculus II, the book recommended is University Calculus, Early Transcendentals 2nd Edition by Joel R. Hass.

The goal for Calculus I is as follow:

    • be able to graphically represent and analyse key features of polynomial, circular, inverse circular and reciprocal functions and relations representing circles, simple ellipses and hyperbolas;
    • be able to manipulate simple trigonometric identities and compound and double angle formulas for sine, cosine and tangent;
    • understand the arithmetic of vectors in two and three dimensions, linear independence, scalar product and application to vector projections and resolutes, plane curves specified parametrically by a vector equation and determination of corresponding cartesian equations;
    • extend differentiation techniques to implicit differentiation, derivatives of inverse circular functions, second and higher order derivatives and be able to apply these to curve sketching and related rates problems;
    • be able to evaluate integrals using algebraic and trigonometric substitutions, and simple partial fractions;
    • be able to apply integration techniques to the calculation of volumes of solids of revolution and the solution of simple ordinary differential equations;
    • understand the extension of the real numbers to the set of complex numbers and their arithmetic, including Cartesian representation and polar form.

Calculus II:

  • calculate simple limits of a function of one variable;
  • determine convergence and divergence of sequences and series;
  • sketch and manipulate hyperbolic and inverse hyperbolic functions;
  • evaluate integrals using trigonometric and hyperbolic substitutions, partial fractions, integration by parts and the complex exponential;
  • find analytical solutions of first and second order ordinary differential equations, and use these equations to model some simple physical and biological systems;
  • calculate partial derivatives and gradients for functions of two variables, and use these to find maxima and minima.

I think I've covered the nearly all of the topics in Calculus I with a handful of exception already in A Level. For the Calculus II topics I've only covered first order ODEs but I see no great problem in learning the rest of the topics.

The more advanced calculus book is probably used in Real Analysis course (2nd year), but apparently the course doesn't list any specific textbooks to be used.

MrAnchovy said:
I don't know what it's like in Australia, but in the UK the maths you do as part of a physics degree is very similar to A-level maths - you learn and develop skill in using techniques for finding solutions to equations. You do NOT have to prove the validity of those techniques, which is what you do as a Maths undergraduate.

See for example http://www2.warwick.ac.uk/fac/sci/physics/current/teach/module_home/px149 from Warwick University's first year Maths for Physicists.

If you can get hold of something similar from the university you are aiming for that would probably be a better use of your time.

The handouts seem very useful, thanks!
 

1. What is a mathematical proof?

A mathematical proof is a logical argument that uses a set of axioms, definitions, and previously proven theorems to demonstrate the truth of a mathematical statement or conjecture. It is a way of showing that a mathematical statement is always true, regardless of any particular examples or cases.

2. How do I write a mathematical proof?

To write a mathematical proof, you should start by clearly stating the theorem or statement you want to prove. Then, you should present your argument in a clear and logical manner, using mathematical symbols, definitions, and previously proven theorems to support each step. It is important to be thorough and to explain each step in your reasoning. You should also use proper mathematical notation and formatting to make your proof easier to follow.

3. What are the different types of mathematical proofs?

There are several types of mathematical proofs, including direct proofs, indirect proofs (also known as proof by contradiction), proof by induction, and proof by construction. Each type of proof has its own set of rules and strategies, so it is important to understand which type of proof is most appropriate for the statement you are trying to prove.

4. How do I know if my mathematical proof is correct?

A correct mathematical proof should follow the rules of logic and use valid mathematical reasoning to support each step. It should also be clear and easy to follow, with no gaps or errors in the logic. It is also a good idea to have someone else review your proof to check for any mistakes or areas that may need further clarification.

5. Are there any tips for writing a successful mathematical proof?

Yes, there are several tips that can help make your mathematical proof more successful. First, it is important to clearly define all of your terms and notation. You should also start by writing down what you know and what you need to prove, and then work backwards to fill in the steps in between. It can also be helpful to break down the proof into smaller, more manageable parts. And finally, it is important to be patient and persistent, as writing a good proof often takes time and revision.

Similar threads

  • STEM Academic Advising
Replies
6
Views
2K
Replies
7
Views
804
  • STEM Academic Advising
Replies
7
Views
1K
  • STEM Academic Advising
Replies
10
Views
2K
  • STEM Academic Advising
Replies
6
Views
1K
Replies
115
Views
6K
Replies
8
Views
1K
  • STEM Academic Advising
Replies
2
Views
1K
Replies
2
Views
631
  • STEM Academic Advising
Replies
4
Views
794
Back
Top