Analytic Spherical Geometry: Begin with a sphere of radius R, with center at the origin O. Measuring the length of a segment (arc) on a sphere. Let A and B be any two points on the sphere. We know that the measure of the arc AB is the measure of the central angle AOB, which we will measure in radians. So, m AOB m AOB the arc length is C = π R= R m AOB. That is π π ( AB) = R AOB. (1.1) B O A Notice that this means when we discuss the length of an arc on the sphere, we will generally work with the angle from the center of the sphere. Measuring the area of polygons on the sphere. I) The bi-angle (or lune) a section of the sphere between two half great circles. The vertices of the lune are antipodal points.
Let the angle at each vertex be θ, and recall that the area of the surface of the sphere is 4π R. The portion of the sphere occupied by the lune, then, is θ 4πR = θr (1.) π II) The triangle ABC : Let A, B, C be the radian angle measures. Extend the sides of the triangle to make three lines (great circles). This creates three pairs of bi-angles. Notice the congruent triangle ABC where A, B,C are the antipodal points to A, B, C, respectively. Label the triangle ABC on the figure below. III) Exercise 1: Use the result in (I) to derive the formula for the area of a triangle. What is significant about the area of a spherical triangle versus the area of a Euclidean triangle.
Triangles on the sphere I) Right triangles. Let ABC be a right triangle with a right angle at C and let abc,, be the lengths of the sides opposite A, B, C, respectively. So, a= ( BC ), b= ( AC), c= ( AB). (1.3) Recall that a triangle in the sphere may have more than one right angle. Pythagorean Theorem: In Euclidean geometry we know that a b for a right triangle (Pythagorean Theorem). Let s try to + =c establish a Pythagorean Theorem for our right triangle on the sphere. To more easily follow the remaining discussion, on each of the right triangle pictures that follow, you should sketch in the x,y,z coordinate axes. As we are working on the sphere, let s use spherical coordinates. Without loss of generality, assume that our sphere is centered at the origin O = (0,0,0). Recall: x= Rcosθsinφ y = Rsinθsinφ (1.4) z = Rcosφ where 0 θ π (same as polar coordinates in the xy-plane i.e. measured from the positive x-axis toward the positive y-axis) and 0 φ π is measured from the positive z- axis toward the xy-plane. WLOG assume that A is on the positive x- axis, C is in the xy-plane, and B is such that C = ACBis a right angle. Recalling that each point is on the sphere of radius R, express each in spherical coordinates. It is clear that A= ( R,0,0), C = ( Rcos( AOC), Rsin( AOC),0) since they are both in the xy-plane. Now C is a right angle so the line (great circle) containing the arc BC on the sphere must contain the North Pole (0,0, R) since C is on the equator (where the xy-plane intersects the sphere). Therefore, in the expressions for spherical coordinates in π (1.4), θ = AOC and φ= BOC for the point B(see the picture).
The spherical coordinates for B, then, are x = R cos( AOC)sin( π BOC) = R cos( AOC)cos( BOC) y = Rsin( AOC)sin( π BOC) = Rsin( AOC)cos( BOC) z = Rcos( π BOC) = Rsin( BOC). Now we just need to determine the angle AOB, which will also give us the length of the arc. If we look at the vector representations of the points A, B, and C, which will be denoted, and AB AB, C, we have A= ( R,0,0) B = ( R cos( AOC)cos( BOC), Rsin( AOC)cos( BOC), Rsin( BOC)) C = ( Rcos( AOC), Rsin( AOC),0). (1.5) Now the angle AOB formed by the two vectors A and B is found from AB i = A B cos( AOB). (1.6) Calculating, we have R cos( AOC)cos( BOC) = R R cos( AOB) or cos( AOB) = cos( BOC)cos( AOC) or cos( c/ R) = cos( a/ R)cos( b/ R) (1.7) The last expression in (1.7) is referred to as the Pythagorean Theorem on the Sphere. Exercises: ) Use the power series expansion of cos x to show that for small values of ab,, and c (when the triangle is most like a Euclidean Triangle), that the Pythagorean Theorem on the sphere in (1.7, second expression) is equivalent to the Pythagorean Theorem in the plane. For simplicity, you may assume that R=1. 3) Let A= (1,0,0), B= (1/4, 3/4, 3/), C = (1/, 3/,0) be three points on the unit sphere. Find the angles AOC, BOC, AOB and show that this is a right triangle by showing it satisfies the Pythagorean theorem. Find the length of each side of the triangle.
Right Triangle Trigonometry Often we will use vector representations of points to obtain information on the sphere. This was seen above already in the proof of the Pythagorean Theorem. We will need some more information here. Preliminaries: 3 If u,v are any two vectors in R then: uv i = u v cosθ, where θ is the angle between the two vectors. This is often used to find the angle between two vectors, when the two vectors are given in coordinates. u v = u v sinθ, where θ is the angle between the two vectors. This can also be used to find the angle between two vectors. The cross product of two vectors is a vector perpendicular to both vectors, with direction determined by the right-hand rule. 3 A plane in R is completely determined by a point in the plane and a vector perpendicular to the plane (called the normal vector n ). The equation of a plane is ax ( h) + by ( k) + cz ( l) = 0 where n= ( abc,, ) and a point on the plane is ( hkl,, ). Example: The yz -plane is given by x = 0, so n = (1,0,0) and (0,0,0) is a point on the plane. (Note: could also use n = ( 1,0,0) ) 3 A plane R is also completely determined by two non-parallel vectors uv,. The cross product, u v, is perpendicular to both, so it is a normal vector to the plane. The angle between two planes is the angle between their normal vectors. Theorem: Let ABC be a right triangle with a right angle at C and let abc,, be the lengths of the sides opposite A, B, C, respectively. Again, we are on a sphere of radius R, with center at the origin O. sin( AOC)cos( BOC) sin( b / R)cos( a / R) cos A = = sin( AOB) sin( c / R) (1.8) Proof: First, notice that the second equality follows immediately from equations (1.1) and (1.3). The angle at A is the angle between the xy -plane and the plane containing the vectors A and B. Now this is the same as the angle between their normal vectors, which are n1 = (0,0,1) and n = A B (see the bullets above). Using the vector representations in (1.5), and the definition of cross product, n = (0, R sin( BOC), R sin( AOC)cos( BOC )).
To find the cosine of the angle A, then, we use the dot product; n1in = n1 n cosθ. This gives R sin( AOC)cos( BOC) = 1 n cos A, or R sin( AOC)cos( BOC ) cos A =. n But, n = A B = A B sin( AOB) = R sin( AOB), and so sin( AOC)cos( BOC) cos A = sin( AOB) (1.9) Exercise 4: Use the cross-product technique as in the proof of the above theorem to show that sin( a/ R) sin A = (1.10) sin( c/ R) Exercise 5: Use the power series expansions of sine and cosine to show that the results of (1.8), second equality, and (1.10) gives the usual definition for sin A and co s A if the lengths abc,, are very small. Exercise 6: Let A= (1,0,0), B= (1/4, 3/4, 3/), C = (1/, 3/,0) be three points on the unit sphere. a) Find the equations of the three planes the plane containing each pair of vertices and the center of the sphere. b) Calculate the angles ABC, ACB, BAC, by calculating the angles between the planes in (a). Exercise 7: In the Euclidean plane the ratio of the sides of a 30-60-90 triangle are 1, 3, 1. Determine if this is the case for 30-60-90 triangles on the sphere.