# Childhood Maths – II

Standard

I found two documents that I was very proud of as a child. Both were the result of trying to understand the kind of things Ramanujan did in free time, a result of the little AMTI books I read as a child. I will share the second document in this post and the other one was in the previous post.

Following document was created in MS Word on my old Windows XP desktop. The calculations were done using some Microsoft advanced calculator:

I was not happy with the result though since the pattern didn’t continue which was supposed to continue according to Ramanujan.

# Area of Rectangle

Standard

When we learn to find area enclosed by a curve, we are told to divide area in rectangular elements.

Taken from pp. 361 of Mathematics (Part – II), Class XII textbook, NCERT

But, how do we always know the value of area of rectangle? In this post, I will try to prove this well known fact in the spirit of Euclid and Cauchy.

Let’s define:

• Boundary: A boundary is that which is an extremity of anything.
• Figure: A figure is that which is contained by any boundary or boundaries.
• Triangular region : A triangular region is a figure which is the union of a triangle and its interior. Also the sides of the triangle are called edges of the region and vertices of the triangle are called vertices of the region.
• Polygonal region: A polygonal region is a plane figure which can be expressed as the
union of a finite number of triangular regions, in such a way that if two of the
triangular regions intersect, their intersection is an edge or a vertex of each of them.
• Square region: It is the union of a square and its interior.

The structure in our geometry is

$[\mathcal{S},\mathcal{L}, \mathcal{P}, d, m, \alpha]$

where $\mathcal{S}$ is the set of points, $\mathcal{L}$ is the set of lines, $\mathcal{P}$ is the set of planes, $d$ is distance (a function satisfying first three properties of metric function), $m$ is angular measure (a function defined for angles, with real numbers as values of the function, satisfying following postulates) and $\alpha$ is the area function satisfying following postulates:

1. $\alpha$ is a function $\mathcal{R} \rightarrow \mathbb{R}$, where $\mathcal{R}$ is the set of all polygonal regions and $\mathbb{R}$  is the set of all real numbers.
2. For every polygonal region R, $\alpha(R) > 0$.
3. If two triangular regions are congruent, then they have the same area.
4. If two polygonal regions intersect only in edges and vertices (or do not intersect at all), then the area of their union is the sum of their areas.
5. If a square region has edges of length 1, then its area is 1.

Proposition 1. If a square has edges of length $1/q$ ($q$ a positive integer), then its area is $1/q^2$.

Proof. A unit square region can be decomposed into $q^2$ square regions, all with the same edge $1/q$ as

Then all smaller square have the same area $A$ (divide each square into triangles using diagonals and then use Postulate 3 to prove that all of them have same area). Therefore $1 = q^2A$ (from Postulate 4) and $A = 1/q^2$.

Proposition 2. If a square has edges of rational length $p/q$, then its area is $p^2/q^2$.

Proof. Such a square can be decomposed into $p^2$ squares, each of edge $1/q$ as:

If $A$ is its area, then

$A = p^2 \times \frac{1}{q^2} = \frac{p^2}{q^2}$

Proposition 3.[Peter Lawes] If a square has edges of length $a$, then its area is $a^2$.

Proof. Given a square $S_a$ with edges of length $a$. Given any rational number $p/q$,  let $S_{p/q}$ be a square of edge $p/q$, with an angle in common with $S_a$, as:

Then, $\frac{p}{q} < a$ hence $S_{p/q}$ lies inside $S_a$. For some real number $s$ (by using Postulate 4) we get:

$\alpha(S_{p/q}) + s = \alpha(S_{a})$

$\Rightarrow \alpha(S_{p/q}) < \alpha(S_{a})$

$\Rightarrow \frac{p^2}{q^2}< \alpha(S_{a})$

$\Rightarrow\frac{p}{q} < \sqrt{\alpha(S_{a})}$

But, selection of $\frac{p}{q}$ being arbitrary, the upper-bound should be unique. Since there exists a unique supremum of the set consisting all possible side lengths of smaller square in $\mathbb{R}$, we can claim:

$a = \sqrt{\alpha(S_{a})}$

We can prove this claim by following the proof of statement: $\sup\{x \in \mathbb{R} : 0 \leq x, x^2 < 2\} = \sqrt{2}$. Hence:

$a^2=\alpha(S_a)$

Theorem: Area of rectangle is equal to the product of length of any two adjacent sides.

Proof. Given a rectangle of base $b$ and altitude $h$, we construct a square of edge $b + h$, and decompose it into squares and rectangles as:

Then from Postulate 4, we get:

$(b+h)^2 = 2A + A_1 +A_2$

$b^2 + 2bh + h^2=2A +h^2+b^2$

$2bh = 2A$

$bh = A$

REFERENCE:

Moise, Edwin (1990). Elementary Geometry from an Advanced Standpoint. Addison-Wesley Pub. Co.

Thanks to Dr. Shailesh Shirali for pointing out this beautiful book.