Open the App

Subjects

MathsMaths228 views·Updated Jun 14, 2026·3 pages

Understanding Mathematical Proof Methods

user profile picture
Alex@alext_qjqz

Mathematical proofs are elegant ways to establish the truth of...

1
of 3
Methods of proof

*   Proof by deduction/ direct proof
*   Proof by exhaustion
*   Proof by counter example
*   Proof by contradiction

*

Types of Mathematical Proofs

Mathematical proofs allow us to verify statements with absolute certainty. A statement is what you're trying to prove, a theorem is a statement proven true, and a conjecture is a statement not yet proven true or false.

Direct proof (or proof by deduction) starts with facts you know and uses logical steps to reach your conclusion. For example, to prove "if x is even, then x² is even," you begin with the definition of even numbers x=2kx = 2k, calculate x² = (2k)² = 4k² = 2(2k²), and conclude that x² must be even because it equals 2 multiplied by another number.

Proof by exhaustion involves breaking your proof into separate cases and proving each one. This works brilliantly when you have a limited number of possibilities to cover. For instance, to prove that "the cube of any natural number is either a multiple of 9, or 1 more/less than a multiple of 9," you would examine three cases: numbers divisible by 3, numbers that are 1 more than a multiple of 3, and numbers that are 1 less than a multiple of 3.

Remember: When choosing a proof method, consider what would be most efficient for the particular statement. Direct proofs work well for straightforward implications, while exhaustion is perfect for statements with a finite number of cases.

2
of 3
Methods of proof

*   Proof by deduction/ direct proof
*   Proof by exhaustion
*   Proof by counter example
*   Proof by contradiction

*

More Proof Methods

Proof by exhaustion requires examining all cases thoroughly. For numbers divisible by 3, we show (3k)³ = 27k³ = 9(3k³) is a multiple of 9. For numbers 1 more than a multiple of 3, we demonstrate 3k+13k+1³ = 93k3+3k2+k3k³+3k²+k+1, which is 1 more than a multiple of 9. Similarly, numbers 1 less than a multiple of 3 give cubes that are 1 less than multiples of 9.

Proof by counterexample is wonderfully direct – you disprove a statement by finding just one example that contradicts it. To disprove "integers always have an even number of factors," we need only point to the number 1 (with exactly one factor) or any perfect square like 4 (with three factors: 1, 2, and 4).

Proof by contradiction assumes the opposite of what you want to prove and shows this leads to an impossible result. The negation of "All multiples of 5 are even" is "At least 1 multiple of 5 is odd." For another example, to prove "if n² is even, then n is even," we assume n² is even but n is odd. This leads to n² being odd – a contradiction that confirms our original statement must be true.

Pro tip: Contradiction is especially powerful for proving statements about irrational numbers and uniqueness. When direct approaches seem difficult, try assuming the opposite and look for a contradiction.

3
of 3
Methods of proof

*   Proof by deduction/ direct proof
*   Proof by exhaustion
*   Proof by counter example
*   Proof by contradiction

*

Advanced Contradiction Proofs

Proof by contradiction becomes particularly elegant when tackling challenging problems. When proving "if n² is even, then n is even," we start by assuming n² is even but n is odd. Since odd numbers have the form n = 2k+1, we calculate n² = 2k+12k+1² = 4k² + 4k + 1 = 22k2+2k2k²+2k + 1, which is odd. This contradicts our assumption that n² is even, proving our statement.

The classic proof that √2 is irrational showcases contradiction beautifully. We begin by assuming √2 is rational, expressed as √2 = a/b in simplest form (a and b have no common factors). Squaring both sides gives a²/b² = 2, so a² = 2b². Since a² is even, a must be even, so a = 2c. Substituting this, we get (2c)² = 2b², which simplifies to b² = 2c², meaning b² is even, thus b is even.

The conclusion that both a and b are even contradicts our initial assumption that they have no common factors. This impossibility proves that √2 must be irrational. This proof demonstrates how contradiction can establish truths about numbers that cannot be written as fractions.

Challenge yourself: Try using contradiction to prove other famous results, like "there are infinitely many prime numbers" or "the sum of a rational and an irrational number is irrational." Contradiction often reveals elegant solutions to seemingly complex problems.

