- #1
nickadams
- 182
- 0
Homework Statement
I am stuck on a step from a simple proof in Gelfand's method of coordinates.
Here is a link to the part I am confused on. Pg. 44-45...
http://books.google.com/books?id=In...ether with an estimate of its error:"&f=false
It starts in the middle of page 44 and ends right below the part I have highlighted on page 45.
Homework Equations
pi*r^2 is area of a circle.
2*pi*r is the circumference of a circle.
diagonal of a 1 unit^2 square is √(2) units
distance formula is (x1-x2)^2 + (y1-y2)2 = d^2
The Attempt at a Solution
when it asked to prove that "the figure An lies entirely within the circle Kn'' and contains the circle kn' entirely within itself," I came up with an attempt by making a triangle ABC with A at (0,0), B at (Bx,0) and C at (0,Cy) and saying AB + AC < BC
next, using the distance formula, I changed AB to Bx2, AC to Cy2 , and BC to Bx2 + Cy2... That would mean that Bx2 + Cy2 < Bx2 + Cy2 which is clearly impossible! Does that qualify as a proof?
So since Kn'' has a radius that is √(2) bigger than Kn, then if the upper right vertex of a unit square is within the circumference of Kn, then it must also be within the circumference of Kn''. Because in order for it to extend beyond the circumference of Kn'' while still remaining in the circumference of Kn, then it would have to take up a distance larger than √(2) which is not possible for a 1 unit square. Same goes for Kn' not being completely within An because that would mean that one part of a unit square was inside the circumference of Kn' while the upper right hand corner of the same square was out of Kn... Not possible unless it had a straight line distance within the unit square that was longer than √(2).
OOOkay. Now that we have that part out of the way (hopefully it's right), the part I'm confused on is how they got from all the lead up steps to their final conclusion of:
|N-pi*n| < 2*pi(√(2n) + 1)
... I think they are trying to quantify the difference between the unit squares in An and the actual area of circle Kn. So they set minimum and maximum boundaries (Kn' and Kn'' respectively) that can help out. Kn' tells us the smallest circular boundary where An will stay within and Kn'' gives us the largest circle that will still be completely filled by An.
But I'm stuck on how they got the right side of the above inequality... All help will be appreciated; sorry for the long post!
Last edited: