Math 1 Quiz: Justifying Solution Paths
20 questions · exam conditions
0:00
Justifying Solution PathsQuestion 1 of 20

Two students disagree about whether the statement "If a number is divisible by 6, then it is divisible by 12" is true. Which approach would definitively resolve their disagreement?

Find several examples of numbers divisible by 6 and check if they're divisible by 12.
Prove the statement using the fact that 12 is a multiple of 6.
Find one counterexample: a number divisible by 6 but not by 12.
Show that any number divisible by 6 must have all prime factors of 12.
← Back to quizzes

Math 1 Quiz

Math 1 Quiz: Justifying Solution Paths

Practice Justifying Solution Paths in Math 1 with focused quiz questions that help you check what you know, review explanations, and build confidence with test-style prompts.

What this quiz covers

This quiz focuses on Justifying Solution Paths, giving you a quick way to practice the rules, question types, and explanations that matter most for Math 1.

How to use this quiz

Try each quiz question before looking at the correct answer. Use the explanations to review missed ideas, then come back to similar questions until the pattern feels familiar.

All questions

Question 1

Two students disagree about whether the statement "If a number is divisible by 6, then it is divisible by 12" is true. Which approach would definitively resolve their disagreement?

  1. Find several examples of numbers divisible by 6 and check if they're divisible by 12.
  2. Prove the statement using the fact that 12 is a multiple of 6.
  3. Find one counterexample: a number divisible by 6 but not by 12. (correct answer)
  4. Show that any number divisible by 6 must have all prime factors of 12.
Explanation: The correct answer is C. To prove a conditional statement false, one counterexample is sufficient. For instance, 18 is divisible by 6 but not by 12. Choice A only provides evidence, not proof. Choice B is incorrect reasoning since the statement is actually false. Choice D is also incorrect reasoning about prime factorization.

Question 2

To prove that x2=x\sqrt{x^2} = |x| for all real numbers xx, a student provides the following justification: "Since x2\sqrt{x^2} represents the principal square root, and principal square roots are always non-negative, we need x20\sqrt{x^2} \geq 0. Also, (x2)2=x2(\sqrt{x^2})^2 = x^2. The only non-negative number whose square equals x2x^2 is x|x|, since x2=x2|x|^2 = x^2 and x0|x| \geq 0." What is the primary logical weakness in this argument?

  1. The argument fails to consider that x2\sqrt{x^2} might not be defined for negative values of xx, making the proof incomplete for the entire real number domain.
  2. The argument incorrectly assumes that x2=x2|x|^2 = x^2, which is only true when x0x \geq 0, so the reasoning breaks down for negative xx values.
  3. The argument lacks explicit verification that x|x| is indeed the unique non-negative solution, since other expressions like x2\sqrt{x^2} could also satisfy the given conditions. (correct answer)
  4. The argument correctly establishes necessary conditions but doesn't demonstrate sufficiency by showing that x|x| actually equals x2\sqrt{x^2} through substitution or cases.
Explanation: The argument establishes that x2\sqrt{x^2} must be non-negative and satisfy (x2)2=x2(\sqrt{x^2})^2 = x^2, then claims x|x| is "the only" such number. However, this uniqueness isn't rigorously proven - the argument is somewhat circular since it's trying to prove x2=x\sqrt{x^2} = |x| but then uses the fact that x|x| is the unique solution to justify the equality. A complete proof would need to explicitly show uniqueness or use case analysis. Choice A is wrong because x2\sqrt{x^2} is defined for all real xx. Choice B is wrong because x2=x2|x|^2 = x^2 is always true. Choice D is wrong because the argument does attempt to show equality, though incompletely.

Question 3

