Difference between revisions of "Circle"
(→Archimedes' Proof) |
(→Olympiad: Changed problem since old link not working) |
||
(30 intermediate revisions by 18 users not shown) | |||
Line 1: | Line 1: | ||
A '''circle''' is a geometric figure commonly used in Euclidean [[geometry]]. | A '''circle''' is a geometric figure commonly used in Euclidean [[geometry]]. | ||
− | |||
− | |||
− | |||
− | |||
− | == | + | == Definitions == |
− | |||
− | + | A circle is defined as the or [[locus]] of [[point]]s in a [[plane]] with an equal distance from a fixed point called the [[center]]. This distance from the center to a point on the circle is called the [[radius]]. | |
− | '''Example:''' The equation <math> (x-3)^2 + (y+6)^2 = 25 </math> represents the circle with center <math> (3,-6) </math> and radius 5 units. | + | {{asy image| |
+ | <asy> | ||
+ | unitsize(2cm); | ||
+ | draw(unitcircle); | ||
+ | |||
+ | dot((0,0)); | ||
+ | label("center",(0,0),S); | ||
+ | |||
+ | draw((0,0)--(-1,0)); | ||
+ | label("radius",(-0.5,0), N); | ||
+ | |||
+ | draw((-1,1)--(1,1),Arrow); | ||
+ | draw((1,1)--(-1,1),Arrow); | ||
+ | label("tangent",(0,1),N); | ||
+ | |||
+ | draw((0,1)--(1,0)); | ||
+ | </asy> | ||
+ | |right|A circle}} | ||
+ | |||
+ | A line that touches a circle at only one point is called the [[tangent (Geometry)|tangent]] of that circle. Note that any point on a circle can have only one tangent. A line segment that has endpoints on the circle is called the [[chord]] of the circle. If the chord is extended to a line, that line is called a [[secant line|secant]] to the circle. The longest chord of the circle is the [[diameter]], which passes through the center of the circle. An [[inscribed angle]] of a circle is an [[angle]] whose [[vertex]] lies on the circle that has both [[side]]s as either [[secant line|secants]] or [[tangent line|tangent]]s of the circle. | ||
+ | |||
+ | We can find the general form of the equation of a circle on the [[coordinate plane]] given its radius, <math>r</math>, and center <math>(h,k)</math>. We know that each point, <math>(x,y)</math>, on the circle which we want to identify is a distance <math>r</math> from <math>(h,k)</math>. Using the [[distance formula]], this gives <math>\sqrt{(x - h)^2 + (y - k)^2} = r</math> which is more commonly written as | ||
+ | <cmath>(x - h)^2 + (y - k)^2 = r^2.</cmath> | ||
+ | |||
+ | '''Example:''' The equation <math>(x - 3)^2 + (y + 6)^2 = 25</math> represents the circle with center <math>(3,-6)</math> and radius 5 units. | ||
<center>[[Image:Circlecoordinate1.PNG]]</center> | <center>[[Image:Circlecoordinate1.PNG]]</center> | ||
− | == | + | ==Properties== |
− | The | + | *The measure of an [[inscribed angle]] is always half the measure of the [[central angle]] with the same endpoints. |
+ | **Since the diameter divides the circle into two equal parts, any angle formed by the two endpoints of a diameter and a third distinct point on the circle as the vertex is a right angle. | ||
+ | ***The hypotenuse of any right triangle is the diameter of its [[circumcircle]]. | ||
+ | *Similarly, if a tangent line and a secant line intersects at the point of tangency, the measure of the angle formed is always half the measure of the [[central angle]] with the same endpoints. | ||
+ | **From that property, the angle formed by the diameter and a tangent line with the point of tangency on the diameter is a right angle. | ||
+ | **The perpendicular line through the tangent where it touches the circle is a diameter of the circle. | ||
+ | *The perpendicular bisector of a chord is always a diameter of the circle. | ||
+ | *When two chords <math>AB</math> and <math>CD</math> intersect at point <math>P</math> inside the circle, <math>\angle APC = \frac{m\widehat{AC} + m\widehat{BD}}{2}</math>. | ||
+ | *When two chords <math>AB</math> and <math>CD</math> intersect at point <math>P</math> outside the circle, <math>\angle APC = \frac{m\widehat{AC} - m\widehat{BD}}{2}</math>. | ||
+ | *Lengths of chords can be calculated by using the [[Power of a point]] theorem. | ||
+ | *Given a segment (a section of a circle bounded by a chord inside the circle and the respective arc on the circumference; not to be confused with [[line segment]]), angles in that segment, i.e. the angle between the [[line segments]] joining the endpoints of the chord and another point on the circumference, will be equal in measure regardless of the point chosen for a given segment (given chord). | ||
− | === Archimedes' Proof === | + | ===Circumference and Area=== |
+ | |||
+ | Given a circle of radius <math>r</math>, the [[circumference]] (distance around a circle) is <math>2 \pi r</math> and the area is <math>\pi r^2</math>. Both formulas involve the mathematical constant [[pi]] (<math>\pi</math>). | ||
+ | |||
+ | ==== Archimedes' Proof of Area ==== | ||
We shall explore two of the Greek [[mathematician]] [[Archimedes]] demonstrations of the area of a circle. The first is much more intuitive. | We shall explore two of the Greek [[mathematician]] [[Archimedes]] demonstrations of the area of a circle. The first is much more intuitive. | ||
Line 35: | Line 68: | ||
'''Case 3:''' The circle's area is equal to the triangle's area. | '''Case 3:''' The circle's area is equal to the triangle's area. | ||
− | + | Assume that <math>A>T</math>. Let <math> P </math> be the area of a regular polygon that is closest to the circle's area. Therefore we have <math>A-P<A-T</math> so <math>P>T</math>. Let the apothem be <math>a</math> and the perimeter be <math>p</math> so the area of a regular polygon is one half of the product of the perimeter and apothem. The perimeter is less than the circumference so <math>p<2\pi r</math> and the apothem is less than the radius so <math>a<r</math>. Therefore <math> P=\frac{1}{2}ap<\frac{1}{2}r\cdot 2\pi r=T</math>. However it cannot be both <math>P>T</math> and <math>P<T</math>. So <math>A\not >T</math>. | |
− | + | ||
− | + | ====Area Proof Using Calculus==== | |
− | + | Let the circle in question be <math>x^2 + y^2 = r^2</math>, where r is the circle's radius. By symmetry, the circle's area is four times the area in the first quadrant. The area in the first quadrant can be computed using a definite integral from 0 to r of the function <math>f(x) = \sqrt{r^2 - x^2}</math>. Using the substitution <math>x = r \sin u, dx = r \cos u</math> gives the indefinite integral as <math>\frac{r^2}{2} (u - \frac{\sin 2u}{2}) + C</math>, so the definite integral equals <math>\frac{r^2}{2} \cdot \frac{\pi}{2}</math>. Multiplying by four gives the area of the circle as <math>\pi r^2</math>. | |
− | |||
− | |||
− | == | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
==Problems== | ==Problems== | ||
===Introductory=== | ===Introductory=== | ||
− | * | + | *Under what constraints is the circumference (in inches) of a circle greater than its area (in square inches)? |
− | * | + | *How many circles with radius <math>r</math> can we fit around a circle with radius <math>r</math>? |
+ | |||
+ | *A square is placed so that it inscribes a circle and is inscribed by a different circle. Find the ratio of the area of the 2 circles. | ||
===Intermediate=== | ===Intermediate=== | ||
Line 74: | Line 96: | ||
([[2006 AMC 12A Problems/Problem 21|Source]]) | ([[2006 AMC 12A Problems/Problem 21|Source]]) | ||
+ | |||
+ | *Rectangle <math>ABCD</math> is inscribed in a semicircle with diameter <math>\overline{FE},</math> as shown in the figure. Let <math>DA=16,</math> and let <math>FD=AE=9.</math> What is the area of <math>ABCD?</math> | ||
+ | |||
+ | <asy> | ||
+ | draw(arc((0,0),17,180,0)); draw((-17,0)--(17,0)); fill((-8,0)--(-8,15)--(8,15)--(8,0)--cycle, 1.5*grey); draw((-8,0)--(-8,15)--(8,15)--(8,0)--cycle); dot("$A$",(8,0), 1.25*S); dot("$B$",(8,15), 1.25*N); dot("$C$",(-8,15), 1.25*N); dot("$D$",(-8,0), 1.25*S); dot("$E$",(17,0), 1.25*S); dot("$F$",(-17,0), 1.25*S); label("$16$",(0,0),N); label("$9$",(12.5,0),N); label("$9$",(-12.5,0),N); | ||
+ | </asy> | ||
+ | |||
+ | ([[2020 AMC 8 Problems/Problem 18|Source]]) | ||
===Olympiad=== | ===Olympiad=== | ||
− | * | + | *Construct a triangle ''ABC'' if the following elements are given: <math>AC = b, AB = c</math>, and <math>\angle AMB = \omega \left(\omega < 90^{\circ}\right)</math> where ''M'' is the midpoint of ''BC''. Prove that the construction has a solution if and only if |
− | + | ||
+ | <math>b \tan{\frac{\omega}{2}} \le c < b</math> | ||
+ | |||
+ | In what case does equality hold? | ||
+ | |||
+ | ([[1961 IMO Problems/Problem 5|Source]]) | ||
== See Also == | == See Also == | ||
Line 83: | Line 118: | ||
* [[Pi]] | * [[Pi]] | ||
* [[Power of a point]] | * [[Power of a point]] | ||
− | * [[ | + | * [[Homothety]] |
[[Category:Definition]] | [[Category:Definition]] | ||
[[Category:Geometry]] | [[Category:Geometry]] | ||
+ | |||
+ | {{stub}} |
Latest revision as of 18:56, 16 January 2025
A circle is a geometric figure commonly used in Euclidean geometry.
Contents
[hide]Definitions
A circle is defined as the or locus of points in a plane with an equal distance from a fixed point called the center. This distance from the center to a point on the circle is called the radius.
|
A circle |
A line that touches a circle at only one point is called the tangent of that circle. Note that any point on a circle can have only one tangent. A line segment that has endpoints on the circle is called the chord of the circle. If the chord is extended to a line, that line is called a secant to the circle. The longest chord of the circle is the diameter, which passes through the center of the circle. An inscribed angle of a circle is an angle whose vertex lies on the circle that has both sides as either secants or tangents of the circle.
We can find the general form of the equation of a circle on the coordinate plane given its radius, , and center . We know that each point, , on the circle which we want to identify is a distance from . Using the distance formula, this gives which is more commonly written as
Example: The equation represents the circle with center and radius 5 units.
Properties
- The measure of an inscribed angle is always half the measure of the central angle with the same endpoints.
- Since the diameter divides the circle into two equal parts, any angle formed by the two endpoints of a diameter and a third distinct point on the circle as the vertex is a right angle.
- The hypotenuse of any right triangle is the diameter of its circumcircle.
- Since the diameter divides the circle into two equal parts, any angle formed by the two endpoints of a diameter and a third distinct point on the circle as the vertex is a right angle.
- Similarly, if a tangent line and a secant line intersects at the point of tangency, the measure of the angle formed is always half the measure of the central angle with the same endpoints.
- From that property, the angle formed by the diameter and a tangent line with the point of tangency on the diameter is a right angle.
- The perpendicular line through the tangent where it touches the circle is a diameter of the circle.
- The perpendicular bisector of a chord is always a diameter of the circle.
- When two chords and intersect at point inside the circle, .
- When two chords and intersect at point outside the circle, .
- Lengths of chords can be calculated by using the Power of a point theorem.
- Given a segment (a section of a circle bounded by a chord inside the circle and the respective arc on the circumference; not to be confused with line segment), angles in that segment, i.e. the angle between the line segments joining the endpoints of the chord and another point on the circumference, will be equal in measure regardless of the point chosen for a given segment (given chord).
Circumference and Area
Given a circle of radius , the circumference (distance around a circle) is and the area is . Both formulas involve the mathematical constant pi ().
Archimedes' Proof of Area
We shall explore two of the Greek mathematician Archimedes demonstrations of the area of a circle. The first is much more intuitive.
Archimedes envisioned cutting a circle up into many little wedges (think of slices of pizza). Then these wedges were placed side by side as shown below:
As these slices are made infinitely thin, the little green arcs in the diagram will become the blue line and the figure will approach the shape of a rectangle with length and width thus making its area .
Archimedes also came up with a brilliant proof of the area of a circle by using the proof technique of reductio ad absurdum.
Archimedes' actual claim was that a circle with radius and circumference had an area equivalent to the area of a right triangle with base and height . First let the area of the circle be and the area of the triangle be . We have three cases then.
Case 1: The circle's area is greater than the triangle's area.
Case 2: The triangle's area is greater than the circle's area.
Case 3: The circle's area is equal to the triangle's area.
Assume that . Let be the area of a regular polygon that is closest to the circle's area. Therefore we have so . Let the apothem be and the perimeter be so the area of a regular polygon is one half of the product of the perimeter and apothem. The perimeter is less than the circumference so and the apothem is less than the radius so . Therefore . However it cannot be both and . So .
Area Proof Using Calculus
Let the circle in question be , where r is the circle's radius. By symmetry, the circle's area is four times the area in the first quadrant. The area in the first quadrant can be computed using a definite integral from 0 to r of the function . Using the substitution gives the indefinite integral as , so the definite integral equals . Multiplying by four gives the area of the circle as .
Problems
Introductory
- Under what constraints is the circumference (in inches) of a circle greater than its area (in square inches)?
- How many circles with radius can we fit around a circle with radius ?
- A square is placed so that it inscribes a circle and is inscribed by a different circle. Find the ratio of the area of the 2 circles.
Intermediate
- Circles with centers and have radii 3 and 8, respectively. A common internal tangent intersects the circles at and , respectively. Lines and intersect at , and . What is ?
(Source)
- Let
- and
. What is the ratio of the area of to the area of ?
(Source)
- Rectangle is inscribed in a semicircle with diameter as shown in the figure. Let and let What is the area of
(Source)
Olympiad
- Construct a triangle ABC if the following elements are given: , and where M is the midpoint of BC. Prove that the construction has a solution if and only if
In what case does equality hold?
(Source)
See Also
This article is a stub. Help us out by expanding it.