This experience is optimized for Internet Explorer version 9 and above.

Please upgrade your browser

Video title

Priority Code

Cancel
Prove It: The Art of Mathematical Argument

Prove It: The Art of Mathematical Argument

Professor Bruce H. Edwards Ph.D.
University of Florida
Course No.  1431
Course No.  1431
Share:
Video or Audio?
While this set works well in both audio and video format, one or more of the courses in this set feature graphics to enhance your learning experience, including illustrations, images of people and event, and on-screen text.
Which Format Should I Choose? Video Download Audio Download DVD CD
Watch or listen immediately with FREE streaming
Available on most courses
Stream using apps on your iPad, iPhone, Android, or Kindle Fire
Available on most courses
Stream to your internet connected PC or laptop
Available on most courses
Download files for offline viewing or listening
Receive DVDs or CDs for your library
Play as many times as you want
Video formats include Free Streaming
Video formats include Free Streaming

Course Overview

About This Course

24 lectures  |  30 minutes per lecture

Mathematical proof is the gold standard of knowledge. Once a mathematical statement has been proved with a rigorous argument, it counts as true throughout the universe and for all time. Imagine, then, the thrill of being able to prove something in mathematics. The experience is the closest you can get to glimpsing the abstract order behind all things.

Only by doing a proof can you reach the deep insights that mathematics offers—that tell you why something is true, not merely that it is true. Such insights are invaluable for getting a grasp of the key concepts in every branch of mathematics, from algebra to number theory, from geometry to calculus and beyond.

View More

Mathematical proof is the gold standard of knowledge. Once a mathematical statement has been proved with a rigorous argument, it counts as true throughout the universe and for all time. Imagine, then, the thrill of being able to prove something in mathematics. The experience is the closest you can get to glimpsing the abstract order behind all things.

Only by doing a proof can you reach the deep insights that mathematics offers—that tell you why something is true, not merely that it is true. Such insights are invaluable for getting a grasp of the key concepts in every branch of mathematics, from algebra to number theory, from geometry to calculus and beyond.

And by advancing from one proof to a related one, you begin to see how mathematics is a magnificent, self-consistent system with unexpected links between different ideas. Moreover, this system forms the foundation of fields such as physics, engineering, and computer science.

But you don’t have to imagine the exhilaration of constructing a proof. You can do it. You can prove it! Consider these proofs that are not only profound and elegant, but easily within reach of anyone with a background in high-school mathematics:

  • The square root of 2: Can the square root of 2 be expressed as a rational number—that is, as a fraction of two integers? The proof discovered by the ancient Greeks had dangerous consequences for one mathematician.
  • Gauss’s formula: What is the sum of the first 100 positive integers? As a child, the great mathematician Carl Friedrich Gauss discovered that the solution has a simple formula, which can be proved in several different ways.
  • Geometric series: Is the repeating decimal 0.99999… less than 1? Or does it equal 1? The proof surprises many people and provides a launching point into the analysis of infinite geometric series in calculus.
  • Countably infinite sets: An eye-opening proof shows that the set of all rational numbers is the same size as the set of all positive integers, even though there are infinitely many rational numbers between two consecutive integers.

Mathematicians marvel at the clarity that comes from completing a proof. It is as if a light has suddenly switched on in a dark room, bringing simplicity and understanding to what was formerly obscure and confusing. And since research mathematicians spend much of their time working on proofs, you can get a feel for what it’s like at their esoteric heights by putting pencil to paper and working out elementary proofs.

Prove It: The Art of Mathematical Argument initiates you into this thrilling discipline in 24 proof- and information-filled lectures suitable for everyone from high school students to the more math-savvy. The course is taught by award-winning Professor Bruce H. Edwards of the University of Florida. The author of many widely used textbooks, Professor Edwards has a knack for making mathematics as exciting to his audience as it obviously is to him.

In the course, Professor Edwards walks you through scores of proofs, from the simple to the subtle. The accompanying guidebook includes additional practice problems that help you gain confidence and mastery of a challenging, satisfying, and all-important mathematical skill.

Techniques and Tips

The modern concept of mathematical proof goes back 23 centuries to the Greek mathematician Euclid, who introduced the method of proving a conjecture by starting from axioms, or propositions regarded as self-evidently true. Once proved by logic, a conjecture is called a theorem. The beauty of Euclid’s system is that the same conjecture can often be proved in markedly different ways.