A student argues: "If logb(xy)=logb(x)+logb(y)\log_b(xy) = \log_b(x) + \log_b(y), then we can conclude that logb(xy)=logb(x)logb(y)\log_b(x - y) = \log_b(x) - \log_b(y) by analogy, since subtraction and addition are inverse operations just like division and multiplication are inverse operations." Which statement best identifies the flaw in this reasoning?

  1. The analogy fails because logarithm properties are derived from exponent rules, not from arithmetic operations, so the inverse relationship doesn't transfer to logarithmic expressions.
  2. The reasoning is flawed because logb(xy)\log_b(x - y) is undefined when xy0x - y \leq 0, while logb(x)logb(y)\log_b(x) - \log_b(y) can exist for positive xx and yy.
  3. The analogy incorrectly assumes that logarithm properties follow arithmetic patterns, when actually logb(x/y)=logb(x)logb(y)\log_b(x/y) = \log_b(x) - \log_b(y), not a subtraction inside the logarithm. (correct answer)
  4. The student's reasoning fails because the logarithm product rule requires b>1b > 1, but the proposed subtraction rule would require 0<b<10 < b < 1 for the analogy to work.
Explanation: The fundamental error is misunderstanding how logarithm properties work. While logb(xy)=logb(x)+logb(y)\log_b(xy) = \log_b(x) + \log_b(y) is true, the correct analog for subtraction is logb(x/y)=logb(x)logb(y)\log_b(x/y) = \log_b(x) - \log_b(y), not logb(xy)=logb(x)logb(y)\log_b(x-y) = \log_b(x) - \log_b(y). The student confuses operations inside the logarithm with operations on the results. Choice A is partially correct but misses the specific error about which operations correspond. Choice B identifies a domain issue but not the core logical flaw. Choice D is incorrect because logarithm properties don't depend on whether b>1b > 1 or 0<b<10 < b < 1 in this way.

Question 4

When solving 2x3=7|2x - 3| = 7, a student writes: "The absolute value equation gives us two cases. Case 1: 2x3=72x - 3 = 7, so x=5x = 5. Case 2: 2x3=72x - 3 = -7, so x=2x = -2. Both solutions check out when substituted back." Another student objects: "You need to consider when the expression inside is positive or negative first." Who has the more mathematically sound approach and why?

  1. The first student is correct because the definition of absolute value directly gives two cases for any equation A=B|A| = B where B>0B > 0, without needing to analyze signs first. (correct answer)
  2. The second student is correct because proper absolute value solving requires determining where 2x302x - 3 \geq 0 and 2x3<02x - 3 < 0 to handle the cases systematically.
  3. Both approaches are mathematically valid, but the second student's method provides better insight into the geometric meaning of absolute value as distance on a number line.
  4. The first student's method is more efficient and equally rigorous, while the second student's approach is unnecessarily complicated for this type of absolute value equation.
Explanation: The first student uses the correct and most direct approach. For any equation of the form A=B|A| = B where B>0B > 0, the definition of absolute value immediately gives us A=BA = B or A=BA = -B. There's no need to analyze the sign of the expression inside the absolute value first - that's required for absolute value inequalities, not equations. The second student is confusing the method for solving absolute value equations with the method for absolute value inequalities. Choice B incorrectly suggests the sign analysis is necessary. Choice C is wrong because the second approach isn't equally valid for equations. Choice D is correct about efficiency but doesn't clearly explain why the first method is mathematically sound.

Question 5

In proving that the sum of two even integers is even, a student writes: "Let mm and nn be even integers. Then m=2km = 2k and n=2jn = 2j for some integers kk and jj. Therefore, m+n=2k+2j=2(k+j)m + n = 2k + 2j = 2(k + j). Since kk and jj are integers, k+jk + j is an integer, so m+nm + n is even." Which aspect of this proof demonstrates the strongest logical reasoning?

  1. Using the formal definition of even integers to translate the problem into algebraic expressions that can be manipulated using arithmetic properties of integers. (correct answer)
  2. Recognizing that the closure property of integers under addition ensures that k+jk + j remains an integer, preserving the even form of the sum.
  3. Applying the distributive property correctly to factor out the common factor of 2, which directly establishes the even nature of the resulting expression.
  4. Ensuring that the chosen variables kk and jj are explicitly stated to be integers, which validates the use of integer properties throughout the proof.
