Semicircle: Difference between revisions
Wikisleeper (talk | contribs) (over-write) |
(update) |
||
| Line 1: | Line 1: | ||
In [[HandWiki:Mathematics|mathematics]] (and more specifically [[Geometry|geometry]]), a '''semicircle''' is a one-dimensional [[Locus (mathematics)|locus]] of points that forms half of a [[Company:Circle|circle]]. It is a [[Circular arc|circular arc]] that measures 180° (equivalently, {{pi}} radians, or a [[Turn (geometry)#Subdivision of turns|half-turn]]). It only has one line of symmetry ([[Reflection symmetry|reflection symmetry]]). | |||
In [[Mathematics|mathematics]] (and more specifically [[Geometry|geometry]]), a '''semicircle''' is a one-dimensional [[Locus (mathematics)|locus]] of points that forms half of a [[Circle|circle]]. It is a [[Circular arc|circular arc]] that measures 180° (equivalently, {{pi}} radians, or a [[Turn (geometry)#Subdivision of turns|half-turn]]). It has | |||
In non-technical usage, the term "semicircle" is sometimes used to refer to either a closed curve that also includes the diameter segment from one end of the arc to the other or to the half-disk, which is a two-dimensional [[Region (mathematics)|geometric region]] that further includes all the interior points. | In non-technical usage, the term "semicircle" is sometimes used to refer to either a closed curve that also includes the diameter segment from one end of the arc to the other or to the half-disk, which is a two-dimensional [[Region (mathematics)|geometric region]] that further includes all the interior points. | ||
By Thales' theorem, any [[Triangle|triangle]] [[Inscribed figure|inscribed]] in a semicircle with a [[Vertex (geometry)|vertex]] at each of the endpoints of the semicircle and the third vertex elsewhere on the semicircle is a [[Right triangle|right triangle]], with a [[Right angle|right angle]] at the third vertex. | By Thales' theorem, any [[Triangle|triangle]] [[Inscribed figure|inscribed]] in a semicircle with a [[Vertex (geometry)|vertex]] at each of the endpoints of the semicircle and the third vertex elsewhere on the semicircle is a [[Right triangle|right triangle]], with a [[Right angle|right angle]] at the third vertex. | ||
All lines intersecting the semicircle [[Perpendicular|perpendicular]]ly are [[Concurrent lines|concurrent]] at the center of the circle containing the given semicircle. | All lines intersecting the semicircle [[Perpendicular|perpendicular]]ly are [[Concurrent lines|concurrent]] at the center of the circle containing the given semicircle. | ||
== | ==Arithmetic and geometric means== | ||
[[ | [[File:quadrature_of_rectangle.svg|thumb|left|upright|Construction of a square with the same area as a given oblong]] | ||
{{AM_GM_inequality_visual_proof.svg}} | |||
A semicircle can be used to construct the [[Arithmetic mean|arithmetic]] and [[Geometric mean|geometric]] means of two lengths using straight-edge and compass. For a semicircle with a diameter of ''a'' + ''b'', the length of its [[Radius|radius]] is the arithmetic mean of ''a'' and ''b'' (since the radius is half of the diameter). | A semicircle can be used to construct the [[Arithmetic mean|arithmetic]] and [[Geometric mean|geometric]] means of two lengths using straight-edge and compass. For a semicircle with a diameter of ''a'' + ''b'', the length of its [[Radius|radius]] is the arithmetic mean of ''a'' and ''b'' (since the radius is half of the diameter). | ||
The [[Geometric mean|geometric mean]] can be found by dividing the diameter into two segments of lengths ''a'' and ''b'', and then connecting their common endpoint to the semicircle with a segment perpendicular to the diameter. The length of the resulting segment is the geometric mean. This can be proven by applying the [[Pythagorean theorem]] to three similar right triangles, each having as vertices the point where the perpendicular touches the semicircle and two of the three endpoints of the segments of lengths ''a'' and ''b''.<ref>[http://aleph0.clarku.edu/~djoyce/java/elements/bookVI/propVI13.html Euclid's Elements, Book VI, Proposition 13]</ref> | The [[Geometric mean|geometric mean]] can be found by dividing the diameter into two segments of lengths ''a'' and ''b'', and then connecting their common endpoint to the semicircle with a segment perpendicular to the diameter. The length of the resulting segment is the geometric mean. This can be proven by applying the [[Pythagorean theorem]] to three similar right triangles, each having as vertices the point where the perpendicular touches the semicircle and two of the three endpoints of the segments of lengths ''a'' and ''b''.<ref>[http://aleph0.clarku.edu/~djoyce/java/elements/bookVI/propVI13.html Euclid's Elements, Book VI, Proposition 13]</ref> | ||
The construction of the geometric mean can be used to transform any rectangle into a square of the same area, a problem called the [[Quadrature ( | The construction of the geometric mean can be used to transform any rectangle into a square of the same area, a problem called the [[Quadrature (geometry)|quadrature]] of a rectangle. The side length of the square is the geometric mean of the side lengths of the rectangle. More generally, it is used as a [[Lemma (mathematics)|lemma]] in a general method for transforming any polygonal shape into a similar copy of itself with the area of any other given polygonal shape.<ref>[https://mathcs.clarku.edu/~djoyce/java/elements/bookVI/propVI25.html Euclid's Elements, Book VI, Proposition 25]</ref>{{clear|left}} | ||
==Farey diagram== | |||
[[File:Comparison_Ford_circles_Farey_diagram.svg|thumb|upright=1.35|link={{filepath:comparison_Ford_circles_Farey_diagram.svg}}|Comparison of Ford circles and a Farey diagram with semicircles for ''n'' from 1 to 9. Each semicircle intersects its corresponding circles at right angles. {{nowrap|In [{{filepath:comparison_Ford_circles_Farey_diagram.svg}} the SVG image,]}} hover over a circle or curve to highlight it and its terms.]] | |||
The [[Farey sequence]] of order ''n'' is the [[Biology:Sequence|sequence]] of completely reduced [[Chemistry:Fraction|fraction]]s which when in lowest terms have denominators less than or equal to ''n'', arranged in order of increasing size. With a restricted definition, each Farey sequence starts with the value 0, denoted by the fraction {{sfrac|0|1}}, and ends with the fraction {{sfrac|1}}. [[Ford circle]]s can be constructed [[Tangent|tangent]] to their neighbours, and to the x-axis at these points. Semicircles joining adjacent points on the x-axis pass through the points of contact at right angles.<ref>{{cite web | url=http://mathworld.wolfram.com/FordCircle.html | title=Ford Circle }}</ref> | |||
==Equation== | ==Equation== | ||
| Line 29: | Line 31: | ||
==Arbelos== | ==Arbelos== | ||
[[Image:Arbelos.svg | [[Image:Arbelos.svg|thumb|An '''arbelos''' (grey region)]] | ||
An [[Arbelos|arbelos]] is a region in the [[Plane (geometry)|plane]] bounded by three semicircles connected at | An [[Arbelos|arbelos]] is a region in the [[Plane (geometry)|plane]] bounded by three semicircles connected at their endpoints, all on the same side of a straight line (the ''baseline'') that contains their [[Diameter|diameter]]s. | ||
==See also== | ==See also== | ||
*Amphitheater | *Amphitheater | ||
*Archimedes' twin circles | *Archimedes' twin circles | ||
*Archimedes' quadruplets | *Archimedes' quadruplets | ||
*Great semicircle | |||
*[[Salinon]] | *[[Salinon]] | ||
*[[Wigner semicircle distribution]] | *[[Wigner semicircle distribution]] | ||
| Line 47: | Line 49: | ||
[[Category:Elementary geometry]] | [[Category:Elementary geometry]] | ||
es:Semicírculo | es:Semicírculo | ||
{{Sourceattribution|Semicircle}} | {{Sourceattribution|Semicircle}} | ||
Latest revision as of 20:56, 19 July 2025
In mathematics (and more specifically geometry), a semicircle is a one-dimensional locus of points that forms half of a circle. It is a circular arc that measures 180° (equivalently, π radians, or a half-turn). It only has one line of symmetry (reflection symmetry).
In non-technical usage, the term "semicircle" is sometimes used to refer to either a closed curve that also includes the diameter segment from one end of the arc to the other or to the half-disk, which is a two-dimensional geometric region that further includes all the interior points.
By Thales' theorem, any triangle inscribed in a semicircle with a vertex at each of the endpoints of the semicircle and the third vertex elsewhere on the semicircle is a right triangle, with a right angle at the third vertex.
All lines intersecting the semicircle perpendicularly are concurrent at the center of the circle containing the given semicircle.
Arithmetic and geometric means
Template:AM GM inequality visual proof.svg A semicircle can be used to construct the arithmetic and geometric means of two lengths using straight-edge and compass. For a semicircle with a diameter of a + b, the length of its radius is the arithmetic mean of a and b (since the radius is half of the diameter).
The geometric mean can be found by dividing the diameter into two segments of lengths a and b, and then connecting their common endpoint to the semicircle with a segment perpendicular to the diameter. The length of the resulting segment is the geometric mean. This can be proven by applying the Pythagorean theorem to three similar right triangles, each having as vertices the point where the perpendicular touches the semicircle and two of the three endpoints of the segments of lengths a and b.[1]
The construction of the geometric mean can be used to transform any rectangle into a square of the same area, a problem called the quadrature of a rectangle. The side length of the square is the geometric mean of the side lengths of the rectangle. More generally, it is used as a lemma in a general method for transforming any polygonal shape into a similar copy of itself with the area of any other given polygonal shape.[2]
Farey diagram
The Farey sequence of order n is the sequence of completely reduced fractions which when in lowest terms have denominators less than or equal to n, arranged in order of increasing size. With a restricted definition, each Farey sequence starts with the value 0, denoted by the fraction 0/1, and ends with the fraction 1/1. Ford circles can be constructed tangent to their neighbours, and to the x-axis at these points. Semicircles joining adjacent points on the x-axis pass through the points of contact at right angles.[3]
Equation
The equation of a semicircle with midpoint [math]\displaystyle{ (x_0,y_0) }[/math] on the diameter between its endpoints and which is entirely concave from below is
- [math]\displaystyle{ y=y_0+\sqrt{r^2-(x-x_0)^2} }[/math]
If it is entirely concave from above, the equation is
- [math]\displaystyle{ y=y_0-\sqrt{r^2-(x-x_0)^2} }[/math]
Arbelos
An arbelos is a region in the plane bounded by three semicircles connected at their endpoints, all on the same side of a straight line (the baseline) that contains their diameters.
See also
- Amphitheater
- Archimedes' twin circles
- Archimedes' quadruplets
- Great semicircle
- Salinon
- Wigner semicircle distribution
References
External links
es:Semicírculo
 |  |
