jagomart
digital resources
picture1_Geometry Pdf 168201 | Sphericalgeometry


 149x       Filetype PDF       File size 1.20 MB       Source: www.math.umd.edu


File: Geometry Pdf 168201 | Sphericalgeometry
spherical geometry math430 fall 2014 in these notes we summarize some results about the geometry of the sphere that complement should the textbook most notions we had on the plane ...

icon picture PDF Filetype PDF | Posted on 25 Jan 2023 | 2 years ago
Partial capture of text on file.
 
                        Spherical Geometry
                             MATH430
                               Fall 2014
           In these notes we summarize some results about the geometry of the sphere that
         complement should the textbook. Most notions we had on the plane (points, lines,
         angles, triangles etc.) make sense in spherical geometry, but one has to be careful about
         defining them. Some classical theorems from the plane however are no longer true in
         spherical geometry. For example, the sum of the angles of a triangle on a sphere is always
         greater than 180o. Also there is no notion of parallelism.
           We will also prove Euler’s theorem which says that in a convex polyhedron, if you
         count the number of its vertices, subtract the number of its edges, and add the number
         of its faces you will always get 2. Perhaps surprisingly, in our proof of Euler’s theorem
         we will use spherical geometry.
           The main property of segments on the plane is that any segment [AB] is the shortest
         path between the points A,B. In general this is how one defines segments/lines in every
         geometry (sometimes called geodesic lines, or geodesics). Here we will do this the other
         way around. We will ”declare” straight lines on the sphere to be great circles, i.e. circles
         one obtains after cutting the sphere with planes passing through the origin.
           If we want to geometrically construct the straight segment between two points A,B
         on the sphere, we just need to cut the sphere with the plane ABO:
         Now that we know what the straight segments is between A and B, how should we
         compute the (spherical) distance between A and B? As it is geometrically justified, this
                                 1
                                                   ⌢
                should be the length of the arc AB as shown in the figure above. This is computed by
                the following formula:                      ⌢
                                                                       [
                                              d (A,B) = |AB| = m(AOB)R,
                                                s
                where R is the radius of the sphere. Here we already notice something that has no analog
                in the plane: one computes distances on the sphere by measuring central angles.
                    Suppose C is another point on the sphere and we would like to define the spherical
                       [                                                ⌢ ⌢
                angle ABC formed by the straight line segments AB and BC. Remember that we
                introduced straight lines by cutting the sphere with planes passing through the origin.
                                                         [
                By definition, the spherical angle ABC is the angle formed by the defining planes
                                              ⌢ ⌢
                AOB and AOC of the arcs AB and BC, as shown on the above figure.
                    For any two points there is a unique great circle passing through them, unless they
                are opposite. If they are opposite (i.e. belong to a diameter) there are infinitely many
                such great circles.
                Angles of triangles and polygons
                Once we have defined the straight lines on a sphere, the definition of a triangle(polygon)
                carries over from the plane: the vertices are points on a sphere and the sides are arc
                segments of great circles.
                    Thepolygonwithsmallestnumberofverticesintheplaneisatriangle. Onasphereit
                is a two angle or spherical sector. On a sphere if you issue two straight lines (remember
                that straight lines for us are arcs of great circles) from a point A they will intersect at
                another point A′, the point opposite to A, as illustrated below:
                According to the next result, the area of a spherical sector is not hard to compute:
                Theorem 1. Let Sect(AA′) be a spherical sector as described in the above figure. Let
                α be the angle between the segments defining the sector. Then the area of the sector is
                equal to 2αR2, where R is the radius of the sphere.
                Proof. Clearly, the area of the sector (we denote it Aα) is directly proportional to the
                angle α. If α = 2π then the sector area would be equal to the area of the whole sphere
                which is A    =4πR2. By proportionality we obtain that A = 2αR2.
                           2π                                                  α
                    Now we are able to calculate the area of a spherical triangle:
                Theorem 2. Let ABC be a spherical triangle with angles α,β,γ. Then
                                                                     AABC
                                                  α+β+γ=π+                ∆
                                                                       R2
                                                              2
                where AABC is the area of the triangle and R is the radius of the sphere. In particular,
                            ∆
                the sum of the angles is always greater than π.
                Proof. If we continue the sides of the triangle they will meet at other three points
                A′,B′,C′ opposite to A,B,C as shown on the figure below:
                                                 ′  ′ ′
                As we argue now, the triangle A B C∆ is congruent to the triangle ABC by (SSS). We
                                          ⌢ ⌢ ⌢ ⌢ ⌢ ⌢
                only have to show that |AC| = |A’C’|, as |AB| = |A’B’| and |BC| = |B’C’| will follow
                similarly.      ⌢ ⌢
                   To see that |AC| = |A’C’| notice that these arcs are cut out from their defining great
                circle by two planes that go trough O. Hence we have the following figure:
                                   ⌢ ⌢
                   Consequently |AC| = |A’C’|, because they are arcs that correspond to the same
                central angle.
                   Now we observe that the surface of the sphere is covered by ABC∆ and A′B′C′
                                                                                                          ∆
                and three non-overlapping spherical sectors, each corresponding to an external angle of
                ABC∆ as suggested by fist figure of the proof. As these segments are not overlapping,
                we can write:
                                   A       +A ′ ′ ′ +A        +A +A =4πR2.
                                     ABC∆      ABC        π−α      π−β     π−γ
                                                    ∆
                Since A       =A ′ ′ ′ , by the previous theorem we can write:
                        ABC∆      ABC∆
                               2A      =4πR2−2(π−α)R2−2(π−β)R2−2(π−γ)R2,
                                  ABC
                thus after dividing with 2R2 we obtain:
                                                A
                                                  ABC =−π+α+β+γ,
                                                  R2
                which is what we wanted to prove.
                                                             3
                    We remark the corresponding result about external angles in a triangle. We will
                generalize this shortly in order to prove Euler’s theorem:
                                                ˆ
                Remark 1. Let αˆ = π −α,β = π −β,γˆ = π −γ be the external angles of a spherical
                triangle ABC. Then
                                                                      A
                                                       ˆ                ABC∆
                                                  αˆ + β + γˆ = 2π −    R2.
                This follows directly from the previous theorem.
                Theorem 3. Let P = A A ...A be a spherical polygon. Let αˆ ,αˆ ,...,αˆ                    be its
                                             1  2      n                                   1   2       n
                external angles. Then
                                                                             A
                                               αˆ +αˆ +...+αˆ =2π− P,
                                                 1    2           n          R2
                where AP is the area of P and R is the radius of the sphere.
                Proof. The proof is by induction on n. By the prvious remark the theorem holds for
                n = 3. Consider the polygon P′ = A1A2...An−1 obtained from P by removing the last
                vertex An. Then external angles αˆ′ of P′ are the same as of P except for αˆ′ and αˆ′          .
                                                      i                                            1        n−1
                Looking at the figure below, it easy to see that
                               ′          c ′                                ′              [
                              αˆ =αˆ +A , αˆ =αˆ (2 ≤ i ≤ n−2), αˆ               =αˆ      +A ,
                               1     1     1     i    i                      n−1      n−1     n−1
                                [
                where A and A         are the corresponding angles of the triangle A A         A :
                         1        n−1                                                   1  n−1 n∆
                By the inductive assumption
                                                                          A ′
                                                 αˆ′ + ... + αˆ′  =2π− P
                                                   i         n−1           R2
                Therefore
                                                                                   A ′
                                         c                    [                      P
                                  (αˆ +A)+...+(αˆ          +A )+αˆ =2π−                 +αˆ ,
                                    1     1            n−1      n−1      n          R2      n
                                  c
                Since αˆ = π −A we get
                        n          n
                                                            AP′     c [ c
                                    αˆ  +...+αˆ =2π−            −(A +A          +A −π).
                                      1          n          R2        1     n−1     n
                                                     c [ c                                   2
                Bythe previous theorem we have A +A              +A =π+A                  /R , thus we obtain
                                                       1     n−1     n          A1An−1An∆
                                                           A ′    AA A     A            A
                                   αˆ  +...+αˆ =2π− P −              1 n−1 n∆ = 2π −      P .
                                     1          n          R2          R2                R2
                                                               4
The words contained in this file might help you see if this file matches what you are looking for:

...Spherical geometry math fall in these notes we summarize some results about the of sphere that complement should textbook most notions had on plane points lines angles triangles etc make sense but one has to be careful dening them classical theorems from however are no longer true for example sum a triangle is always greater than o also there notion parallelism will prove euler s theorem which says convex polyhedron if you count number its vertices subtract edges and add faces get perhaps surprisingly our proof use main property segments any segment shortest path between b general this how denes every sometimes called geodesic or geodesics here do other way around declare straight great circles i e obtains after cutting with planes passing through origin want geometrically construct two just need cut abo now know what compute distance as it justied length arc ab shown gure above computed by following formula d m aob r where radius already notice something analog computes distances meas...

no reviews yet
Please Login to review.