In Prove It: The Art of Mathematical Argument, Professor Edwards introduces you to the principles of logic to give you the tools to reason through a proof. Then he surveys a wide range of powerful proof techniques, including these:

  • Direct proof: Start with a hypothesis, do some math, then arrive at the conclusion. This is the most straightforward approach to a proof and is based on the simple logical relation, “P implies Q.”
  • Proof by contradiction: Assume that a mathematical proposition is false. If that leads to a contradiction, then it must be true. Using this technique, Euclid devised an elegant proof showing the true nature of the square root of 2.
  • Induction: Logical induction is used to prove that a given statement is true for all positive integers. The first step is to prove a “base case.” This case establishes that the next case is true, and the next, and the next, ad infinitum.
  • Visual proof: Sometimes geometric figures can be used to show that a mathematical conjecture must be true. One such “proof without words” is credited to James A. Garfield, who later became president of the United States.

A teacher with a knack for bringing abstract material down to earth, Professor Edwards has many practical tips to help sharpen your proof-writing skills. For example,

  • First things first: Before you try to prove a conjecture, stop and ask yourself if it makes sense. Do you believe what is being proposed?
  • Try some examples: Plug in numbers. You may see right away that the conjecture is true and that you’ll be able to prove it.
  • Know where you’re going: Keep your goal in mind as you work on a proof. Use scratch paper to jot down ideas. Often, you’ll see the way to a proof.
  • Don’t be daunted: When you’re studying a finished proof, remember that you don’t see the mathematician’s notes. The proof could be easier than it looks.

Tales of Proofs

Throughout the course, Professor Edwards tells stories behind famous proofs. For example, the Four Color theorem says that no more than four colors are needed to color the regions of a map so that no two adjacent areas have the same color. It’s simple to state, but attempts to prove the Four Color theorem were fruitless until 1976, when two mathematicians used a computer and a technique called enumeration of cases to solve the problem. You get a taste for what’s involved by working through several simpler proofs using this technique.

You also hear about celebrated paradoxes in which logic leads to baffling conclusions, such as Bertrand Russell’s paradox that shook the foundations of set theory. It involves a barber who cuts the hair of all the people who do not cut their own hair—in which case, who cuts the barber’s hair?

And often in Prove It: The Art of Mathematical Argument, you’ll come across unproven conjectures—deep problems that are so far unsolved, despite the efforts of generations of mathematicians. It just goes to show that there are unending adventures ahead in the thrilling quest to prove it!