Explanation: The strongest logical aspect is the student's use of the formal definition of even integers (m=2km = 2k, n=2jn = 2j) to convert the abstract concept into concrete algebraic expressions. This definitional approach is the foundation that makes all subsequent steps valid and rigorous. Choice B identifies an important step but not the foundational reasoning. Choice C describes a mechanical algebraic step rather than logical reasoning. Choice D points out good mathematical practice but not the core logical strength of the approach.

Question 6

A student claims: "The equation x24=x2\sqrt{x^2 - 4} = x - 2 can be solved by squaring both sides to get x24=(x2)2=x24x+4x^2 - 4 = (x - 2)^2 = x^2 - 4x + 4. This simplifies to 4=4x+4-4 = -4x + 4, so 4x=84x = 8 and x=2x = 2." When they check by substitution, they find 224=0=0\sqrt{2^2 - 4} = \sqrt{0} = 0 and 22=02 - 2 = 0, so both sides equal 0. They conclude x=2x = 2 is the solution. What is the most important oversight in this solution process?

  1. The student failed to check the domain restriction x240x^2 - 4 \geq 0, which requires x2x \leq -2 or x2x \geq 2, making x=2x = 2 a boundary case needing special consideration.
  2. When squaring both sides of an equation involving square roots, potential extraneous solutions can be introduced, requiring verification that solutions satisfy the original equation's implicit restrictions.
  3. The algebraic manipulation is incorrect because (x2)2(x-2)^2 should equal x24x+4x^2 - 4x + 4, but the student wrote the expansion incorrectly in the simplification step.
  4. The student should have considered that x240\sqrt{x^2 - 4} \geq 0 always, so solutions are only valid when x20x - 2 \geq 0, meaning x2x \geq 2, which wasn't verified. (correct answer)
Explanation: The critical oversight is not recognizing that x240\sqrt{x^2 - 4} \geq 0 by definition of square root, so we need x20x - 2 \geq 0, which means x2x \geq 2. The student found x=2x = 2 and verified it works, but didn't explicitly check this non-negativity condition for the right side. While x=2x = 2 happens to satisfy x2x \geq 2, the student should have stated this requirement. Choice A mentions domain restrictions but focuses on the wrong aspect. Choice B mentions extraneous solutions generally but doesn't identify the specific issue. Choice C is wrong - the algebra is correct.

Question 7

In justifying why limx0sinxx=1\lim_{x \to 0} \frac{\sin x}{x} = 1, a student argues: "As xx approaches 0, both sinx\sin x and xx approach 0, so we get 00\frac{0}{0}. Since sinxx\sin x \approx x for small values of xx, the ratio sinxx\frac{\sin x}{x} approaches xx=1\frac{x}{x} = 1." What is the primary mathematical issue with this reasoning?

  1. The student incorrectly treats the indeterminate form 00\frac{0}{0} as if it equals 1, when indeterminate forms require special techniques like L'Hôpital's rule to evaluate properly.
  2. The reasoning is circular because claiming sinxx\sin x \approx x for small xx essentially assumes the conclusion that sinxx1\frac{\sin x}{x} \approx 1, which is what we're trying to prove. (correct answer)
  3. The student fails to provide a rigorous definition of what sinxx\sin x \approx x means mathematically, making the argument imprecise and not suitable for a formal limit proof.
  4. The argument doesn't address why the approximation sinxx\sin x \approx x becomes more accurate as xx approaches 0, which is essential for justifying the limit evaluation.
Explanation: The reasoning is circular. The student uses the fact that sinxx\sin x \approx x for small xx to conclude that sinxx1\frac{\sin x}{x} \to 1, but the statement 'sinxx\sin x \approx x for small xx' is essentially equivalent to saying sinxx1\frac{\sin x}{x} \approx 1 for small xx, which is precisely what we're trying to prove. A rigorous proof would use geometric arguments or series expansions. Choice A is incorrect because the student doesn't treat 00\frac{0}{0} as equaling 1. Choice C identifies imprecision but misses the circularity. Choice D points to incompleteness but not the fundamental logical flaw.

Question 8

A student proves that 2\sqrt{2} is irrational using proof by contradiction. They assume 2=pq\sqrt{2} = \frac{p}{q} where pp and qq are integers in lowest terms, then derive 2q2=p22q^2 = p^2. They conclude: "Since the left side has an odd number of factors of 2 and the right side has an even number of factors of 2, we have a contradiction." What is the logical gap in this reasoning?

  1. The student failed to establish that pp and qq are both even, which is necessary to show that the fraction wasn't actually in lowest terms as assumed.
  2. The reasoning doesn't explain why 2q22q^2 necessarily has an odd number of factors of 2, since q2q^2 could have any number of factors of 2 depending on qq.
  3. The student should have used the fact that p2p^2 is even to conclude pp is even, then substituted p=2kp = 2k to show both pp and qq are even, contradicting lowest terms. (correct answer)
  4. The argument incorrectly assumes that 2q22q^2 and p2p^2 must have different numbers of factors of 2, when they could be equal if qq contains the appropriate factors.
Explanation: The student jumps to a conclusion about factors of 2 without showing the work. The correct reasoning requires showing that from 2q2=p22q^2 = p^2, we can conclude p2p^2 is even, therefore pp is even. Then substituting p=2kp = 2k gives 2q2=4k22q^2 = 4k^2, so q2=2k2q^2 = 2k^2, making qq even too. This contradicts the assumption that pq\frac{p}{q} is in lowest terms. Choice A identifies the conclusion but not the missing steps. Choice B is incorrect because 2q22q^2 does have an odd number of factors of 2. Choice D misunderstands the argument structure.

Question 9

A student attempts to prove that if f(x)=ax2+bx+cf(x) = ax^2 + bx + c has a maximum value, then a<0a < 0. They write: "Suppose f(x)f(x) has a maximum value. Then the parabola opens downward. Parabolas open downward when a<0a < 0. Therefore, a<0a < 0." Which statement best evaluates this proof?

  1. The proof is logically valid because it correctly connects the existence of a maximum value to the downward orientation, then to the sign of the leading coefficient. (correct answer)
  2. The proof is invalid because it assumes that quadratic functions with maximum values must be parabolas, when other types of functions can also have maximum values.
  3. The proof is valid in its logical structure but lacks rigor because it doesn't formally define what 'maximum value' means in the context of quadratic functions.
  4. The proof is circular because it assumes that having a maximum value means opening downward, which presupposes knowledge about the relationship between aa and the parabola's orientation.
Explanation: The proof is logically sound. The reasoning follows a valid chain: maximum value exists → parabola opens downward → a<0a < 0. Each step is mathematically correct. The student correctly identifies that a quadratic function has a maximum (rather than minimum) precisely when its parabola opens downward, which occurs when a<0a < 0. Choice B is wrong because the function is given as quadratic. Choice C is overly critical - the concept of maximum value is standard. Choice D incorrectly identifies circularity; the connection between maximum values and downward-opening parabolas is a legitimate mathematical fact, not an assumption.

Question 10

To justify that the inverse of f(x)=2x+1x3f(x) = \frac{2x + 1}{x - 3} is f1(x)=3x+1x2f^{-1}(x) = \frac{3x + 1}{x - 2}, a student writes: "I'll verify by composition. f(f1(x))=f(3x+1x2)=2(3x+1x2)+1(3x+1x2)3f(f^{-1}(x)) = f\left(\frac{3x + 1}{x - 2}\right) = \frac{2\left(\frac{3x + 1}{x - 2}\right) + 1}{\left(\frac{3x + 1}{x - 2}\right) - 3}. After simplifying the complex fraction, I get xx. Similarly, f1(f(x))=xf^{-1}(f(x)) = x." The teacher asks the student to also verify by the algebraic method. What is the primary advantage of including both verification methods?

  1. The algebraic method provides independent confirmation and shows the systematic process of finding inverses, while composition verifies the final result works correctly. (correct answer)
  2. Composition checking can miss errors in domain restrictions, while the algebraic method naturally reveals where the inverse function might be undefined or problematic.
  3. The algebraic method is more rigorous mathematically, while composition checking is more computational, so using both ensures complete mathematical validity.
  4. Different methods can reveal different types of errors: algebraic mistakes versus computational mistakes, making the verification more thorough and reliable overall.
