
A few successful calculations can make a mathematical statement look reliable. That does not establish that it works for every value allowed by the statement. A useful revision skill is to inspect a claim, identify its domain and look for a value that would make it fail. When such a value exists, explaining the failure can reveal the condition that the original claim overlooked.
Use these original exercises with the A Levels Pakistan study plan. They are reasoning activities rather than official examination questions. The amount and form of justification required in an assessed response depends on the actual task. Here, the aim is to distinguish testing examples, disproving a universal claim and establishing a result under stated conditions.
Read exactly what the claim includes
Begin by identifying the type of assertion. “For every real x” makes a claim about all real numbers. “For positive integers n” has a narrower domain. A value outside that domain cannot disprove the statement because the statement never promised to cover it. Write the allowed values beside the claim before doing calculations, especially when a restriction is easy to overlook.
Also identify whether the assertion says something always happens, sometimes happens or happens only under a condition. One example can establish that something is possible, but it cannot establish that it always happens. Similarly, a single failure can refute an unrestricted universal statement, while it may say nothing about a different statement limited to positive values or nonzero denominators.
Underline the conclusion separately from the conditions. For a claim such as “if x is positive, then x² is greater than x,” the condition is x greater than zero. The conclusion compares x² with x. Testing x = −2 would be irrelevant to this particular claim, whereas a positive fraction is allowed and may be informative.
Use a positive fraction to test a tempting assertion
Consider the original claim: for every positive real x, x² is greater than x. Positive whole-number examples such as 2 and 3 support the claim in those cases. They do not cover positive values between zero and one. Try x = 1/2. Then x² = 1/4, which is less than 1/2. The chosen value satisfies the condition but contradicts the conclusion.
Write both parts of that explanation. Merely recording “x = 1/2” leaves the reader to infer why it matters. A complete counterexample says that 1/2 is positive and that its square is 1/4, so the asserted inequality fails. The explanation connects the admissible input to the false conclusion rather than presenting an isolated calculation.
The boundary x = 1 is also informative: its square equals itself, so it does not satisfy a strict greater-than claim. However, the fraction example shows a stronger change in direction. Choose an example that exposes the misconception clearly, then stop. A long list of failures adds little when one valid counterexample already refutes the universal assertion.
Repair the condition using algebra
After disproving the original claim, ask what a correct related statement would be. The inequality x² > x can be written x(x − 1) > 0. For positive x, the product is positive precisely when x − 1 is positive, so the repaired condition is x > 1. For positive x between zero and one, the product is negative; at x = 1, it is zero.
If the domain is all real numbers, the inequality also holds when x < 0, since both x and x − 1 are negative and their product is positive. This wider result requires a separate sign analysis. Do not carry the earlier restriction “positive x” into a new statement without noticing it, or silently remove it and claim that the same explanation covers every case.
The compare-two-methods guide can help relate numerical testing to algebraic analysis. The fraction is enough to refute the initial universal claim. The factorisation explains the full set of values for which the strict inequality holds. These are different purposes, and recognising the purpose helps choose an efficient response.
Check a square-root claim against negative values
Now test the statement √(x²) = x for every real x. Positive examples will not reveal the difficulty. Choose x = −3. The left side is √9 = 3, whereas the right side is −3. Therefore the equality fails for this allowed value. The principal square root is nonnegative, so the correct general expression is √(x²) = |x| for real x.
The counterexample also explains why a hidden sign assumption can damage a longer derivation. If the student replaces a square root with a possibly negative quantity, later steps may look orderly while resting on a false equality. Return to the exact line where the sign restriction was needed. Do not try to repair the answer by changing a final sign without understanding the source of the error.
The derivation-reconstruction guide uses this issue when considering squared expressions. It keeps the whole expression together and includes both root possibilities when solving an equation. Link the counterexample to that underlying condition so it becomes a reusable check rather than another fact to memorise in isolation.

Distinguish a counterexample from an undefined expression
Suppose a proposed identity contains division by x − 2 and explicitly assumes x is not 2. Substituting x = 2 does not disprove that restricted identity. It violates the stated domain and creates an undefined expression. A counterexample must be a value that the claim actually allows and for which the relevant expressions are meaningful.
If a statement omits a necessary restriction, identify that omission carefully. You may be able to say it is not valid as written because it includes an undefined case. That is different from demonstrating two defined expressions with unequal values. Clear language helps a teacher see whether the student understands domain restrictions or has merely found a calculator error message.
Keep restrictions visible during simplification as well. Cancelling a common factor may produce an expression with a broader apparent domain than the original. The simplified expression can agree wherever the original is defined without making the original defined at every new input. Do not erase the original restriction simply because the shortened formula no longer displays the denominator.
Do not treat random testing as proof
A calculator or short program can check many inputs quickly. Such testing can help locate a failure, but even a large finite collection does not establish an assertion about every real number. A narrow interval, a boundary value or a value outside the tested range may behave differently. Decide whether the task calls for a counterexample, a proof or a numerical investigation before choosing the method.
For an explicitly finite domain, checking every allowed case may be a valid exhaustive argument. That is a different situation from checking several samples of an infinite domain. State why the cases are complete if you rely on exhaustion. Without that explanation, a reader cannot tell whether the list covers all possibilities or only the examples that happened to be convenient.
Use numerical tools to support reasoning rather than conceal it. If a search finds a counterexample, write a simple exact calculation that establishes the failure where possible. The independent-attempt record can note whether a hint or tool suggested the input, while the final explanation shows why the example works mathematically.
Build a short practice routine around the misconception
Choose one claim and give the student time to identify the domain before testing it. Ask which kinds of values might expose a weakness: zero, a negative value, a fraction, a boundary or a value making a denominator vanish. These are prompts for investigation, not a mandatory checklist that every claim needs. The relevant choices depend on the statement.
After a counterexample is found, ask for a repaired version of the claim and an explanation of its new conditions. Then offer a different claim without the same hint. This fresh task tests whether the student can choose a useful input independently. Repeating the original counterexample from memory would show recall without establishing that the testing strategy transfers.
Keep the record concise: original claim, allowed domain, chosen input, calculated contradiction and any repaired statement. Use the mixed-practice guide to combine this reasoning with another skill without turning the session into unrelated exercises. For subject support, confirm availability through the admissions FAQ rather than assuming every extension is included.
Frequently asked questions
Is one counterexample really enough?
Yes, one valid counterexample refutes a statement claiming that something holds for every allowed case. Explain that the input meets the conditions and that the conclusion fails. A value outside the domain or an unexplained number does not provide the same argument.
Do several successful examples prove a universal claim?
Usually not when the domain is infinite. They show that the claim works for those examples. A general argument is needed to establish the full assertion. If the domain is finite and every case is checked, explain why the enumeration is complete.
Which values should I try first?
Choose values related to the structure of the claim. Fractions between zero and one can test assumptions about powers, negative values can expose sign problems, and boundaries can challenge strict inequalities. There is no single input that is best for every statement.
Can an undefined expression be my counterexample?
Check the wording carefully. An input excluded by the stated domain is not a counterexample. If a necessary restriction was omitted, explain that the claim is not defined for the included case. Distinguish that issue from an equality failing between two defined values.
What should I do after finding the failure?
Write the contradiction clearly and consider whether a related statement can be repaired with an appropriate condition. Do not assume the repaired version is true merely because it avoids one failure. Justify the new condition using suitable reasoning or further analysis.
Ask about O and A Level courses
Share your subjects, current study stage and the support you need. The Abeel Eschool team can help you check the current course options.
