Tag Archives: rectangle

Integration & Summation

Standard

A few months ago I wrote a series of blog posts on “rigorous”  definitions of integration [Part 1, Part 2]. Last week I identified an interesting flaw in my “imagination” of integration in terms of “limiting summation” and it lead to an interesting investigation.

The Paradox

While defining integration as area under curve, we consider rectangles of equal width and let that width approach zero. Hence I used to imagine integration as summation of individual heights, since width approaches zero in limiting case. It was just like extending summation over integers to summation over real numbers.

integration (1)

My Thought Process..

But as per my above imagination, since width of line segment is zero,  I am considering rectangles of zero width. Then each rectangle is of zero area (I proved it recently). So the area under curve will be zero! Paradox!

I realized that, just like ancient greeks, I am using very bad imagination of limiting process!

The Insight

But, as it turns out, my imagination is NOT completely wrong.  I googled and stumbled upon this stack exchange post:

There is the answer by Jonathan to this question which captures my imagination:

The idea is that since \int_0^n f(x)dx can be approximated by the Riemann sum, thus \displaystyle{\sum_{i=0}^n f(i) = \int_{0}^n f(x)dx + \text{higher order corrections}}

The generalization of above idea gives us the Euler–Maclaurin formula 

\displaystyle{\sum_{i=m+1}^n f(i) = \int^n_m f(x)\,dx + B_1 \left(f(n) - f(m)\right) + \sum_{k=1}^p\frac{B_{2k}}{(2k)!}\left(f^{(2k - 1)}(n) - f^{(2k - 1)}(m)\right) + R}

where m,n,p are natural numbers, f (x) is a real valued continuous function, B_k are the Bernoulli numbers and R is an error term which is normally small for suitable values of p (depends on n, m, p and f).

Proof of above formula is by principle of mathematical induction. For more details, see this beautiful paper: Apostol, T. M.. (1999). An Elementary View of Euler’s Summation Formula. The American Mathematical Monthly, 106(5), 409–418. http://doi.org/10.2307/2589145 

Advertisements

Area of Rectangle

Standard

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

integratuon

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

sq1

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:

sq2.png

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:

sq3

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:

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