Explanation: The primary advantage is that the algebraic method (solving y=2x+1x3y = \frac{2x+1}{x-3} for xx, then swapping variables) demonstrates the systematic process of how to find the inverse function, while composition verification confirms that the proposed inverse actually works. These serve complementary purposes: one shows derivation, the other shows correctness. The algebraic method also provides insight into the structure of the problem. Choice B overstates domain issues - both methods can reveal domain problems. Choice C incorrectly suggests one method is more rigorous. Choice D is too general about error types.

Question 11

In proving the identity tan(π2x)=cot(x)\tan(\frac{\pi}{2} - x) = \cot(x), a student writes: "Using the co-function identity, tan(π2x)=cot(x)\tan(\frac{\pi}{2} - x) = \cot(x) is true because tangent and cotangent are co-functions." A teacher responds that this reasoning is insufficient. What is the most likely reason for the teacher's critique?

  1. The proof is circular because it uses the co-function relationship to prove a co-function identity, without demonstrating why tangent and cotangent are co-functions. (correct answer)
  2. The student failed to verify that both sides of the identity are defined for the same values of xx, which is necessary for any trigonometric identity proof.
  3. The reasoning lacks mathematical rigor because it doesn't show the algebraic steps using sine and cosine definitions to derive the identity from first principles.
  4. The proof is incomplete because it doesn't address the domain restrictions where tan(π2x)\tan(\frac{\pi}{2} - x) and cot(x)\cot(x) might be undefined or discontinuous.
Explanation: The reasoning is circular. The student essentially says "this co-function identity is true because it's a co-function identity," which doesn't actually prove anything. A proper proof would derive the identity using fundamental definitions: tan(π2x)=sin(π2x)cos(π2x)=cosxsinx=cotx\tan(\frac{\pi}{2} - x) = \frac{\sin(\frac{\pi}{2} - x)}{\cos(\frac{\pi}{2} - x)} = \frac{\cos x}{\sin x} = \cot x, using the sine and cosine co-function identities. Choice B is less critical since domain considerations, while important, don't address the main logical flaw. Choice C identifies the need for more rigor but doesn't pinpoint the circularity. Choice D focuses on domain issues rather than the logical structure.

Question 12

A student claims that for any quadratic function f(x)=ax2+bx+cf(x) = ax^2 + bx + c where a>0a > 0, if the discriminant b24ac<0b^2 - 4ac < 0, then the function has no real zeros and therefore no xx-intercepts. Which statement best evaluates the logical validity of this reasoning?

  1. The reasoning is valid because negative discriminants always indicate complex roots, which correspond to no real xx-intercepts on the coordinate plane. (correct answer)
  2. The reasoning is invalid because the discriminant formula only applies to quadratic equations, not quadratic functions used for graphing purposes.
  3. The reasoning is invalid because when a>0a > 0 and the discriminant is negative, the parabola opens downward and crosses the xx-axis twice.
  4. The reasoning is valid only when c>0c > 0, since negative yy-intercepts can still produce real zeros even with negative discriminants in certain cases.
Explanation: The student's reasoning is logically sound. When the discriminant b24ac<0b^2 - 4ac < 0, the quadratic equation ax2+bx+c=0ax^2 + bx + c = 0 has no real solutions, meaning the parabola does not intersect the xx-axis. The condition a>0a > 0 ensures the parabola opens upward, and combined with no real zeros, the entire parabola lies above the xx-axis. Choice B is incorrect because the discriminant applies to both equations and functions. Choice C is incorrect because a>0a > 0 means the parabola opens upward, not downward. Choice D is incorrect because the value of cc doesn't affect whether negative discriminant produces real zeros.

Question 13

