Question 7
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.

The inner square PQRS is formed by connecting the midpoints of the sides of the original square.
Step 1 — Define the squares and their parts
Let the original square be . Let its side length be . The area of the original paper is . The points are the midpoints of the sides respectively. This means that each segment from a vertex of the original square to a vertex of PQRS has length . For example, .

Step 2 — Prove PQRS is a square using triangle congruence and angles
Consider the four triangles at the corners of the original square: , , , and . In : The side . The side . The angle (because it is an angle of the original square).
Similarly, for the other three triangles: In : , , and . In : , , and . In : , , and .
By the SAS (Side-Angle-Side) congruence rule, all four triangles are congruent:
Since these triangles are congruent, their corresponding sides are equal. The hypotenuses of these right-angled triangles are . So, . This means that PQRS is a rhombus (a quadrilateral with all four sides equal).
Now, let us find the angles of PQRS. In , since and , it is an isosceles right-angled triangle. The base angles are equal: Similarly, in , . The points lie on a straight line (the side of the original square). The sum of angles on a straight line at point is .
Since PQRS is a rhombus and has one angle equal to , it must be a square.
Step 3 — Confirm with diagonals QS and PR
Let us connect the diagonals and of the inner square PQRS. The line segment connects (midpoint of ) and (midpoint of ). The line segment connects (midpoint of ) and (midpoint of ). In a square , the line connecting the midpoints of opposite sides is parallel to the other pair of sides and equal in length to the side of the square. So, is parallel to and . The length of is . And is parallel to and . The length of is . Therefore, . The diagonals of PQRS are equal. Since is parallel to and is parallel to , and is perpendicular to (sides of a square), then is perpendicular to . The diagonals of PQRS are equal and perpendicular. This further confirms that PQRS is a square.

Step 4 — Calculate the area of PQRS
Let the side length of the original square be . The area of the original paper is . We need to find the side length of the square PQRS. Let us call it . Consider the right-angled triangle . By the Pythagorean theorem (which states that in a right-angled triangle, the square of the hypotenuse is equal to the sum of the squares of the other two sides): We know and . The area of square PQRS is .
The area of the original paper is . So, the area of PQRS is half the area of the original paper.
Answer
(i) PQRS is a square because its four sides (PQ, QR, RS, SP) are equal in length (proven by triangle congruence of the corner triangles), and its interior angles are all (proven by angles on a straight line). (ii) The area of PQRS is half that of the original paper. This is because if the original paper has side length , its area is . The side length of PQRS is (found using the Pythagorean theorem), so its area is .
More questions in IT
How can one construct a square having double the area of a given square?
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.
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.**]
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?
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?
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:
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.
Find the hypotenuse of this isosceles right triangle.
What is the value of ?
Is less than or greater than 1?
Is less than or greater than 2?
Can we find closer bounds for ?
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 is of the form 1.414...4, then its square will be of the form—
Use this formula to check your answers in the Figure it Out on page 39.
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?
Why does Baudhāyana’s method work?
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?
Explain why all the angles of this new 4-sided figure are right angles and so it is a square.
List down all the Baudhāyana triples with numbers less than or equal to 20.
Is there an unending sequence of Baudhāyana triples?
Is (30, 40, 50) a Baudhāyana triple?
Is (300, 400, 500) a Baudhāyana triple?
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?
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?
Context: Conjecture: (3k, 4k, 5k) is a Baudhāyana triple, where k is any positive integer.
Q. Is this true?
Is a primitive Baudhayana triple? What are the other primitive Baudhayana triples with numbers less than or equal to 20?
Generate 5 scaled versions of each of these primitive triples. Are these scaled versions primitive?
If is non-primitive, and the integers have — greater than 1 — as a common factor, then is a Baudhayana triple? Check this statement for . Justify this statement.