Appendix 1: Proofs in Mathematics | A1.1

Question 4

Restate the following statements with appropriate conditions, so that they become true.

(i) If a2>b2a^2 > b^2, then a>ba > b.

(ii) If x2=y2x^2 = y^2, then x=yx = y.

(iii) If (x+y)2=x2+y2(x + y)^2 = x^2 + y^2, then x=0x = 0.

(iv) The diagonals of a quadrilateral bisect each other.

Check your answer with HomiSolve it yourself, then let Homi check your steps and spot mistakes.
Solution
Understand the Question
  • Mathematical statements of the form "If PP, then QQ" must hold true for all possible values satisfying the hypothesis PP.
  • If there exists even a single counterexample where PP is true but QQ is false, the statement is mathematically false.
  • To make such statements true, we identify the counterexamples and impose additional conditions on the variables or shapes involved.

(i) If a2>b2a^2 > b^2, then a>ba > b.

Step 1 · Find Counterexample and Add Condition

Consider a=3a = -3 and b=2b = 2:

a2=(3)2=9b2=(2)2=4\begin{aligned} a^2 &= (-3)^2 = 9 \\ b^2 &= (2)^2 = 4 \end{aligned}

Here, a2>b2a^2 > b^2 (9>49 > 4) is true, but a>ba > b (3>2-3 > 2) is false.

For a2>b2a^2 > b^2 to imply a>ba > b, aa must be a positive number (a>0a > 0).

Answer

(i) If a2>b2a^2 > b^2 and a>0a > 0, then a>ba > b.

(ii) If x2=y2x^2 = y^2, then x=yx = y.

Step 1 · Factorise and Restrict Signs

Consider x=2x = 2 and y=2y = -2:

x2=(2)2=4y2=(2)2=4\begin{aligned} x^2 &= (2)^2 = 4 \\ y^2 &= (-2)^2 = 4 \end{aligned}

Here, x2=y2x^2 = y^2 is true, but x=yx = y is false.

Algebraically:

x2=y2x2y2=0(xy)(x+y)=0    x=yorx=y\begin{aligned} x^2 &= y^2 \\ x^2 - y^2 &= 0 \\ (x - y)(x + y) &= 0 \\ \implies x = y \quad &\text{or} \quad x = -y \end{aligned}

To ensure x=yx = y, we must rule out x=yx = -y by restricting xx and yy to be positive numbers (or having the same sign).

Answer

(ii) If x2=y2x^2 = y^2 and x,yx, y are positive numbers, then x=yx = y.

(iii) If (x+y)2=x2+y2(x + y)^2 = x^2 + y^2, then x=0x = 0.

Step 1 · Expand and Set Non-Zero Condition

Expanding the equation:

(x+y)2=x2+y2x2+2xy+y2=x2+y22xy=0    x=0ory=0\begin{aligned} (x + y)^2 &= x^2 + y^2 \\ x^2 + 2xy + y^2 &= x^2 + y^2 \\ 2xy &= 0 \\ \implies x = 0 \quad &\text{or} \quad y = 0 \end{aligned}

If y=0y = 0 and x=5x = 5:

(5+0)2=52=25x2+y2=52+02=25\begin{aligned} (5 + 0)^2 &= 5^2 = 25 \\ x^2 + y^2 &= 5^2 + 0^2 = 25 \end{aligned}

Here (x+y)2=x2+y2(x+y)^2 = x^2+y^2 holds, but x0x \ne 0.

Therefore, for x=0x = 0 to necessarily hold, we require y0y \ne 0.

Answer

(iii) If (x+y)2=x2+y2(x + y)^2 = x^2 + y^2 and y0y \ne 0, then x=0x = 0.

(iv) The diagonals of a quadrilateral bisect each other.

Step 1 · Identify the Specific Quadrilateral Type

In a general quadrilateral (such as a kite or an irregular four-sided figure), diagonals do not necessarily bisect each other.

Diagonals bisect each other specifically in a parallelogram (and its special cases: rectangle, rhombus, square).

Answer

(iv) The diagonals of a parallelogram bisect each other.

Common Mistakes
  • Assuming Absolute Values Imply Ordered Numbers: Forgetting that squaring negatives makes them positive, so a2>b2a^2 > b^2 only implies a>b|a| > |b|, not necessarily a>ba > b.
  • Neglecting the Zero Product Property: 2xy=02xy = 0 yields two possibilities (x=0x = 0 or y=0y = 0). To force x=0x = 0, we must explicitly state y0y \ne 0.
  • Overgeneralising Geometric Properties: Assuming properties of special quadrilaterals (like parallelograms) apply to all general quadrilaterals.

More questions in A1.1

Q1

State whether the following statements are always true, always false or ambiguous. Justify your answers.

(i) All mathematics textbooks are interesting.

(ii) The distance from the Earth to the Sun is approximately 1.5×108 km1.5 \times 10^8 \text{ km}.

(iii) All human beings grow old.

(iv) The journey from Uttarkashi to Harsil is tiring.

(v) The woman saw an elephant through a pair of binoculars.

Q2

State whether the following statements are true or false. Justify your answers.

(i) All hexagons are polygons.

(ii) Some polygons are pentagons.

(iii) Not all even numbers are divisible by 2.

(iv) Some real numbers are irrational.

(v) Not all real numbers are rational.

Q3

Let aa and bb be real numbers such that ab0ab \neq 0. Then which of the following statements are true? Justify your answers.

(i) Both aa and bb must be zero.

(ii) Both aa and bb must be non-zero.

(iii) Either aa or bb must be non-zero.

Q4

Restate the following statements with appropriate conditions, so that they become true.

(i) If a2>b2a^2 > b^2, then a>ba > b.

(ii) If x2=y2x^2 = y^2, then x=yx = y.

(iii) If (x+y)2=x2+y2(x + y)^2 = x^2 + y^2, then x=0x = 0.

(iv) The diagonals of a quadrilateral bisect each other.

← Back to Appendix 1: Proofs in Mathematics