User:XOR'easter/Circular reasoning
This is a workspace for material related to improving the article Circle, which is currently under-cited, heavy on bullet points, disorganized, etc.
A circle is a shape made of all the points in a plane that are the same distance from a given point, the centre. The distance from the centre to any point of the circle is the radius of the circle. The length of a line segment from a point on the circle, through the centre to the opposite side of the circle is the diameter. The distance around the circle is the circumference, and for any circle, the ratio of the circumference to the diameter is the number {{pi}} (pi). A circle bounds a region of the plane called a disc, the area of which is {{pi}} times the square of the radius.
Euclidean plane geometry
In Euclidean geometry, circles and straight lines are the basic shapes from which others are built. The two Euclidean tools for constructing shapes are the straightedge and the compass. The former is for drawing straight lines, and the latter is for drawing circles. One of the basic postulates of Euclid's Elements is that a circle can be drawn using any point as centre and with any radius.{{sfnp|Byrne|2013|p=xxii}}
= Central and inscribed angles =
= Circles in triangle geometry =
Given any triangle, there exists exactly one circle passing through all three of the triangle's vertices. This is known as the circumscribing circle, or circumcircle, of the triangle. Its center is the circumcenter of the triangle. Each triangle also has an inscribed circle, or incircle, which is the unique circle that lies within the circle and touches each of the three sides. Its center is the incenter of the triangle. The perpendicular bisector of a triangle side is the line that passes through the midpoint of that side at right angles; the three perpendicular bisectors of any triangle meet at its circumcenter.{{sfnp|Gonick|2024|pp=87–88,228}} Likewise, the angle bisectors of a triangle are the three lines that split the angles at its vertices in half, and the three angle bisectors meet at the incenter. In any triangle, the midpoints of the three sides all lie on a common circle. Because this circle also passes through six other points of note, its is often called the nine-point circle of the triangle. The radius of the nine-point circle is half that of the circumcircle, and by Feuerbach's theorem, the nine-point circle is internally tangent to the incircle.
= Cyclic quadrilaterals and polygons =
A cyclic polygon is a polygon whose vertices all lie on a common circle, which is known as the circumscribing circle of that polygon. Every triangle is cyclic, as is every regular polygon.{{sfnp|Gonick|2024|pp=228–229}} Not all quadrilaterals are cyclic, but for those that are, Ptolemy's theorem applies: the product of the lengths of two opposite sides, plus the product of the lengths of the two other opposite sides, equals the product of the lengths of the diagonals. Ptolemy's theorem reduces to the Pythagorean theorem when the quadrilateral is a rectangle. Because the sides of a cyclic quadrilateral are chords of a circle, and chords are related to trigonometric functions, Ptolemy's theorem is also one way to prove the addition formulae for sine and cosine.
= Intersecting chords and secants =
= Pencils of circles =
= Squaring the circle =
File:Squaring the Circle J.svg
Conventionally, since ancient times, most units of area have been defined in terms of various squares, typically a square with a standard unit of length as its side, for example a square meter or square inch.{{cite book |last=Treese |first=Steven A. |year=2018 |chapter=Historical Area |title=History and Measurement of the Base and Derived Units |publisher=Springer |doi=10.1007/978-3-319-77577-7_5 |pages=301–390 |isbn=978-3-319-77576-0 }} In ancient Greek deductive geometry, the area of a planar shape was measured and compared by constructing a square with the same area by using only a finite number of steps with compass and straightedge, a process called quadrature or squaring. Euclid's Elements shows how to do this for rectangles, parallelograms, triangles, and then more generally for simple polygons by breaking them into triangular pieces.{{sfnp|Byrne|2013|p=70}} Some shapes with curved sides could also be squared, such as the lune of Hippocrates{{cite journal|title=The problem of squarable lunes|journal=American Mathematical Monthly|volume=107|issue=7|year=2000|pages=645–651|jstor=2589121|first=M. M.|last=Postnikov|author-link=Mikhail Postnikov|doi=10.2307/2589121}} and the parabola.{{cite journal
| last = Berendonk | first = Stephan
| doi = 10.1007/s00591-016-0173-0
| issue = 1
| journal = Mathematische Semesterberichte
| mr = 3629442
| pages = 1–13
| title = Ways to square the parabola—a commented picture gallery
| volume = 64
| year = 2017}} Because of this focus on quadrature as a measure of area, the Greeks and later mathematicians sought unsuccessfully to square the circle, constructing a square with the same area as a given circle, again using finitely many steps with a compass and straightedge. In 1882, the task was proven to be impossible as a consequence of the Lindemann–Weierstrass theorem. This theorem proves that pi ({{pi}}) is a transcendental number rather than an algebraic irrational number; that is, it is not the root of any polynomial with rational coefficients. A construction for squaring the circle could be translated into a polynomial formula for {{pi}}, which does not exist.{{cite journal
| last = Kasner | first = Edward | author-link = Edward Kasner
| date = July 1933
| issue = 1
| journal = The Scientific Monthly
| jstor = 15685
| pages = 67–71
| title = Squaring the circle
| volume = 37}}
Characterizations and representations
Locus of points equidistant from a common center
Curve of constant curvature
Apollonian circles
Description in various coordinate systems
Intrinsic geometry of the circle
Circular motion and trigonometry
Circles in solid geometry
= Circles as conic sections =
Conic sections are curves made by the intersection of a plane with a cone. The type of curve produced depends upon the angle at which the plane passes through the cone. Different choices of angle produce hyperbolas, parabolas, and ellipses. A circle is a special case of ellipse, specifically, an ellipse with eccentricity equal to zero.
Non-Euclidean and inversive geometry
= Representation using complex numbers =
Oriented circles
Topological circles
Generalizations
Related figures
=Inscribed=
=Circumscribed=
=Curves found by transformation=
Pedal, caustic, etc.
Applications
Geometry bookshelf
{{reflist}}
- {{cite book |last1=Abramson |first1=Jay |display-authors=etal |title=Algebra and Geometry 2e |publisher=OpenStax |url=https://openstax.org/details/books/algebra-and-trigonometry-2e |year=2024 |isbn=978-1-951693-40-4 |edition=digital}} Free textbook at the high-school level.
- {{cite book | last = Byrne | first = Oliver | title = The First Six Books of the Elements of Euclid | publisher = TASCHEN GmbH | year = 2013 | orig-year = 1847 | isbn = 978-3-8365-4471-9 | edition = facsimile | author-link = Oliver Byrne (mathematician) | url = https://archive.org/details/firstsixbooksofe00eucl
}}
- {{cite book |last=Cheng |first=Eugenia |author-link=Eugenia Cheng |title=Is Math Real? How Simple Questions Lead Us To Mathematics' Deepest Truths |year=2023 |publisher=Basic Books |isbn=978-1-541-6-01826}} Some relevant material on how to think about sines and cosines.
- {{cite book |last=Coolidge |first=Julian |author-link=Julian Coolidge |year=1916 |title=A Treatise on the Circle and the Sphere |place=Oxford |publisher=Clarendon }} ([https://archive.org/details/treatiseonthecir033247mbp Internet Archive scan])
- {{cite book | last1 = Godfrey | first1 = Charles | last2 = Siddons | first2 = A. W. | edition = 3rd | publisher = Cambridge University Press | title = Elementary Geometry: Practical and Theoretical | url = https://archive.org/details/elementarygeomet00godfuoft | year = 1919}}
- {{cite book|last=Gonick |first=Larry |title=The Cartoon Guide to Geometry |year=2024 |author-link=Larry Gonick |publisher=William Morrow |isbn=978-0-06-315757-6}} An axiomatic treatment of high-school geometry.
- {{cite book|last=Gonick |first=Larry |title=The Cartoon Guide to Calculus |year=2011 |author-link=Larry Gonick |publisher=William Morrow |isbn=978-0-06-168909-3}} Called "an excellent treatment" by MAA Reviews [https://old.maa.org/press/maa-reviews/the-cartoon-guide-to-calculus].
- {{cite book |last1=Maehara |first1=Hiroshi |last2=Martini |first2=Horst |year=2024 |title=Circles, Spheres and Spherical Geometry |publisher=Birkhäuser |doi=10.1007/978-3-031-62776-7 |isbn=978-3-031-62775-0 }}
- {{cite book|last1=Moebs |first1=William |display-authors=etal |title=University Physics |volume=1 |publisher=OpenStax |url=https://openstax.org/details/books/university-physics-volume-1 |year=2024 |edition=digital |isbn=978-1-947172-20-3}} Probably as good as any textbook for the basics of circular motion.
- {{MacTutor|class=Curves |id=Circle |title=Circle}}
- {{Mactutor|class=HistTopics |id=Squaring_the_circle |title=Squaring the circle}}
- {{cite book | last = Rich | first = Barnett | publisher = Schaum | title = Principles And Problems Of Plane Geometry | url = https://archive.org/details/in.ernet.dli.2015.131938 | year = 1963}}
- {{cite book | last1 = Schorling | first1 = R. | last2 = Clark | first2 = John P. | last3 = Carter | first3 = H. W. | publisher = George G. Harrap & Co. | title = Modern Mathematics: An Elementary Course | url = https://archive.org/details/in.ernet.dli.2015.84435 | year = 1935}}
- {{cite book |date=2023 |editor1-last=Sidoli |editor1-first=Nathan |editor2-last=Thomas |editor2-first=Robert Spencer David |title=The Spherics of Theodosios |title-link=Theodosius' Spherics |place=London |publisher=Routledge |isbn=0-367-55730-4 |doi=10.4324/9781003142164}}
- {{cite web|url=https://open.umn.edu/opentextbooks/subjects/geometry-and-trigonometry |title=Geometry and Trigonometry textbooks |website=Open Textbook Library |publisher=University of New Mexico}}