Appendix 1: Proofs in Mathematics | A1.3

Question 4

Let xx and yy be rational numbers. Show that xyxy is a rational number.

Check your answer with HomiSolve it yourself, then let Homi check your steps and spot mistakes.
Solution
Understand the Question
  • A rational number is defined as any number that can be written in the form pq\dfrac{p}{q}, where pp and qq are integers and q0q \neq 0.
  • If xx and yy are rational numbers, we can represent them as fractions of integers with non-zero denominators.
  • By multiplying the two fractions, we show that the resulting numerator and denominator are also integers (with a non-zero denominator), proving that the product xyxy is rational.

Step 1 · Express xx and yy in Rational Form

Since xx and yy are rational numbers, they can be written as:

x=ab,where a,b are integers and b0x = \dfrac{a}{b}, \quad \text{where } a, b \text{ are integers and } b \neq 0

y=cd,where c,d are integers and d0y = \dfrac{c}{d}, \quad \text{where } c, d \text{ are integers and } d \neq 0

Step 2 · Multiply the Rational Numbers

Finding the product xyxy

xy=ab×cd=a×cb×dxy = \dfrac{a}{b} \times \dfrac{c}{d} = \dfrac{a \times c}{b \times d}

Let P=a×cP = a \times c and Q=b×dQ = b \times d.

  • Since the product of two integers is always an integer, both PP and QQ are integers.
  • Since b0b \neq 0 and d0d \neq 0, their product Q=b×d0Q = b \times d \neq 0.

Therefore,

xy=PQ=integernon-zero integerxy = \dfrac{P}{Q} = \dfrac{\text{integer}}{\text{non-zero integer}}

This matches the definition of a rational number.

Answer

Hence, xyxy is a rational number.

Common Mistakes
  • Omitting the Non-Zero Condition: Forgetting to state that b0b \neq 0 and d0d \neq 0, which is essential to guarantee that the denominator bd0bd \neq 0.
  • Missing Integer Closure: Not explicitly stating that the product of integers is also an integer, which is a required condition for the ratio to be rational.

More questions in A1.3

Q1

Prove that the sum of two consecutive odd numbers is divisible by 4.

Q2

Take two consecutive odd numbers. Find the sum of their squares, and then add 6 to the result. Prove that the new number is always divisible by 8.

Q3

If p5p \ge 5 is a prime number, show that p2+2p^2 + 2 is divisible by 3.

[Hint: Use Example 11].

Q4

Let xx and yy be rational numbers. Show that xyxy is a rational number.

Q5

If aa and bb are positive integers, then you know that a=bq+ra = bq + r, 0r<b0 \le r < b, where qq is a whole number. Prove that HCF(a,b)=HCF(b,r)\text{HCF}(a, b) = \text{HCF}(b, r).

[Hint: Let HCF(b,r)=h\text{HCF}(b, r) = h. So, b=k1hb = k_1 h and r=k2hr = k_2 h, where k1k_1 and k2k_2 are coprime.]

Q6

A line parallel to side BCBC of a triangle ABCABC, intersects ABAB and ACAC at DD and EE respectively.

Prove that ADDB=AEEC\dfrac{\text{AD}}{\text{DB}} = \dfrac{\text{AE}}{\text{EC}}.

← Back to Appendix 1: Proofs in Mathematics