To solve the rational equation x1x+2=3x+2\frac{x-1}{x+2} = \frac{3}{x+2}, a student immediately concludes that x1=3x - 1 = 3, so x=4x = 4. Then they check: 414+2=36=12\frac{4-1}{4+2} = \frac{3}{6} = \frac{1}{2} and 34+2=36=12\frac{3}{4+2} = \frac{3}{6} = \frac{1}{2}. Since both sides equal 12\frac{1}{2}, they conclude x=4x = 4 is correct. What is the most significant error in this solution process?

  1. The student failed to check whether x=2x = -2 makes any denominator zero, which would make the original equation undefined and invalidate the solution.
  2. The algebraic step from x1x+2=3x+2\frac{x-1}{x+2} = \frac{3}{x+2} to x1=3x - 1 = 3 is only valid when x+20x + 2 \neq 0, but this condition wasn't verified beforehand. (correct answer)
  3. The verification process is flawed because the student should have substituted x=4x = 4 into the original equation before simplifying the fractions to check for accuracy.
  4. The student incorrectly assumed that equal denominators allow direct equation of numerators without considering that the equation might have no solution or infinitely many solutions.
Explanation: The most significant error is multiplying both sides by (x+2)(x+2) (implicitly) without first establishing that x2x \neq -2. While the student got the right answer and verified it correctly, the logical process was flawed because the multiplication by (x+2)(x+2) is only valid when x+20x+2 \neq 0. This condition should be stated upfront as a domain restriction. Choice A is incorrect because x=4x = 4 doesn't make denominators zero. Choice C is wrong because the verification was done correctly. Choice D misses the point - the issue isn't about equal denominators but about the validity of algebraic operations.

Question 14

A student proves that limx2(3x1)=5\lim_{x \to 2} (3x - 1) = 5 using the epsilon-delta definition. They write: "Given ϵ>0\epsilon > 0, we need (3x1)5<ϵ|(3x - 1) - 5| < \epsilon when 0<x2<δ0 < |x - 2| < \delta. Since (3x1)5=3x6=3x2|(3x - 1) - 5| = |3x - 6| = 3|x - 2|, we need 3x2<ϵ3|x - 2| < \epsilon, so x2<ϵ3|x - 2| < \frac{\epsilon}{3}. Therefore, choose δ=ϵ3\delta = \frac{\epsilon}{3}." Which aspect of this proof demonstrates the strongest logical reasoning?

  1. Converting the limit condition into an absolute value inequality that directly relates to the definition of limit, establishing the framework for the epsilon-delta argument.
  2. Recognizing that 3x6=3x2|3x - 6| = 3|x - 2| creates a direct connection between the function's deviation from the limit and the input's deviation from the approach point. (correct answer)
  3. Choosing δ=ϵ3\delta = \frac{\epsilon}{3} ensures that the epsilon condition is satisfied while maintaining the logical structure required by the definition of limit.
  4. Working backwards from the desired inequality 3x2<ϵ3|x - 2| < \epsilon to find the appropriate constraint on x2|x - 2|, demonstrating strategic problem-solving in formal proofs.
Explanation: The strongest logical insight is recognizing that 3x6=3x2|3x - 6| = 3|x - 2| creates a direct proportional relationship between how far the function output is from the limit (5) and how far the input is from the approach point (2). This key observation transforms the problem into a simple scaling relationship, making the choice of δ\delta obvious. This demonstrates deep understanding of how linear functions behave near a point. Choice A describes standard setup, Choice C describes the mechanical conclusion, and Choice D describes the strategy but not the crucial insight.

Question 15

