Squares and Square Roots | IT

Question 20

List down all the Baudhāyana triples with numbers less than or equal to 20.

Check your answer with HomiSolve it yourself, then let Homi check your steps and spot mistakes.
Solution

A Baudhāyana triple is a set of three positive whole numbers a,b,ca, b, c. They satisfy the equation a2+b2=c2a^2 + b^2 = c^2.

Step 1 — Understanding Baudhāyana Triples

We are looking for three positive whole numbers. Let these numbers be a,b,a, b, and cc. They must satisfy the relationship a2+b2=c2a^2 + b^2 = c^2. This is the same condition as for Pythagorean triples. All numbers in the triple must be less than or equal to 20.

Step 2 — Generating Primitive Triples

We can use a formula to generate these triples. Let mm and nn be two positive integers. We need m>n>0m > n > 0. Also, mm and nn must not have any common factors. This means they are coprime. One of mm or nn must be an even number. The primitive triples (a,b,c)(a, b, c) are given by these formulas:

a=m2n2a = m^2 - n^2

b=2mnb = 2mn

c=m2+n2c = m^2 + n^2

We will find triples where c20c \le 20. So, m2+n2m^2 + n^2 must be less than or equal to 20.

Let us test values for mm and nn:

  • Case 1: m=2,n=1m=2, n=1 (Here m>nm>n, m,nm, n are coprime, and mm is even) a=2212=41=3a = 2^2 - 1^2 = 4 - 1 = \mathbf{3} b=2×2×1=4b = 2 \times 2 \times 1 = \mathbf{4} c=22+12=4+1=5c = 2^2 + 1^2 = 4 + 1 = \mathbf{5} The triple is (3, 4, 5). All numbers are 20\le 20.

  • Case 2: m=3,n=2m=3, n=2 (Here m>nm>n, m,nm, n are coprime, and nn is even) a=3222=94=5a = 3^2 - 2^2 = 9 - 4 = \mathbf{5} b=2×3×2=12b = 2 \times 3 \times 2 = \mathbf{12} c=32+22=9+4=13c = 3^2 + 2^2 = 9 + 4 = \mathbf{13} The triple is (5, 12, 13). All numbers are 20\le 20.

  • Case 3: m=4,n=1m=4, n=1 (Here m>nm>n, m,nm, n are coprime, and mm is even) a=4212=161=15a = 4^2 - 1^2 = 16 - 1 = \mathbf{15} b=2×4×1=8b = 2 \times 4 \times 1 = \mathbf{8} c=42+12=16+1=17c = 4^2 + 1^2 = 16 + 1 = \mathbf{17} The triple is (8, 15, 17) (we list aba \le b). All numbers are 20\le 20.

  • Case 4: m=4,n=3m=4, n=3 (Here m>nm>n, m,nm, n are coprime, and mm is even) a=4232=169=7a = 4^2 - 3^2 = 16 - 9 = \mathbf{7} b=2×4×3=24b = 2 \times 4 \times 3 = \mathbf{24} c=42+32=16+9=25c = 4^2 + 3^2 = 16 + 9 = \mathbf{25} Here, b=24b=24 and c=25c=25 are greater than 20. So this triple is not included.

  • Case 5: m=5,n=2m=5, n=2 (Here m>nm>n, m,nm, n are coprime, and nn is even) a=5222=254=21a = 5^2 - 2^2 = 25 - 4 = \mathbf{21} Here, a=21a=21 is greater than 20. So this triple is not included.

We can stop here. If mm increases further, c=m2+n2c = m^2 + n^2 will also increase. For example, if m=5,n=1m=5, n=1, c=52+12=26c = 5^2+1^2 = 26, which is greater than 20.

The primitive Baudhāyana triples with c20c \le 20 are:

(3, 4, 5)\boxed{\text{(3, 4, 5)}} (5, 12, 13)\boxed{\text{(5, 12, 13)}} (8, 15, 17)\boxed{\text{(8, 15, 17)}}

Step 3 — Generating Non-Primitive Triples

Non-primitive triples are multiples of primitive triples. Let (a,b,c)(a, b, c) be a primitive triple. Then (ka,kb,kc)(ka, kb, kc) is a non-primitive triple for any integer k>1k > 1. All numbers in the triple must be less than or equal to 20.

