aimnova.
DashboardMy LearningPaper MasteryStudy Plan

Stay in the loop

Study tips, product updates, and early access to new features.

aimnova.

AI-powered IB study platform with personalised plans, instant feedback, and examiner-style marking.

IB Subjects

  • IB Diploma
  • All IB Subjects
  • IB ESS
  • IB Economics
  • IB Business Management
  • IB Math AI SL
  • IB Math AA SL
  • Grade Calculator
  • Exam Timetable 2026
  • ESS Predictions 2026
  • Economics Predictions 2026
  • Business Management Predictions 2026
  • Math AI SL Predictions 2026
  • Math AA SL Predictions 2026

Study Resources

  • Free Study Notes
  • Revision Guide
  • Flashcards
  • ESS Question Bank
  • BM Question Bank
  • Mock Exams
  • Past Paper Feedback
  • Exam Skills
  • Command Terms

Company

  • Features
  • Pricing
  • About Us
  • Blog
  • Contact
  • Terms
  • Privacy
  • Cookies

© 2026 Aimnova. All rights reserved.

Made with 💜 for IB students worldwide

v0.1.868
NotesMath AA HLTopic 1.15Disproving with a counterexample
Back to Math AA HL Topics
1.15.31 min read

Disproving with a counterexample

IB Mathematics: Analysis and Approaches • Unit 1

AI-powered feedback

Stop guessing — know where you lost marks

Get instant, examiner-style feedback on every answer. See exactly how to improve and what the markscheme expects.

Try It Free

Contents

  • One example is enough
  • Choosing a good counterexample
A single failure kills a 'for all' claim: A claim that something is true for all values can be destroyed by a single value where it fails — a counterexample.

You don't prove anything in general; you just show one case that breaks it.

IB-style question — disprove a claim

Disprove the statement: 'Every prime number is odd.'

Step by step

  1. Find one prime that is not odd.
  2. 2 is prime, but it is even.

Final answer

The number 2 is an even prime — a counterexample — so the statement is false.

IB-style question — a famous near-miss

Disprove: 'n² − n + 41 is prime for every positive integer n.'

Step by step

  1. It works for n = 1, 2, 3, … but try n = 41.
  2. Substitute.
  3. 1681 = 41 × 41 is not prime.

Final answer

n = 41 gives 41², which is composite — a counterexample.

Try the awkward values first: Good places to look for a counterexample: 0, 1, negatives, fractions, and edge cases. These often break a claim that 'feels' true for ordinary positive whole numbers.

IB-style question — squares

Disprove: 'If a² = b² then a = b.'

Step by step

  1. Try a positive and its negative.
  2. Check the condition.

Final answer

a = 2, b = −2 satisfy a² = b² yet a ≠ b — a counterexample.

IB-style question — a fraction breaks it

Disprove: 'For every real number x, x² ≥ x.'

Step by step

  1. Whole numbers obey it, so try a fraction between 0 and 1.
  2. Compare.

Final answer

x = ½ gives x² < x, so the claim is false.

Try an IB Exam Question — Free AI Feedback

Test yourself on Disproving with a counterexample. Write your answer and get instant AI feedback — just like a real IB examiner.

Disprove: 'For all real numbers x, √(x²) = x.' [2 marks]

Related Math AA HL Topics

Continue learning with these related topics from the same unit:

1.1.1Writing standard form
1.1.2Standard form by hand
1.10.1Arrangements (order matters)
1.10.2Selections (order doesn't matter)
View all Math AA HL topics

Improve your exam technique

Command terms, paper structure, and mark-scheme tips for Math AA HL

Previous
1.15.2Proof by contradiction
Next
Solving a system of three equations1.16.1

11 exam-style questions ready for you

Students who practice on Aimnova improve their scores by 15% on average. Get instant feedback that shows exactly how to improve your answers.

Practice Now — FreeView All Math AA HL Topics