We thought you’d never ask...

What is the Knowunity AI companion?

Our AI Companion is a student-focused AI tool that offers more than just answers. Built on millions of Knowunity resources, it provides relevant information, personalised study plans, quizzes, and content directly in the chat, adapting to your individual learning journey.

Where can I download the Knowunity app?

You can download the app from Google Play Store and Apple App Store.

Is Knowunity really free of charge?

That's right! Enjoy free access to study content, connect with fellow students, and get instant help – all at your fingertips.

Most popular content: Proof by Contradiction

1

Most popular content in Maths

9
MathsMaths

Comprehensive Maths Concepts

Explore essential mathematical concepts including powers, geometry, statistics, and probability. This resource features 65 pages of detailed explanations, diagrams, and examples to enhance your understanding of topics such as right triangles, volume calculations, and data representation. Ideal for students seeking to strengthen their numeracy skills and grasp complex mathematical principles.

1080,0396,320
MathsMaths

GCSE Maths (Higher) // Revision Guide

The only GCSE maths (higher) revision guide you need to get a grade 9! Contains every topic, each with all potential question types and their solutions.

102,58760
M
MathsMaths

Medium Level alerbra

Master challenging maths concepts with this medium level flashcard set designed for grade 7/8 students. Strengthen your problem-solving skills and boost your confidence in maths!

78533
M
MathsMaths

Mastering Maths: Essential Concepts for Grade 10

Boost your math skills with this comprehensive flashcard set covering key concepts for grade 10. Perfect for exam preparation and building a strong foundation in mathematics.

105441
M
MathsMaths

Mastering Medium-Level Maths: Essential Flashcards for Grade 11 Students

Boost your Maths skills with this comprehensive set of flashcards designed specifically for Grade 11 students. Covering medium-level topics, these cards will help you ace your exams and build a solid foundation for advanced Maths.

119583
MathsMaths

Comprehensive Maths Concepts

Explore essential mathematical concepts including polynomial theorems, logarithmic properties, trigonometric functions, and integration techniques. This resource covers everything from solving inequalities to understanding exponential functions, providing a solid foundation for A-level mathematics. Ideal for students aiming for top grades.

1222,0161,817
P
MathsMaths

Percentage,fractions and decimals

how well do you know percentages,fractions and decimals

73133
M
MathsMaths

Maths Made Easy: Essential Concepts for Grade 7

Master key mathematical concepts with this comprehensive flashcard set designed specifically for 13-year-old students. Strengthen your understanding and ace your exams!

77622
M
MathsMaths

maths SOHCAHTOA

Trigonometric ratios SOHCAHTOA for calculating angles and sides in right-angled triangles.

112230

Most popular content

9
SociologySociology

Sociology of Education Overview

Explore comprehensive A-Level Sociology notes on the education system, covering key theories, policies, and sociological perspectives. This resource includes insights on marketisation, gender roles, cultural deprivation, and educational inequalities, providing a thorough understanding of how education shapes social stratification and individual achievement. Ideal for exam preparation and in-depth study.

12102,8443,040
SociologySociology

Sociology of Families: Comprehensive Revision

Dive into an extensive overview of family dynamics, perspectives, and patterns in sociology. This resource covers key concepts such as family diversity, gender roles, marriage, and the impact of social policies on family structures. Perfect for A-Level Sociology students preparing for Paper 2.

1273,6392,306
CriminologyCriminology

Criminology: Crime & Punishment Overview

Comprehensive mindmaps covering key concepts in the Crime and Punishment topic for WJEC Criminology Unit 4. This resource includes detailed insights into the Criminal Justice System, crime prevention strategies, sentencing models, and the roles of various agencies. Ideal for A-Level revision, ensuring you grasp essential theories and legislative processes to excel in your exams.

1254,8661,059
SociologySociology

Comprehensive Crime & Deviance Overview

Explore an extensive revision of crime and deviance topics, including theories, types of crime, and the impact of media. This resource covers key concepts such as Marxism, functionalism, gender and crime, and the influence of globalization on criminal behavior. Ideal for students seeking a thorough understanding of criminology and its various theories. Type: Full Topic Revision.

1251,6501,399
C
BiologyBiology