View Less
24 Lectures
  • 1
    What Are Proofs, and How Do I Do Them?
    Start by proving that two odd numbers multiplied together always give an odd number. Next, look ahead at some of the intriguing proofs you will encounter in the course. Then explore the characteristics of a proof and tips for improving your skill at proving mathematical theorems. x
  • 2
    The Root of Proof—A Brief Look at Geometry
    The model for modern mathematical thinking was forged 2,300 years ago in Euclid’s Elements. Prove three of Euclid’s theorems and investigate his famous fifth postulate dealing with parallel lines. Also, learn how proofs are important in Professor Edwards’s own research. x
  • 3
    The Building Blocks—Introduction to Logic
    Logic is the foundation of mathematical proofs. In the first of three lectures on logic, study the connectors “and” and “or.” When used in combination in mathematical statements, these simple terms can create interesting complexity. See how truth tables are very useful for determining when such statements are true or false. x
  • 4
    More Blocks—Negations and Implications
    Continue your study of logic by looking at negations of statements and the logical operation called implication, which is used in most mathematical theorems. Professor Edwards opens the lecture with a fascinating example of the implication of a false hypothesis that appears to pose a logical puzzle. x
  • 5
    Existence and Uniqueness—Quantifiers
    In the final lecture on logic, explore the quantifiers “for all” and “there exists,” learning how these operations are negated. Quantifiers play a large role in calculus—for example, when defining the concept of a sequence, which you study in greater detail in upcoming lectures. x
  • 6
    The Simplest Road—Direct Proofs
    Begin a series of lectures on different proof techniques by looking at direct proofs, which make straightforward use of a hypothesis to arrive at a conclusion. Try several examples, including proofs involving division and inequalities. Then learn tricks that mathematicians use to make proofs easier than they look. x
  • 7
    Let’s Go Backward—Proofs by Contradiction
    Probe the power of one of the most popular techniques for proving theorems—proof by contradiction. Begin by constructing a truth table for the contrapositive. Then work up to Euclid’s famous proof that answers the question: Can the square root of 2 be expressed as a fraction? x
  • 8
    Let’s Go Both Ways—If-and-Only-If Proofs
    Start with the simple case of an isosceles triangle, defined as having two equal sides or two equal angles. Discover that equal sides and equal angles apply to all isosceles triangles and are an example of an “if-and-only-if” theorem, which occurs throughout mathematics. x
  • 9
    The Language of Mathematics—Set Theory
    Explore elementary set theory, learning the concepts and notation that allow manipulation of sets, their unions, their intersections, and their complements. Then try your hand at proving that two sets are equal, which involves showing that each is a subset of the other. x
  • 10
    Bigger and Bigger Sets—Infinite Sets
    Tackle infinite sets, which pose fascinating paradoxes. For example, the set of integers is a subset of the set of rational numbers, and yet there is a one-to-one correspondence between them. Explore other properties of infinite sets, proving that the real numbers between 0 and 1 are uncountable. x
  • 11
    Mathematical Induction
    In the first of three lectures on mathematical induction, try out this powerful tool for proving theorems about the positive integers. See how an inductive proof is like knocking over a row of dominos: Once the base case pushes over a second case, then by induction all cases fall. x
  • 12
    Deeper and Deeper—More Induction
    What does the decimal 0.99999… forever equal? Is it less than 1? Or does it equal 1? Apply mathematical induction to geometric series to find the solution. Also use induction to find the formulas for other series, including factorials, which are denoted by an integer followed by the “!” sign. x
  • 13
    Strong Induction and the Fibonacci Numbers
    Use a technique called strong induction to prove an elementary theorem about prime numbers. Next, apply strong induction to the famous Fibonacci sequence, verifying the Binet formula, which can specify any number in the sequence. Test the formula by finding the 21-digit-long 100th Fibonacci number. x
  • 14
    I Exist Therefore I Am—Existence Proofs
    Analyze existence proofs, which show that a mathematical object must exist, even if the actual object remains unknown. Close with an elegant and subtle argument proving that there exists an irrational number raised to an irrational power, and the result is a rational number. x
  • 15
    I Am One of a Kind—Uniqueness Proofs
    How do you prove that a given mathematical result is unique? Assume that more than one solution exists and then see if there is a contradiction. Use this technique to prove several theorems, including the important division algorithm from arithmetic. x
  • 16
    Let Me Count the Ways—Enumeration Proofs
    The famous Four Color theorem, dealing with the minimum number of colors needed to distinguish adjacent regions on a map with different colors, was finally proved by a brute force technique called enumeration of cases. Learn how this approach works and why mathematicians dislike it—although they often rely on it. x
  • 17
    Not True! Counterexamples and Paradoxes
    You’ve studied proofs. How about disproofs? How do you show that a conjecture is false? Experience the fun of finding counterexamples. Then explore some famous paradoxes in mathematics, including Bertrand Russell’s barber paradox, which shook the foundations of set theory. x
  • 18
    When 1 = 2—False Proofs
    Strengthen your appreciation for good proofs by looking at bad proofs, including common errors that students make such as dividing by 0 and circular reasoning. Then survey the history of attempts to prove some renowned conjectures from geometry and number theory. x
  • 19
    A Picture Says It All—Visual Proofs
    Before he became the 20th U. S. president, James A. Garfield published an original proof of the Pythagorean theorem that relied on a visual argument. See how pictures play an important role in understanding why a particular mathematical statement may be true. But is a visual proof really a proof? x
  • 20
    The Queen of Mathematics—Number Theory
    The great mathematician Carl Friedrich Gauss once said that if mathematics is the queen of the sciences, then number theory is the queen of mathematics. Embark on the study of this fascinating discipline by proving theorems about prime numbers. x
  • 21
    Primal Studies—More Number Theory
    Dig deeper into prime numbers and number theory by proving a conjecture that asserts that there are arbitrarily large gaps between successive prime numbers. Then turn to some celebrated conjectures in number theory, which are easy to state but which have withstood all attempts to prove them. x
  • 22
    Fun with Triangular and Square Numbers
    Use different proof techniques to explore square and triangular numbers. Square numbers are numbers such as 1, 4, 9, and 16 that are the squares of integers. Triangular numbers represent the total dots needed to form an equilateral triangle, such as 1, 3, 6, and 10. x
  • 23
    Perfect Numbers and Mersenne Primes
    Investigate the intriguing link between perfect numbers and Mersenne primes. A number is perfect if it equals the sum of all its divisors, excluding itself. Mersenne primes are prime numbers that are one less than a power of 2. Oddly, the known examples of both classes of numbers are 47. x
  • 24
    Let’s Wrap It Up—The Number e
    Prove some properties of the celebrated number e, the base of the natural logarithm, which plays a crucial role in precalculus and calculus. Close with a challenging proof testing whether e is rational or irrational—just as you did with the square root of 2 in Lecture 7. x