A student claims that the equation sin(2x)=2sin(x)\sin(2x) = 2\sin(x) is true for all real numbers xx because "the 2 can be factored out of the sine function just like in algebra." To refute this claim, which counterexample would be most effective along with the correct reasoning?

  1. Use x=π6x = \frac{\pi}{6}: sin(2π6)=sin(π3)=32\sin(2 \cdot \frac{\pi}{6}) = \sin(\frac{\pi}{3}) = \frac{\sqrt{3}}{2}, while 2sin(π6)=212=12\sin(\frac{\pi}{6}) = 2 \cdot \frac{1}{2} = 1, showing the values differ because sine is nonlinear. (correct answer)
  2. Use x=0x = 0: sin(20)=sin(0)=0\sin(2 \cdot 0) = \sin(0) = 0 and 2sin(0)=20=02\sin(0) = 2 \cdot 0 = 0, demonstrating that while this case works, the general principle fails for most angles.
  3. Use x=π4x = \frac{\pi}{4}: sin(2π4)=sin(π2)=1\sin(2 \cdot \frac{\pi}{4}) = \sin(\frac{\pi}{2}) = 1, while 2sin(π4)=222=22\sin(\frac{\pi}{4}) = 2 \cdot \frac{\sqrt{2}}{2} = \sqrt{2}, proving the student's algebraic reasoning is fundamentally incorrect.
  4. Use x=πx = \pi: sin(2π)=0\sin(2\pi) = 0 and 2sin(π)=20=02\sin(\pi) = 2 \cdot 0 = 0, but explain that this equality is coincidental since trigonometric functions don't follow linear distribution rules.
Explanation: Choice A provides the most effective counterexample because it shows clear numerical inequality (321\frac{\sqrt{3}}{2} \neq 1) and includes the crucial reasoning that sine is a nonlinear function, which explains why the student's algebraic thinking fails. The explanation directly addresses the misconception about 'factoring out' constants from trigonometric functions. Choice B and D use values where both sides equal zero, which doesn't effectively demonstrate the inequality. Choice C has the right idea with different values, but the explanation is less precise about why the reasoning fails.

Question 16

To prove that the function f(x)=x33xf(x) = x^3 - 3x is odd, a student provides this justification: "A function is odd if f(x)=f(x)f(-x) = -f(x). Let me check: f(x)=(x)33(x)=x3+3x=(x33x)=f(x)f(-x) = (-x)^3 - 3(-x) = -x^3 + 3x = -(x^3 - 3x) = -f(x). Since f(x)=f(x)f(-x) = -f(x), the function is odd." What aspect of this proof could be strengthened?

  1. The proof should verify that the function is defined for all real numbers, since the definition of odd functions requires the domain to be symmetric about the origin.
  2. The algebraic manipulation (x)3=x3(-x)^3 = -x^3 should be justified by citing the properties of exponents and the fact that 3 is an odd integer.
  3. The proof should include verification by testing specific values like f(1)f(1) and f(1)f(-1) to confirm that f(1)=f(1)f(-1) = -f(1) holds numerically.
  4. The student should explicitly state that this verification must hold for all xx in the domain, not just demonstrate the algebraic relationship symbolically. (correct answer)
Explanation: While the student's algebraic work is correct, the proof would be strengthened by explicitly stating that the demonstrated relationship f(x)=f(x)f(-x) = -f(x) holds for all xx in the domain of ff. Mathematical rigor requires being clear about universal quantification. The symbolic manipulation shows the relationship algebraically, but the proof should emphasize that this establishes the property for every input value. Choice A is unnecessary since polynomial functions are defined everywhere. Choice B is overly detailed for this level. Choice C suggests numerical verification, which is less rigorous than the algebraic approach already used.

Question 17

A student proves that if a>ba > b and c>0c > 0, then ac>bcac > bc by multiplying both sides of a>ba > b by cc. The teacher says this proof needs more justification. What property should the student explicitly state?

  1. The multiplication property of inequality for positive numbers. (correct answer)
  2. The reflexive property of equality to show that c=cc = c.
  3. The transitive property of inequality to connect the steps.
  4. The distributive property to justify the multiplication step.
Explanation: When you're evaluating mathematical proofs, you need to identify which fundamental properties justify each step. This question tests whether you understand that multiplying inequalities requires explicit justification based on the sign of the multiplier. The student's reasoning is mathematically sound, but incomplete. When you multiply both sides of an inequality a>ba > b by a positive number cc, you're applying a specific rule: the multiplication property of inequality for positive numbers. This property states that multiplying both sides of an inequality by a positive number preserves the direction of the inequality. Without explicitly citing this property, the proof lacks proper mathematical rigor. Choice A is correct because it identifies the exact property needed to justify the multiplication step. Choice B is wrong because the reflexive property of equality (c=cc = c) is irrelevant here—we're not establishing that cc equals itself, but rather using cc to multiply the inequality. Choice C is incorrect because the transitive property connects multiple inequalities (if a>ba > b and b>cb > c, then a>ca > c), but this proof only involves one inequality transformation. Choice D is wrong because the distributive property applies to expressions like c(a+b)=ca+cbc(a + b) = ca + cb, not to multiplying inequalities. Remember that rigorous mathematical proofs require you to explicitly state the properties and theorems you're using at each step. When you see inequality manipulation in proofs, always ask yourself: "What property of inequalities justifies this operation?"