Cell Biology and Cell structure

cell structures

93,2320
English LiteratureEnglish Literature

An Inspector Calls: Character Insights

Explore in-depth analysis and key quotes for characters in J.B. Priestley's 'An Inspector Calls'. This resource covers Gerald Croft, Inspector Goole, Sheila Birling, Mrs. Birling, Eric Birling, and Eva Smith, focusing on themes of class, gender roles, and social responsibility. Ideal for students aiming for Grade 8 and above.

1025,421907
CriminologyCriminology

WJEC Unit 4 Criminology

Criminology unit 4 detailed revision note

127,147125
CriminologyCriminology

Criminology Theories Overview

Explore key criminology theories and their implications on crime and deviance. This comprehensive summary covers biological, psychological, and sociological perspectives, including labelling theory, right realism, and the impact of social campaigns on policy development. Ideal for A-Level criminology students seeking to understand the complexities of criminal behaviour and the factors influencing crime prevention strategies.

129,758210
English LiteratureEnglish Literature

Romeo and Juliet: Key themes

Key Romeo and Juliet themes and analysed quotes

106,703198

Can't find what you're looking for? Explore other subjects.

Students love us — and so will you.

4.6/5App Store
4.7/5Google Play

The app is very easy to use and well designed. I have found everything I was looking for so far and have been able to learn a lot from the presentations! I will definitely use the app for a class assignment! And of course it also helps a lot as an inspiration.

Stefan SiOS user

This app is really great. There are so many study notes and help [...]. My problem subject is French, for example, and the app has so many options for help. Thanks to this app, I have improved my French. I would recommend it to anyone.

Samantha KlichAndroid user

Wow, I am really amazed. I just tried the app because I've seen it advertised many times and was absolutely stunned. This app is THE HELP you want for school and above all, it offers so many things, such as workouts and fact sheets, which have been VERY helpful to me personally.

AnnaiOS user

MathsMaths228 views·Updated Jun 14, 2026·3 pages

Understanding Mathematical Proof Methods

user profile picture
Alex@alext_qjqz

Mathematical proofs are elegant ways to establish the truth of statements with absolute certainty. They form the backbone of mathematical reasoning, using logical arguments to move from known facts to new conclusions. Understanding different proof methods will strengthen your analytical...

1
of 3
Methods of proof

*   Proof by deduction/ direct proof
*   Proof by exhaustion
*   Proof by counter example
*   Proof by contradiction

*

Sign up to see the content. It's free!

  • Access to all documents
  • Improve your grades
  • Join milions of students

Types of Mathematical Proofs

Mathematical proofs allow us to verify statements with absolute certainty. A statement is what you're trying to prove, a theorem is a statement proven true, and a conjecture is a statement not yet proven true or false.

Direct proof (or proof by deduction) starts with facts you know and uses logical steps to reach your conclusion. For example, to prove "if x is even, then x² is even," you begin with the definition of even numbers x=2kx = 2k, calculate x² = (2k)² = 4k² = 2(2k²), and conclude that x² must be even because it equals 2 multiplied by another number.

Proof by exhaustion involves breaking your proof into separate cases and proving each one. This works brilliantly when you have a limited number of possibilities to cover. For instance, to prove that "the cube of any natural number is either a multiple of 9, or 1 more/less than a multiple of 9," you would examine three cases: numbers divisible by 3, numbers that are 1 more than a multiple of 3, and numbers that are 1 less than a multiple of 3.

Remember: When choosing a proof method, consider what would be most efficient for the particular statement. Direct proofs work well for straightforward implications, while exhaustion is perfect for statements with a finite number of cases.

2
of 3
Methods of proof

*   Proof by deduction/ direct proof
*   Proof by exhaustion
*   Proof by counter example
*   Proof by contradiction

*

Sign up to see the content. It's free!

  • Access to all documents
  • Improve your grades
  • Join milions of students

More Proof Methods

Proof by exhaustion requires examining all cases thoroughly. For numbers divisible by 3, we show (3k)³ = 27k³ = 9(3k³) is a multiple of 9. For numbers 1 more than a multiple of 3, we demonstrate 3k+13k+1³ = 93k3+3k2+k3k³+3k²+k+1, which is 1 more than a multiple of 9. Similarly, numbers 1 less than a multiple of 3 give cubes that are 1 less than multiples of 9.

