Spherical circle: Difference between revisions

Browse history interactively ← Previous edit Next edit →Content deleted Content addedVisual WikitextInline

Revision as of 22:24, 5 November 2022 editJacobolus (talk \| contribs)Extended confirmed users35,789 editsmNo edit summary← Previous edit		Revision as of 17:06, 22 July 2023 edit undoJacobolus (talk \| contribs)Extended confirmed users35,789 edits expand and clarify lead section, first focusing on intrinsic properties and later describing extrinsic characterizationsNext edit →
Line 3:		Line 3:
	]		]
	]		]
			In ], a '''circle''' is the ] of ]s on a ] at uniform ] (the ''radius'') from a given point (the ''center''). It is a ] of constant ] relative to the sphere.
	A '''circle of a sphere''' is a ] that lies on a ]. Such a circle can be formed as the intersection of a ] and a ], or of two spheres. Circles of a sphere are the ] analogs of ]s in ]. A circle on a sphere whose plane passes through the center of the sphere is called a '']'', analogous to a Euclidean ]; otherwise it is a '''small circle''', analogous to a Euclidean circle. Circles of a sphere have radius less than or equal to the sphere radius, with equality when the circle is a great circle.

			Circles with zero curvature relative to the sphere are called '']s'', and are ]s analogous to ]s in the ]. If a great circle passes through a point on the sphere, it also passes through the ]. For any pair of distinct non-antipodal points, a unique great circle passes through both.
	A circle of a sphere can also be characterized as the locus of points on the sphere at uniform distance from a given center point, or as a spherical ] of constant ].

			Circles with non-zero curvature are called '''small circles''' or '''lesser circles''', analogous to ]s in the plane. ] small circles are sometimes called ''parallels'', because they each have uniform distance to each-other and in particular to the concentric great circle, and are in that sense analogous to ]s lines in the plane. For any triple of distinct non-antipodal points a unique small circle passes through all three.

			If the sphere is ] in Euclidean space, a circle can be characterized as the sphere's ] with a ]. A great circle lies on a plane passing through the center of the sphere, and therefore has an extrinsic radius in Euclidean space equal to that of the sphere. A small circle lies on a plane not passing through the center, and its extrinsic radius is smaller than that of the sphere.

			A circle can also be characterized as the sphere's intersection with a second sphere, or as one ] of the intersection with a ] or ] concentric with the sphere.

	==On the earth==		==On the earth==

Revision as of 17:06, 22 July 2023

Mathematical expression of circle like slices of sphere "Small circle" redirects here. For the typographical symbol, see Degree symbol.

$BC^{2}=AB^{2}+AC^{2}$ , where C is the center of the sphere, A is the center of the small circle, and B is a point in the boundary of the small circle. Therefore, knowing the radius of the sphere, and the distance from the plane of the small circle to C, the radius of the small circle can be determined using the Pythagorean theorem.

{\displaystyle BC^{2}=AB^{2}+AC^{2}} — $BC^{2}=AB^{2}+AC^{2}$ , where C is the center of the sphere, A is the center of the small circle, and B is a point in the boundary of the small circle. Therefore, knowing the radius of the sphere, and the distance from the plane of the small circle to C, the radius of the small circle can be determined using the Pythagorean theorem.

In spherical geometry, a circle is the locus of points on a sphere at uniform intrinsic distance (the radius) from a given point (the center). It is a curve of constant curvature relative to the sphere.

Circles with zero curvature relative to the sphere are called great circles, and are geodesics analogous to straight lines in the Euclidean plane. If a great circle passes through a point on the sphere, it also passes through the antipodal point. For any pair of distinct non-antipodal points, a unique great circle passes through both.

Circles with non-zero curvature are called small circles or lesser circles, analogous to circles in the plane. Concentric small circles are sometimes called parallels, because they each have uniform distance to each-other and in particular to the concentric great circle, and are in that sense analogous to parallel lines lines in the plane. For any triple of distinct non-antipodal points a unique small circle passes through all three.

If the sphere is embedded in Euclidean space, a circle can be characterized as the sphere's intersection with a plane. A great circle lies on a plane passing through the center of the sphere, and therefore has an extrinsic radius in Euclidean space equal to that of the sphere. A small circle lies on a plane not passing through the center, and its extrinsic radius is smaller than that of the sphere.

A circle can also be characterized as the sphere's intersection with a second sphere, or as one branch of the intersection with a right circular cylinder or right circular cone concentric with the sphere.

On the earth

In the geographic coordinate system on a globe, the parallels of latitude are small circles, with the Equator the only great circle. By contrast, all meridians of longitude, paired with their opposite meridian in the other hemisphere, form great circles.

Related terminology

The diameter of the sphere which passes through the center of the circle is called its axis and the endpoints of this diameter are called its poles. A circle of a sphere can also be defined as the set of points at a given angular distance from a given pole.

Sphere-plane intersection

When the intersection of a sphere and a plane is not empty or a single point, it is a circle. This can be seen as follows:

Let S be a sphere with center O, P a plane which intersects S. Draw OE perpendicular to P and meeting P at E. Let A and B be any two different points in the intersection. Then AOE and BOE are right triangles with a common side, OE, and hypotenuses AO and BO equal. Therefore, the remaining sides AE and BE are equal. This proves that all points in the intersection are the same distance from the point E in the plane P, in other words all points in the intersection lie on a circle C with center E. This proves that the intersection of P and S is contained in C. Note that OE is the axis of the circle.

Now consider a point D of the circle C. Since C lies in P, so does D. On the other hand, the triangles AOE and DOE are right triangles with a common side, OE, and legs EA and ED equal. Therefore, the hypotenuses AO and DO are equal, and equal to the radius of S, so that D lies in S. This proves that C is contained in the intersection of P and S.

As a corollary, on a sphere there is exactly one circle that can be drawn through three given points.

The proof can be extended to show that the points on a circle are all a common angular distance from one of its poles.

Compare also conic sections, which can produce ovals.

Sphere-sphere intersection

To show that a non-trivial intersection of two spheres is a circle, assume (without loss of generality) that one sphere (with radius $R$ ) is centered at the origin. Points on this sphere satisfy

x^{2}+y^{2}+z^{2}=R^{2}.

Also without loss of generality, assume that the second sphere, with radius $r$ , is centered at a point on the positive x-axis, at distance $a$ from the origin. Its points satisfy

(x-a)^{2}+y^{2}+z^{2}=r^{2}.

The intersection of the spheres is the set of points satisfying both equations. Subtracting the equations gives

{\begin{aligned}(x-a)^{2}-x^{2}&=r^{2}-R^{2}\\a^{2}-2ax&=r^{2}-R^{2}\\x&={\frac {a^{2}+R^{2}-r^{2}}{2a}}.\end{aligned}}

In the singular case $a=0$ , the spheres are concentric. There are two possibilities: if $R=r$ , the spheres coincide, and the intersection is the entire sphere; if $R\not =r$ , the spheres are disjoint and the intersection is empty. When a is nonzero, the intersection lies in a vertical plane with this x-coordinate, which may intersect both of the spheres, be tangent to both spheres, or external to both spheres. The result follows from the previous proof for sphere-plane intersections.

References

Proof follows Hobbs, Prop. 304
Hobbs, Prop. 308
Hobbs, Prop. 310

Hobbs, C.A. (1921). Solid Geometry. G.H. Kent. pp. 397 ff.

Misplaced Pages