All 4 entries tagged Maths
July 13, 2011
Writing about web page http://blog.computationalcomplexity.org/2007/08/is-pi-defined-in-best-way.html
And then suddenly it was two weeks later.
I found an article a few weeks ago that I meant to record somewhere because it had an interesting idea that I’d not considered before. To wit:
“A circle, if you think about it, is effectively a triangle that has been wrapped around the origin”
and this is then extrapolated to higher dimensions. I think it’s a nice connection between areas of circles and triangles.
June 20, 2011
This proof comes from A Garden of Integrals by Frank E. Burk; some additions have been made to make it more comprehensible, one diagram has been poorly copied.We seek to prove Leibniz’s series for , that is:
Consider the quarter unit circle centred at (1,0). It has area . Determine the area of the sector OD by splitting it into infinitesimal triangles OAB and summing.
We observe that, from the diagram, the area of is roughly equal to the area of , with B’ the intersection of the perpendicular to the x-axis through B and the tangent to the circle at A. Taking AB’ as the base and OC as the height, we observe .By similar triangles, , so . Observe also:
and . Now, observe:
Alternatively (longer but easier to see), note that:
and rearrange to get the previous result. Also note (by integration by parts for Riemann-Stieltjes integrals, say)
Hence the area of the quarter circle is:
by long division followed by termwise integration. The left integral can be evaluated by substitution or by considering the geometric meaning – it’s the area of the sector which is the quarter circle subtract the right isosceles triangle with two sides equal to 1. Either way, the answer is .
Therefore, by adding to both sides, we obtain Leibniz’s series:
June 19, 2011
The first time I encountered these identities was when my tutor told me they’d probably be on the Foundations Basics exam (they were), as they weren’t on the core MEI syllabus. As such, I haven’t internalised them at all – I haven’t even memorised them – for the exam, I memorised the general structure and how to derive them. Fortunately, they haven’t come up again.I’ll leave a quick, single example derived. Begin with the angle addition formulae:
June 16, 2011
Before I came to university, I had no idea what the triangle inequality was – I’d never heard of anything specifically referred to as “the triangle inequality” and, as it turned out, had never run across the actual equation, either. Wikipedia only mentions it halfway down the page, in a page containing many other inequalities it could be. I’d heard it referred to before, and found myself somewhat confused. But here, it’s almost always this one:
Rarely it’s a natural extension of this, such as .
This was first introduced to me in the first Analysis lecture. It’s then been used only in Analysis that I can remember, but it seems like it should be useful elsewhere, as well. It finds use in showing a strictly contracting sequence is Cauchy, as well as in other induction proofs.The proof for the first part is quite simple:
There was also a different, neat proof I found online:
We know and similarly for b. Thus, adding the two gives:
from which the result follows by the definition of modulus.
For the second half, apply the inequality to . So . As this is symmetric in a and b, the general inequality follows.