Let us check multiples of the primitive triples we found:

  • For (3, 4, 5):

    • Multiply by k=2k=2: (2×3,2×4,2×5)=(6,8,10)(2 \times 3, 2 \times 4, 2 \times 5) = \mathbf{(6, 8, 10)}. All numbers are 20\le 20.
    • Multiply by k=3k=3: (3×3,3×4,3×5)=(9,12,15)(3 \times 3, 3 \times 4, 3 \times 5) = \mathbf{(9, 12, 15)}. All numbers are 20\le 20.
    • Multiply by k=4k=4: (4×3,4×4,4×5)=(12,16,20)(4 \times 3, 4 \times 4, 4 \times 5) = \mathbf{(12, 16, 20)}. All numbers are 20\le 20.
    • Multiply by k=5k=5: (5×3,5×4,5×5)=(15,20,25)(5 \times 3, 5 \times 4, 5 \times 5) = (15, 20, 25). Here, c=25c=25 is greater than 20. So we stop.
  • For (5, 12, 13):

    • Multiply by k=2k=2: (2×5,2×12,2×13)=(10,24,26)(2 \times 5, 2 \times 12, 2 \times 13) = (10, 24, 26). Here, b=24b=24 and c=26c=26 are greater than 20. So we stop.
  • For (8, 15, 17):

    • Multiply by k=2k=2: (2×8,2×15,2×17)=(16,30,34)(2 \times 8, 2 \times 15, 2 \times 17) = (16, 30, 34). Here, b=30b=30 and c=34c=34 are greater than 20. So we stop.

Answer

The Baudhāyana triples with numbers less than or equal to 20 are:

(i) (3, 4, 5) (ii) (5, 12, 13) (iii) (6, 8, 10) (iv) (8, 15, 17) (v) (9, 12, 15) (vi) (12, 16, 20)

More questions in IT

Q1

How can one construct a square having double the area of a given square?

Q2

Why does the new dotted square have double the area of the original square?

In many of the constructions in the Śulba-Sūtra, it is desirable to construct, where needed, what Baudhāyana calls ‘east-west’ and ‘north-south’ lines, i.e., horizontal and vertical lines that are perpendicular to each other. Can you draw some horizontal and vertical lines to see why the new square has double the area of the original square? You could draw some horizontal and vertical lines as shown on the right.

Q3

Why should the extension of the vertical and horizontal sides of the original square pass through the vertices of the dotted square?

[Hint: From the diagonal property of a square, the line that bisects an angle passes through the opposite vertex. Argue why the vertical and horizontal sides of the original square bisect the two angles of the dotted square.**]

Q4

Context: So, the new square has double the area of the original square, because the original square is made up of two small triangles, while the new square is made up of four small triangles.

Q. Moreover, all these small triangles are congruent to each other. Can you explain why?

Q5

Now suppose we are given a square, and we want to construct a square whose area is half that of the original square. How would you do it?

Q6

Why is the smaller inside square half the area of the larger square?

Again, adding some east-west and north-south lines can explain it:

Q7

Why is PQRS a square? Why is its area half that of the original paper?

Explain by connecting QS and PR, finding the different angles formed, and then using tringle congruence.

Q8

Find the hypotenuse of this isosceles right triangle.

Q9

What is the value of 2\sqrt{2}?

Q10

Is 2\sqrt{2} less than or greater than 1?

Q11

Is 2\sqrt{2} less than or greater than 2?

Q12

Can we find closer bounds for 2\sqrt{2}?

Q13

Will we ever get a number with a terminating decimal representation whose square is 2?

If there is such a terminating decimal starting with 1.414... whose square is 2, then it must have a non-zero last digit. If this is the case, then the decimal representation of its square will also have a non-zero last digit after the decimal point. For example, if 2\sqrt{2} is of the form 1.414...4, then its square will be of the form—

Q14

Use this formula to check your answers in the Figure it Out on page 39.

Q15

What if we wish to combine two squares of 'different' sizes to make a large square whose area is the sum of the two smaller squares?

Q16

Why does Baudhāyana’s method work?

Q17

Can you see why the method works in the case where the two squares are the same size? Does it agree with the method we used earlier to combine two same sized squares into a bigger square?

Q19

Explain why all the angles of this new 4-sided figure are right angles and so it is a square.

Q20

List down all the Baudhāyana triples with numbers less than or equal to 20.

Q21

Is there an unending sequence of Baudhāyana triples?

Q22

Is (30, 40, 50) a Baudhāyana triple?

Is (300, 400, 500) a Baudhāyana triple?

Q23

Context: The list of Baudhāyana triples having numbers less than or equal to 20 contains the following triples — (3, 4, 5), (6, 8, 10), (9, 12, 15), (12, 16, 20).

Q. Do you see any pattern among them?

Q24

Context: All these triples can be obtained by multiplying each term of (3, 4, 5) by a certain positive integer.

Q. Can we form a conjecture on Baudhāyana triples based on this observation?

Q25

Context: Conjecture: (3k, 4k, 5k) is a Baudhāyana triple, where k is any positive integer.

Q. Is this true?

Q26

Is (5,12,13)(5, 12, 13) a primitive Baudhayana triple? What are the other primitive Baudhayana triples with numbers less than or equal to 20?

Q27

Generate 5 scaled versions of each of these primitive triples. Are these scaled versions primitive?

Q28

If (a,b,c)(a, b, c) is non-primitive, and the integers have ff — greater than 1 — as a common factor, then is (af,bf,cf)\left(\frac{a}{f}, \frac{b}{f}, \frac{c}{f}\right) a Baudhayana triple? Check this statement for (9,12,15)(9, 12, 15). Justify this statement.

← Back to Squares and Square Roots