Proof by counterexample is wonderfully direct – you disprove a statement by finding just one example that contradicts it. To disprove "integers always have an even number of factors," we need only point to the number 1 (with exactly one factor) or any perfect square like 4 (with three factors: 1, 2, and 4).

Proof by contradiction assumes the opposite of what you want to prove and shows this leads to an impossible result. The negation of "All multiples of 5 are even" is "At least 1 multiple of 5 is odd." For another example, to prove "if n² is even, then n is even," we assume n² is even but n is odd. This leads to n² being odd – a contradiction that confirms our original statement must be true.

Pro tip: Contradiction is especially powerful for proving statements about irrational numbers and uniqueness. When direct approaches seem difficult, try assuming the opposite and look for a contradiction.

3
of 3
Methods of proof

*   Proof by deduction/ direct proof
*   Proof by exhaustion
*   Proof by counter example
*   Proof by contradiction

*

Sign up to see the content. It's free!

  • Access to all documents
  • Improve your grades
  • Join milions of students

Advanced Contradiction Proofs

Proof by contradiction becomes particularly elegant when tackling challenging problems. When proving "if n² is even, then n is even," we start by assuming n² is even but n is odd. Since odd numbers have the form n = 2k+1, we calculate n² = 2k+12k+1² = 4k² + 4k + 1 = 22k2+2k2k²+2k + 1, which is odd. This contradicts our assumption that n² is even, proving our statement.

The classic proof that √2 is irrational showcases contradiction beautifully. We begin by assuming √2 is rational, expressed as √2 = a/b in simplest form (a and b have no common factors). Squaring both sides gives a²/b² = 2, so a² = 2b². Since a² is even, a must be even, so a = 2c. Substituting this, we get (2c)² = 2b², which simplifies to b² = 2c², meaning b² is even, thus b is even.

The conclusion that both a and b are even contradicts our initial assumption that they have no common factors. This impossibility proves that √2 must be irrational. This proof demonstrates how contradiction can establish truths about numbers that cannot be written as fractions.

Challenge yourself: Try using contradiction to prove other famous results, like "there are infinitely many prime numbers" or "the sum of a rational and an irrational number is irrational." Contradiction often reveals elegant solutions to seemingly complex problems.

We thought you’d never ask...

What is the Knowunity AI companion?

Our AI Companion is a student-focused AI tool that offers more than just answers. Built on millions of Knowunity resources, it provides relevant information, personalised study plans, quizzes, and content directly in the chat, adapting to your individual learning journey.

Where can I download the Knowunity app?

You can download the app from Google Play Store and Apple App Store.

Is Knowunity really free of charge?

That's right! Enjoy free access to study content, connect with fellow students, and get instant help – all at your fingertips.

Most popular content: Proof by Contradiction

1

Most popular content in Maths

9
MathsMaths

Comprehensive Maths Concepts

Explore essential mathematical concepts including powers, geometry, statistics, and probability. This resource features 65 pages of detailed explanations, diagrams, and examples to enhance your understanding of topics such as right triangles, volume calculations, and data representation. Ideal for students seeking to strengthen their numeracy skills and grasp complex mathematical principles.

1080,0396,320
MathsMaths

GCSE Maths (Higher) // Revision Guide

The only GCSE maths (higher) revision guide you need to get a grade 9! Contains every topic, each with all potential question types and their solutions.

102,58760
M
MathsMaths

Medium Level alerbra

Master challenging maths concepts with this medium level flashcard set designed for grade 7/8 students. Strengthen your problem-solving skills and boost your confidence in maths!

78533
M
MathsMaths

Mastering Maths: Essential Concepts for Grade 10

Boost your math skills with this comprehensive flashcard set covering key concepts for grade 10. Perfect for exam preparation and building a strong foundation in mathematics.

105441
M
MathsMaths

Mastering Medium-Level Maths: Essential Flashcards for Grade 11 Students

Boost your Maths skills with this comprehensive set of flashcards designed specifically for Grade 11 students. Covering medium-level topics, these cards will help you ace your exams and build a solid foundation for advanced Maths.

119583
MathsMaths

