Using Counterexamples - Math 1

A mathematics teacher states: "If a function passes the vertical line test, then it must also pass the horizontal line test." Which function type provides the clearest counterexample to this statement?
Answer: $f(x) = x^2$ because it passes the vertical line test but fails the horizontal line test A counterexample needs to pass the vertical line test (be a function) but fail the horizontal line test (not be one-to-one). Choice C correctly identifies $f(x) = x^2$ as passing the vertical line test but failing the horizontal line test. Choice A incorrectly states $x^2$ fails the vertical line test. Choice B supports the claim. Choice D describes a relation that isn't a function.
Consider the claim: "If a polynomial function has degree 3, then it must have exactly 3 real zeros." Which polynomial serves as a counterexample to this statement?
Answer: $p(x) = x^3 + 1$ because it has degree 3 but only 1 real zero When you encounter questions about counterexamples, you need to find a case that shows the original claim is false. The claim here states that degree 3 polynomials must have exactly 3 real zeros. To disprove this, you need a degree 3 polynomial that has a different number of real zeros. The Fundamental Theorem of Algebra tells us that a polynomial of degree n has exactly n complex zeros (counting multiplicities), but some of these zeros might be complex numbers rather than real numbers. So while a cubic polynomial always has 3 total zeros, they don't all have to be real. Answer choice D, $p(x) = x^3 + 1$ , provides the perfect counterexample. This polynomial has degree 3, but when you solve $x^3 + 1 = 0$ , you get $x^3 = -1$ , which gives $x = -1$ as the only real solution. The other two solutions are complex: $x = \frac{1 \pm i\sqrt{3}}{2}$ . Since this cubic has only 1 real zero instead of 3, it disproves the claim. Choice A is wrong because $p(x) = x^3 - x$ actually supports the claim rather than contradicting it—it has exactly 3 real zeros. Choice B is wrong because it discusses a degree 4 polynomial, which is irrelevant to a claim about degree 3 polynomials. Choice C is wrong because it involves a degree 2 polynomial, again irrelevant to the cubic claim. Remember: to find a counterexample, look for a case that meets the hypothesis but fails the conclusion.
A student claims: "If a quadrilateral has four equal sides, then it must be a square." Which of the following provides the best counterexample to disprove this claim?
Answer: A rhombus with sides of length 4 and angles of 60°, 120°, 60°, 120° A counterexample must satisfy the hypothesis (four equal sides) but fail the conclusion (being a square). Choice B is a rhombus with four equal sides but not 90° angles, so it's not a square. Choice A doesn't have four equal sides. Choice C describes a rectangle that is actually a square. Choice D doesn't have four equal sides.
A researcher states: "If two variables have a correlation coefficient of 0.8, then one variable causes changes in the other." Which scenario best serves as a counterexample?
Answer: Ice cream sales and drowning incidents, which have correlation 0.85 but are both caused by hot weather A counterexample needs high correlation (hypothesis true) but no direct causation (conclusion false). Ice cream sales and drowning incidents are highly correlated due to a confounding variable (hot weather) but neither causes the other. The other choices either have lower correlation or demonstrate actual causal relationships.
A student claims: "If a quadrilateral has four equal sides, then it must be a square." Which of the following serves as a counterexample to disprove this claim?
Answer: A rhombus with four sides of length 4 units and no right angles A counterexample must satisfy the hypothesis (four equal sides) but fail the conclusion (being a square). A rhombus has four equal sides but is not a square unless it has right angles. Choice A doesn't have four equal sides, Choice C doesn't have four equal sides, and Choice D doesn't have four equal sides.
A student states: "If $\log_b(xy) = \log_b(x) + \log_b(y)$ , then $b$ must equal 10." Which choice of $b$ serves as a counterexample to this claim?
Answer: $b = e$ , since the natural logarithm follows the same addition property This question tests your understanding of logarithm properties and what makes a valid counterexample. The student incorrectly believes that the product rule $\log_b(xy) = \log_b(x) + \log_b(y)$ only works when the base $b = 10$ . To disprove this claim, you need to find another valid base where this property still holds. The product rule for logarithms is actually a fundamental property that works for any valid logarithmic base, not just base 10. Choice D is correct because $b = e$ (approximately 2.718) creates a perfectly valid logarithm where $\log_e(xy) = \log_e(x) + \log_e(y)$ . Since this property holds for a base other than 10, it serves as a counterexample to the student's claim. Choice A misses the point entirely—using $b = 10$ supports the student's claim rather than disproving it. Choice B fails because $b = 0$ creates undefined logarithms; you cannot have a logarithm with base 0. Choice C also involves undefined logarithms since $b = 1$ is not a valid logarithmic base ( $\log_1$ would create the impossible equation $1^y = x$ for any $x \neq 1$ ). Remember that logarithm properties like the product rule, quotient rule, and power rule work for any valid base (any positive number except 1). When you see questions about logarithm properties, don't assume they only apply to common bases like 10 or $e$ —these rules are universal across all valid bases.
Consider the claim: "If two lines are cut by a transversal and corresponding angles are equal, then the lines must be parallel." A student wants to challenge this with a counterexample. What should you advise?
Answer: The statement is a proven theorem, so no valid counterexample can exist This statement is the converse of a fundamental theorem in geometry and is itself a proven theorem. If corresponding angles are equal when two lines are cut by a transversal, the lines must be parallel. Since this is mathematically proven, no counterexample exists. Choices A and B describe impossible scenarios, and Choice D is geometrically meaningless.
Consider the statement: "If two lines in a plane are not parallel, then they must intersect at exactly one point." In which geometric context does this statement fail to hold true?
Answer: When the lines are identical (the same line), they intersect at infinitely many points The statement specifies "in a plane" and "not parallel." A counterexample needs two lines that are not parallel but don't intersect at exactly one point. Choice C correctly identifies that identical lines (which are the same line, not parallel lines) intersect at infinitely many points. Choice B involves three dimensions, outside the stated context. Choices A and D support the statement rather than contradicting it.
Maria conjectures: "For any integer $n$ , if $n^2$ is even, then $n$ is divisible by 4." To disprove this conjecture, which value of $n$ serves as the most direct counterexample?
Answer: $n = 6$ because $6^2 = 36$ is even but 6 is not divisible by 4 A counterexample must make the hypothesis true but the conclusion false. Choice B has $n = 6$ where $n^2 = 36$ is even (hypothesis true) but $n = 6$ is not divisible by 4 (conclusion false). Choices A and D have odd squares, failing the hypothesis. Choice C supports the conjecture rather than disproving it.
Consider the statement: "If $f(x)$ is continuous on the interval $[0,1]$ , then $f(x)$ has a maximum value on that interval." A student believes this is false. What should you tell the student about finding a counterexample?
Answer: No counterexample exists because the statement is true by the Extreme Value Theorem The Extreme Value Theorem guarantees that continuous functions on closed, bounded intervals have both maximum and minimum values. The statement is true, so no counterexample exists. Choice A is wrong because $f(x) = x$ has maximum value 1 at $x = 1$ . Choice B is wrong because $f(x) = \frac{1}{x}$ is not continuous on $[0,1]$ .
Marcus argues: "For any real numbers $x$ and $y$ , if $x^2 = y^2$ , then $x = y$ ." To show this statement is false, which pair of values would serve as the most direct counterexample?
Answer: $x = 4$ and $y = -4$ , since $4^2 = 16$ and $(-4)^2 = 16$ A counterexample must make the hypothesis true ( $x^2 = y^2$ ) but the conclusion false ( $x \neq y$ ). With $x = 4$ and $y = -4$ , we have $4^2 = (-4)^2 = 16$ , so the hypothesis holds, but $4 \neq -4$ , so the conclusion fails. Choice A makes both hypothesis and conclusion true, while Choices C and D make the hypothesis false.
A student argues: "If two angles are supplementary, then they must both be acute angles." Which pair of angle measures most effectively disproves this claim?
Answer: $30°$ and $150°$ because they are supplementary but one is obtuse When you encounter questions about disproving mathematical claims, you need to find a counterexample—a specific case that contradicts the statement. The claim here is that supplementary angles (angles that sum to $180°$ ) must both be acute (less than $90°$ ). To disprove this claim effectively, you need angles that ARE supplementary but do NOT both fit the "acute" requirement. Let's check: $30° + 150° = 180°$ , so these angles are indeed supplementary. However, $150°$ is obtuse (greater than $90°$ ), not acute. This directly contradicts the claim that supplementary angles must both be acute, making option D the perfect counterexample. Option A fails because $45° + 45° = 90°$ , not $180°$ , so these angles aren't supplementary at all—they can't disprove a claim about supplementary angles. Option B has the same problem: $60° + 30° = 90°$ , making them complementary, not supplementary. Option C presents $90° + 90° = 180°$ , which are supplementary, but both angles are right angles (exactly $90°$ ), not acute angles (less than $90°$ ). While this does show supplementary angles that aren't acute, the original claim specifically mentioned "acute angles," making the obtuse angle in option D a clearer contradiction. When disproving mathematical statements, always look for the most direct counterexample that satisfies the given condition while clearly violating the claimed conclusion. One counterexample is enough to disprove any universal claim.
A probability student claims: "If events A and B are mutually exclusive, then they must also be independent." Which scenario most clearly disproves this statement?
Answer: Drawing from a deck where A = {drawing a heart} and B = {drawing a spade}, since $P(A \cap B) = 0$ but $P(A) \cdot P(B) \neq 0$ A counterexample needs events that are mutually exclusive but not independent. Choice C gives mutually exclusive events ( $P(A \cap B) = 0$ ) that are not independent because $P(A) \cdot P(B) = \frac{1}{4} \cdot \frac{1}{4} = \frac{1}{16} \neq 0$ . Choice A describes events that aren't mutually exclusive. Choice B describes independent events. Choice D describes events that cannot both occur on a single roll, but doesn't clearly address independence.
A statistics student claims: "If a dataset has a mean of 50, then at least half the values must be 50 or greater." Which dataset would serve as an effective counterexample?
Answer: $\{10, 20, 30, 100, 90\}$ with mean 50 and median 30 When analyzing claims about statistical measures, you need to understand that the mean can be heavily influenced by extreme values, while concepts like the median better represent the "middle" of a dataset. The student's claim confuses the mean with the median. The median is the value where at least half the data points are greater than or equal to it, but the mean has no such guarantee. A few very large values can pull the mean above most of the actual data points. Option D provides the perfect counterexample: $\{10, 20, 30, 100, 90\}$ has a mean of 50, but only 2 out of 5 values (40%) are 50 or greater. The two large values (100 and 90) pull the mean up to 50, even though most values fall below this mean. This directly contradicts the student's claim. Option A fails as a counterexample because exactly half the values (50%) are 50 or greater, which doesn't disprove the claim that says "at least half." Option B has a mean of 49, not 50, so it's irrelevant to testing a claim about datasets with mean 50. Option C supports the student's claim rather than contradicting it, since all values equal 50. Remember: the mean can be "pulled" by extreme values away from where most data points actually lie. When you need a counterexample to disprove a statistical claim, look for datasets where outliers create a clear separation between the mean and the bulk of the data.
Consider the claim: "If $n$ is an integer and $n^2$ is even, then $n$ is divisible by 4." Which of the following provides a valid counterexample?
Answer: $n = 6$ , because $6^2 = 36$ is even but 6 is not divisible by 4 A counterexample needs the hypothesis ( $n^2$ is even) to be true but the conclusion ( $n$ divisible by 4) to be false. For $n = 6$ : $6^2 = 36$ is even (hypothesis true), but 6 is not divisible by 4 (conclusion false). Choice A supports the claim, while Choices C and D have false hypotheses since the squares are odd.
A student claims: "All prime numbers greater than 2 are odd." Another student wants to use a counterexample to show this is false. What is the fundamental problem with this approach?
Answer: The claim is actually true, so no valid counterexample exists for this statement The statement "All prime numbers greater than 2 are odd" is actually true. Since 2 is the only even prime number, all other primes must be odd. Therefore, no counterexample exists because the statement is correct. The other choices incorrectly suggest that counterexamples have limitations that don't actually exist in these contexts.
A student argues: "If a polynomial has degree 3, then it must have exactly 3 real roots." Which polynomial serves as the best counterexample?
Answer: $p(x) = x^3 + x^2 + x + 1$ , which factors as $(x+1)(x^2+1)$ When you encounter questions about polynomial roots, remember that the degree tells you the maximum number of roots, not the exact number of real roots. A degree-3 polynomial must have exactly 3 roots total (counting multiplicity), but some of these roots might be complex numbers rather than real numbers. To disprove the student's claim, you need a degree-3 polynomial that doesn't have exactly 3 real roots. Looking at choice A, $p(x) = x^3 + x^2 + x + 1 = (x+1)(x^2+1)$ , you can find the roots by setting each factor to zero. From $(x+1) = 0$ , you get $x = -1$ , which is real. From $(x^2+1) = 0$ , you get $x^2 = -1$ , so $x = ±i$ , which are complex numbers. This degree-3 polynomial has only 1 real root and 2 complex roots, perfectly contradicting the student's argument. Choice B is wrong because $(x-1)(x-2)(x-3) = 0$ gives three real roots: $x = 1, 2, 3$ . This actually supports the student's incorrect claim rather than disproving it. Choice C is wrong because $x^2 - 4$ has degree 2, not 3, so it's irrelevant to the claim about degree-3 polynomials. Choice D is wrong because $x^4 - 1$ has degree 4, not 3, making it unsuitable as a counterexample for degree-3 polynomials. Remember: complex roots always come in conjugate pairs for polynomials with real coefficients. When you see $x^2 + \text{positive number} = 0$ , those roots will be complex, reducing the count of real roots.
A calculus student argues: "If $f'(x) > 0$ for all $x$ in an interval, then $f(x)$ has no critical points in that interval." Another student wants to find a counterexample. What should the second student conclude?
Answer: No counterexample exists because critical points occur where $f'(x) = 0$ , which contradicts $f'(x) > 0$ Critical points occur where $f'(x) = 0$ or $f'(x)$ is undefined. If $f'(x) > 0$ throughout an interval, then $f'(x) \neq 0$ in that interval, so no critical points exist there. The statement is true. Choice A is wrong because $f'(0) = 0$ , not $> 0$ . Choice B doesn't specify the interval clearly. Choice D doesn't maintain $f'(x) > 0$ throughout any interval.
A geometry student claims: "If a triangle is isosceles, then the triangle must be acute." Which triangle measurements provide the best counterexample to disprove this claim?
Answer: A triangle with sides 5, 5, 8 because it is isosceles but obtuse When you encounter a claim about geometric properties, you need to understand what would disprove it. A counterexample is a single case that shows the claim is false. Here, the claim states that all isosceles triangles are acute, so you need an isosceles triangle that is NOT acute. To disprove this claim, you need a triangle with two equal sides (isosceles) that has an obtuse angle (greater than 90°). Let's check if the triangle with sides 5, 5, 8 works. Using the Law of Cosines to find the largest angle (opposite the longest side): $c^2 = a^2 + b^2 - 2ab\cos(C)$ Solving for angle C: $8^2 = 5^2 + 5^2 - 2(5)(5)\cos(C)$ $64 = 50 - 50\cos(C)$ $\cos(C) = -0.28$ Since cosine is negative, angle C is obtuse (greater than 90°). This triangle is both isosceles AND obtuse, making it a perfect counterexample. Choice B (3, 4, 5) doesn't help because it's not isosceles—you need an isosceles triangle to disprove the claim about isosceles triangles. Choice C (6, 6, 6) actually supports the claim since this equilateral triangle is both isosceles and acute. Choice D (2, 3, 4) is neither isosceles nor relevant to disproving the claim. Strategy tip: When disproving geometric claims, identify exactly what properties your counterexample must have. Here, you needed "isosceles AND not acute"—only choice A satisfies both requirements.
Elena claims: "If a triangle has two equal angles, then all three angles must be equal." To disprove this using a counterexample, which triangle would work?
Answer: A right triangle with angles of $45°$ , $45°$ , and $90°$ A counterexample needs two equal angles (satisfying the hypothesis) but not all three angles equal (making the conclusion false). The $45°$ - $45°$ - $90°$ triangle has two equal angles but the third is different. Choice A supports the claim, while Choices C and D have no equal angles, making the hypothesis false.

Start this quiz