Question 18

Two students solve the system {2x+y=7xy=2\begin{cases} 2x + y = 7 \\ x - y = 2 \end{cases} and both get (3,1)(3, 1). However, their solution methods differ significantly. Why is it important that both methods yield the same result?

  1. It confirms that the system has a unique solution and validates both solution techniques. (correct answer)
  2. It proves that the system is consistent and that their arithmetic calculations were accurate.
  3. It demonstrates that different algebraic methods always produce identical results for linear systems.
  4. It shows that the coefficient matrix is invertible and the system has exactly one solution.
Explanation: The correct answer is A. When different valid methods produce the same result, it provides strong evidence that the solution is correct and confirms that both techniques were applied properly. Choice B only addresses consistency and arithmetic, missing the validation aspect. Choice C is too broad a claim. Choice D introduces unnecessary matrix terminology and doesn't address the methodological validation.

Question 19

Maya proves that triangle ABC is isosceles by showing that A=C=60°\angle A = \angle C = 60°. Her teacher marks this proof as incomplete. What additional information must Maya provide to justify her conclusion?

  1. She must prove that B=60°\angle B = 60° to show the triangle is equilateral, not just isosceles.
  2. She must demonstrate that the sides opposite the equal angles are congruent using the Isosceles Triangle Theorem.
  3. She must verify that her angle measurements are accurate by showing her calculation work.
  4. She must state the converse of the Isosceles Triangle Theorem: if two angles are congruent, then the sides opposite those angles are congruent. (correct answer)
Explanation: The correct answer is D. Maya has shown that two angles are equal, but to conclude the triangle is isosceles, she must explicitly state and apply the converse of the Isosceles Triangle Theorem. Choice A is incorrect because proving the triangle is equilateral goes beyond what's required. Choice B is incorrect because the converse theorem directly gives us that conclusion. Choice C is irrelevant to the logical structure of the proof.

Question 20

In proving that 2\sqrt{2} is irrational, a student assumes 2\sqrt{2} is rational and writes 2=pq\sqrt{2} = \frac{p}{q} where pp and qq are integers with no common factors. What mathematical technique is being employed here?

  1. Direct proof using the definition of rational numbers.
  2. Constructive proof by explicitly finding values for pp and qq.
  3. Proof by induction using a base case and inductive step.
  4. Proof by contradiction using the assumption of the opposite conclusion. (correct answer)
Explanation: When you encounter questions about mathematical proof techniques, focus on identifying the logical structure and strategy being used rather than the specific mathematical content. In this proof of 2\sqrt{2}'s irrationality, the student begins by assuming the opposite of what they want to prove—they assume 2\sqrt{2} is rational and can be written as pq\frac{p}{q} in lowest terms. This assumption will eventually lead to a logical contradiction (that both pp and qq must be even, violating the "no common factors" condition), forcing us to conclude that our assumption was false. This is the hallmark of proof by contradiction, making (D) correct. (A) is wrong because a direct proof would start with known facts and work forward to the conclusion, not begin with an assumption of the opposite. (B) is incorrect because the student isn't trying to find specific values for pp and qq—quite the opposite, they're showing no such values can exist. The assumption here is temporary and will be disproven. (C) is wrong because mathematical induction involves proving a statement for all natural numbers using a base case and inductive step, which has nothing to do with this proof structure. Study tip: Learn to recognize proof by contradiction by this key phrase pattern: "Assume the opposite of what we want to prove..." This technique is especially common in proving irrationality, infinitude of primes, and impossibility results. The contradiction that emerges proves your assumption was wrong.