Comprehensive Maths Concepts

Explore essential mathematical concepts including polynomial theorems, logarithmic properties, trigonometric functions, and integration techniques. This resource covers everything from solving inequalities to understanding exponential functions, providing a solid foundation for A-level mathematics. Ideal for students aiming for top grades.

1222,0161,817
P
MathsMaths

Percentage,fractions and decimals

how well do you know percentages,fractions and decimals

73133
M
MathsMaths

Maths Made Easy: Essential Concepts for Grade 7

Master key mathematical concepts with this comprehensive flashcard set designed specifically for 13-year-old students. Strengthen your understanding and ace your exams!

77622
M
MathsMaths

maths SOHCAHTOA

Trigonometric ratios SOHCAHTOA for calculating angles and sides in right-angled triangles.

112230

Most popular content

9
SociologySociology

Sociology of Education Overview

Explore comprehensive A-Level Sociology notes on the education system, covering key theories, policies, and sociological perspectives. This resource includes insights on marketisation, gender roles, cultural deprivation, and educational inequalities, providing a thorough understanding of how education shapes social stratification and individual achievement. Ideal for exam preparation and in-depth study.

12102,8443,040
SociologySociology

Sociology of Families: Comprehensive Revision

Dive into an extensive overview of family dynamics, perspectives, and patterns in sociology. This resource covers key concepts such as family diversity, gender roles, marriage, and the impact of social policies on family structures. Perfect for A-Level Sociology students preparing for Paper 2.

1273,6392,306
CriminologyCriminology

Criminology: Crime & Punishment Overview

Comprehensive mindmaps covering key concepts in the Crime and Punishment topic for WJEC Criminology Unit 4. This resource includes detailed insights into the Criminal Justice System, crime prevention strategies, sentencing models, and the roles of various agencies. Ideal for A-Level revision, ensuring you grasp essential theories and legislative processes to excel in your exams.

1254,8661,059
SociologySociology

Comprehensive Crime & Deviance Overview

Explore an extensive revision of crime and deviance topics, including theories, types of crime, and the impact of media. This resource covers key concepts such as Marxism, functionalism, gender and crime, and the influence of globalization on criminal behavior. Ideal for students seeking a thorough understanding of criminology and its various theories. Type: Full Topic Revision.

1251,6501,399
C
BiologyBiology

Cell Biology and Cell structure

cell structures

93,2320
English LiteratureEnglish Literature

An Inspector Calls: Character Insights

Explore in-depth analysis and key quotes for characters in J.B. Priestley's 'An Inspector Calls'. This resource covers Gerald Croft, Inspector Goole, Sheila Birling, Mrs. Birling, Eric Birling, and Eva Smith, focusing on themes of class, gender roles, and social responsibility. Ideal for students aiming for Grade 8 and above.

1025,421907
CriminologyCriminology

WJEC Unit 4 Criminology

Criminology unit 4 detailed revision note

127,147125
CriminologyCriminology

Criminology Theories Overview

Explore key criminology theories and their implications on crime and deviance. This comprehensive summary covers biological, psychological, and sociological perspectives, including labelling theory, right realism, and the impact of social campaigns on policy development. Ideal for A-Level criminology students seeking to understand the complexities of criminal behaviour and the factors influencing crime prevention strategies.

129,758210
English LiteratureEnglish Literature

Romeo and Juliet: Key themes

Key Romeo and Juliet themes and analysed quotes

106,703198

Can't find what you're looking for? Explore other subjects.

Students love us — and so will you.

4.6/5App Store
4.7/5Google Play

The app is very easy to use and well designed. I have found everything I was looking for so far and have been able to learn a lot from the presentations! I will definitely use the app for a class assignment! And of course it also helps a lot as an inspiration.

Stefan SiOS user

This app is really great. There are so many study notes and help [...]. My problem subject is French, for example, and the app has so many options for help. Thanks to this app, I have improved my French. I would recommend it to anyone.

Samantha KlichAndroid user

Wow, I am really amazed. I just tried the app because I've seen it advertised many times and was absolutely stunned. This app is THE HELP you want for school and above all, it offers so many things, such as workouts and fact sheets, which have been VERY helpful to me personally.

AnnaiOS user