Lecture Titles

Clone Content from Your Professor tab

Your professor

Bruce H. Edwards
Ph.D. Bruce H. Edwards
University of Florida
Dr. Bruce H. Edwards is Professor of Mathematics at the University of Florida. Professor Edwards received his B.S. in Mathematics from Stanford University and his Ph.D. in Mathematics from Dartmouth College. After his years at Stanford, he taught mathematics at a university near Bogot·, Colombia, as a Peace Corps volunteer. Professor Edwards has won many teaching awards at the University of Florida, including Teacher of the Year in the College of Liberal Arts and Sciences, Liberal Arts and Sciences Student Council Teacher of the Year, and the University of Florida Honors Program Teacher of the Year. He was selected by the Office of Alumni Affairs to be the Distinguished Alumni Professor for 1991-1993. Professor Edwards has taught a variety of mathematics courses at the University of Florida, from first-year calculus to graduate-level classes in algebra and numerical analysis. He has been a frequent speaker at research conferences and meetings of the National Council of Teachers of Mathematics. He has also coauthored a wide range of mathematics textbooks with Professor Ron Larson. Their textbooks have been honored with various awards from the Text and Academic Authors Association.
View More information About This Professor
Also By This Professor
View All Courses By This Professor

Reviews

Rated 4.7 out of 5 by 11 reviewers.
Rated 5 out of 5 by fun course Lots of fun whether you are a technical type or have nothing more than a good facility with algebra. The many methods of mathematical proofs were very well described by this excellent teacher. He has the style of your favorite grandfather; smart but not condescending. There is mathematical 'elegance' in proving the inner workings of even seemingly simple algorithms. March 17, 2014
Rated 2 out of 5 by Mathemata mathematicis propter If one of your personal mottoes is: "Mathemata mathematicis propter" then this course is for you. While viewing these lectures, I finally began to understand why I have difficulty, even disdain, for maths. I have little to no appreciation for the “beauty” or “elegance” in the art of maths. Admittedly, I have rarely had the affect of the genius of any creative art. In other words, no art really “speaks” to me. My loss.... Perhaps others will find this course enlightening. Algebra and algebra-er.... This is the first course in my Teaching Company courses library that didn’t motivate me to want to study further. Not so much that it's boring, but, for me, thin on practicality. Should be titled: A Closer Look at Algebra. This could be a good course for algebra lovers. Otherwise, I had no applicable use for this topic. No offense to Professor Edwards or to the good people at the Teaching Company. With this course, I have proven to myself that I just don't like math. In the famous words of Professor Devadoss, “Who cares?”. December 25, 2013
Rated 5 out of 5 by A Course that Lives Up to the Company Name This DVD really lives up to the company name. It is a great course! Professor Edwards has an excellent presentation and the video complements the topics perfectly. While watching these DVDs, I have also been taking Kevin Devlin’s Coursera Course “Introduction to Mathematical Thinking.” Both course cover a lot of the same material, but “Prove It” is far superior. Not only is it visually superior, but Edwards explanations are short and to the point. I would guess I get four or five times as much knowledge per hour from Edwards’ course. October 24, 2013
Rated 5 out of 5 Fun and fruitful I love this course! I took some proof-based classes as an undergraduate, and I am a pretty hardcore user of mathematics in my profession. It has been a while since I sat down to prove anything, and I started plenty rusty. I left feeling ready to tackle new things. This course requires active participation to get the most out of it. Dr. Edwards is a great teacher, and guides one through the thickets, gently but with plenty of challenges. I had a pad of paper in my hands the whole time, and he mentioned things that I later went and looked for on the internet. If you are new to proofs, this is a good choice, and if you have done proofs, but long ago, it is a great refresher. This was my first TGC purchase, but will certainly not be my last. September 8, 2013
2 next>>

Questions & Answers

Customers Who Bought This Course Also Bought

Some courses include Free digital streaming.

Enjoy instantly on your computer, laptop, tablet or smartphone.