DOCSLIB.ORG

Stereographic Projection of Plane Algebraic Curves Onto the Sphere S

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Stereographic Projection of Plane Algebraic Curves Onto the Sphere S Transactions on Engineering Sciences vol 15, © 1997 WIT Press, www.witpress.com, ISSN 1743-3533 Stereographic projection of plane algebraic curves onto the sphere S. Welke, 7n der Spwelke@aol com 1 Introduction Stereographic projection is a conformal map from the x — y— plane to the unit sphere S* C R^. The geometric definition is: Definition 1 Let P = (x, y, 0) be a point in the x — y— plane, let N = (0, 0, 1) be the North Pole of the unit sphere in R^, and let lp be the unique straight line lp through P and N . The intersection with the unit sphere is a point P' ^ N . The correspondence p : P \ — > P* establishes a one-to-one map p : R^ — > S*\{N} called Stereographic projection. We frequently identify (x,y) £ R% with (x,y, 0) G R^. Note that there is no point P in the entire plane with p(P) = N. Given a point P, the line lp is the set {(0,0,1) +t(x,y,-l) \t £ R} = {(tx,ty,t — 1) \t G R}. Because P' belongs to the unit sphere, its coor- dinates satisfy the following quadratic equation: (tx)* -f (ty)* + (1 — t)* = 1 with solutions ^o = 0 and ti = 1+3.2+3,2 • As ^ = 0 corresponds to TV, only ti leads to a finite point P in the plane. Thus an analytical formula for the Stereographic projection is: If P' = (a/, ?/, z'} G S*\{N} , a similar consideration leads to a formula for the inverse mapping p~^ : Transactions on Engineering Sciences vol 15, © 1997 WIT Press, www.witpress.com, ISSN 1743-3533 492 Innovation In Mathematics x' (2) -y' i- It is obvious that the North Pole cannot be mapped by p~* onto a finite point P £ R^. But if P approaches N on the unit sphere, in the plane P escapes to infinity. This motivates the completion of R^ by a point PQO? the point at infinity. So p : R^ U {Poo} — > S* , p(P^) = N, becomes a bijection. Definition 2 A real plane algebraic curve 7 is the set of all points (x, y) £ R^, whose coordinates satisfy an equation f(x,y) — 0 with a real polynomial f . f is called the polynomial of the curve. Now consider the problem of representing the image ^(7) of an algebraic curve under stereographic projection as a 3D- plot. We use the parabola x* — y — 0 as an example. Figure 2 shows how to proceed: Figure 2 We first embed the plane curve 7 in R^ (left part of fig. 2) and then connect all points P of this curve by straight lines IP with N. The union R := UP<ET I? of these lines is a ruled surface (right part of fig.2). At last we compute the position of P' on each line lp with eqn (1). The resulting set of points is Y := R fl 5^ = ^(7) , the intersection of two surfaces in R^: Transactions on Engineering Sciences vol 15, © 1997 WIT Press, www.witpress.com, ISSN 1743-3533 Innovation In Mathematics 493 This straightforward approach is easy to realize with Mathematica: ImplicitPlot is the appropriate function to plot an algebraic curve. We extract from the resulting Graphics object the Line-part, which represents the curve. Next we compute the coordinates of P' for each single point P of Line. The result is Line[{P{,f%,...,f%}], which can be plotted as a GraphicsSD object. Although this is fairly simple there is a major draw- back: The final 3D-plot depends on the 2D-plot produced by ImplicitPlot, which covers only a finite rectangle of the plane. But a parabola does not fit into a rectangle, so the 3D-image created in this way can never be a complete 3D-plot of the parabola . Thus we shall develop a more sophisti- cated approach, which captures the whole plane into the unit circle. As an additional feature this method applies to a more general situation, namely the intersection of two polynomially defined surfaces. 2 Orthogonal Projection and Groebner Bases Let 7 be a plane algebraic curve and R := \Jp^ IP the corresponding surface as above. First notice that p~* can be extended by eqn (2) to all of If PI and P% are points on the line lp then the vectors NPI = (a?i, 2 and NP<z = (%2,2/2,^2 - 1) are collinear, hence we have Xi X-2 Vl ?/9 and -^— = -^- for ^ ^ 1 and z% 1 I - Zi 1 — 22 I - Zi 1 - Therefore p~* maps the whole punctured line lp\{N} onto P, i.e. R\{N} line by line onto the points of 7 . We have proved the first part of the following theorem: Theorem 3 ^ 6eZ /^ 6e #&e poh/nomW 0/7. 0 p-y(x,y,z} — 0 defines implicitly R. A is obviously a polynomial, we find /%(0, 0, 1) = 0, so the second part is proved too.D The geometric idea behind our second approach is to project each point of the image Y = ^(7) othogonally to the x - %/- plane. We obtain a curve Y := //(Y), where H is orthogonal projection. Next we construct a surface R' := Up^y ZP, where ZP is the line through P perpendicular to the x — y— plane, as in the middle part of th next figure: Transactions on Engineering Sciences vol 15, © 1997 WIT Press, www.witpress.com, ISSN 1743-3533 494 Innovation In Mathematics Figure 4 This seems to be rather fussy, but a polynomial for 7" can be constructed directly from the polynomials of the surfaces R and S* by the use of Groeb- ner Bases. The advantage is that 7" lies completely inside the unit circle wether 7 itself is bounded or not. But everything has its price: Y is possibly only a part but not all of R" D S^, see the right part of figure 4. We perform a shift from geometry to algebra. All polynomials / vanishing on Y form an ideal / in the polynomial ring R[z,%/, z]. / has two generators, namely p^(x,y, z] \— x* + y^ -\- z* — 1 and /^ from theorem 3. In other words: For each / E / there exist two polynomials p\,p<2 E R[x, y,z] with f = Pi'pu + pi- f-y. { Pu, A is called a basis and every ideal has a multitude of different bases. But in contrast to vector spaces, these bases can differ in the number of elements. Particular useful for computational purposes are Groebner Bases. We do not go into details but we have to mention that Groebner Bases depend on a termorder, that is an ordering on the set of monomials in the variables of the polynomial ring. Our plot mechanism for Y depends heavily on the next theorem, which is a simple consequence of The Elimination Theorem, page 114, Cox, Little, O'Shea [1]. Theorem 4 Let G be a Groebner Basis with respect to the lexicographic ordering on {z,x,y} for an ideal < p,q >C R[x, y, z] with two generators. Then there is a polynomial g%y G G Pi M.[x,2/], with only two variables. The interested reader is referred to [1] for details. We consider an example. unitSphere:=x~2+y~2+z~2-l ; parabola:=y-x~2 ; PolySD [exprj : = expr/. Thread [{x,y}->{x,y>/(l-z)]//Together//Numerator parabola3D:=Poly3D [parabola] ; parabolaSD 2 - x y-yz Transactions on Engineering Sciences vol 15, © 1997 WIT Press, www.witpress.com, ISSN 1743-3533 Innovation In Mathematics 495 This is the polynomial of the surface R corresponding to the parabola. Groebner Basis is a built-in function in Mathematica, the ordering of vari- ables can be specified as an optional argument: GroebnerBasis [{parabolaSD , unitSphere} , {z , x , y}] 4 2232 22 32 {x -y(2x -x y - y ) , x - y + y z, x - x y - y + x z, 222 -1+ x +y +z} We see that g^y is the first element in the output-list, and this is always the case, g^y is the polynomial of an algebraic curve 7^ which contains the projection Y' of the space curve Y- In many cases the equality 7^ = 7 holds, but there exist simple examples for inequality. 3 Implementation The results of the previous section can be applied to the general problem of computing the points of a space curve Y, which is the intersection of two poly normally defined surfaces: Let pi and p% be the polynomials of two surfaces /?i, R% C R^, then: • compute the first element g^y of the Groebner Basis of < p\ , p% > • plot the algebraic curve 7*%, defined by g^y • solve for each point P = (a, b) G Trg/ the equation p(a, 6, z) = 0 for z • if a solution Zi of the previous equation satisfies p<i(a,b,Zi) = 0 then (a, ft, z^ is a point of RI fl R%. See the right part of figure 4 . • patch all points obtained in this way together in an appropriate way to obtain Y This raw outline will guide us through the following code. The last step is a bit complicated to manage technically. «graphics//implicit .m ; «graphics//shapes.m ; (* Packages needed *) gbl [polyl_,poly2_] := Part [GroebnerBasis [{polyl ,poly2},{z,x,y}] ,1] //Expand ; (* 1. element of the Groebner Basis *) eqList [poly_] := Module [{w=Factor [poly] , eq= (#==0)6} , If [Head [#] ===Times , eq/@ReplacePart [# , List , 0] , #==0] & @ w] ; Transactions on Engineering Sciences vol 15, © 1997 WIT Press, www.witpress.com, ISSN 1743-3533 496 Innovation In Mathematics A Groebner Basis element is possibly a product of irreducible polynomials, each defining a separate algebraic curve.
Load more

Recommended publications
  • Holley GM LS Race Single-Plane Intake Manifold Kits
    Holley GM LS Race Single-Plane Intake Manifold Kits 300-255 / 300-255BK LS1/2/6 Port-EFI - w/ Fuel Rails 4150 Flange 300-256 / 300-256BK LS1/2/6 Carbureted/TB EFI 4150 Flange 300-290 / 300-290BK LS3/L92 Port-EFI - w/ Fuel Rails 4150 Flange 300-291 / 300-291BK LS3/L92 Carbureted/TB EFI 4150 Flange 300-294 / 300-294BK LS1/2/6 Port-EFI - w/ Fuel Rails 4500 Flange 300-295 / 300-295BK LS1/2/6 Carbureted/TB EFI 4500 Flange IMPORTANT: Before installation, please read these instructions completely. APPLICATIONS: The Holley LS Race single-plane intake manifolds are designed for GM LS Gen III and IV engines, utilized in numerous performance applications, and are intended for carbureted, throttle body EFI, or direct-port EFI setups. The LS Race single-plane intake manifolds are designed for hi-performance/racing engine applications, 5.3 to 6.2+ liter displacement, and maximum engine speeds of 6000-7000 rpm, depending on the engine combination. This single-plane design provides optimal performance across the RPM spectrum while providing maximum performance up to 7000 rpm. These intake manifolds are for use on non-emissions controlled applications only, and will not accept stock components and hardware. Port EFI versions may not be compatible with all throttle body linkages. When installing the throttle body, make certain there is a minimum of ¼” clearance between all linkage and the fuel rail. SPLIT DESIGN: The Holley LS Race manifold incorporates a split feature, which allows disassembly of the intake for direct access to internal plenum and port surfaces, making custom porting and matching a snap.
    [Show full text]
  • A Historical Introduction to Elementary Geometry
    i MATH 119 – Fall 2012: A HISTORICAL INTRODUCTION TO ELEMENTARY GEOMETRY Geometry is an word derived from ancient Greek meaning “earth measure” ( ge = earth or land ) + ( metria = measure ) . Euclid wrote the Elements of geometry between 330 and 320 B.C. It was a compilation of the major theorems on plane and solid geometry presented in an axiomatic style. Near the beginning of the first of the thirteen books of the Elements, Euclid enumerated five fundamental assumptions called postulates or axioms which he used to prove many related propositions or theorems on the geometry of two and three dimensions. POSTULATE 1. Any two points can be joined by a straight line. POSTULATE 2. Any straight line segment can be extended indefinitely in a straight line. POSTULATE 3. Given any straight line segment, a circle can be drawn having the segment as radius and one endpoint as center. POSTULATE 4. All right angles are congruent. POSTULATE 5. (Parallel postulate) If two lines intersect a third in such a way that the sum of the inner angles on one side is less than two right angles, then the two lines inevitably must intersect each other on that side if extended far enough. The circle described in postulate 3 is tacitly unique. Postulates 3 and 5 hold only for plane geometry; in three dimensions, postulate 3 defines a sphere. Postulate 5 leads to the same geometry as the following statement, known as Playfair's axiom, which also holds only in the plane: Through a point not on a given straight line, one and only one line can be drawn that never meets the given line.
    [Show full text]
  • Geometry Course Outline
    GEOMETRY COURSE OUTLINE Content Area Formative Assessment # of Lessons Days G0 INTRO AND CONSTRUCTION 12 G-CO Congruence 12, 13 G1 BASIC DEFINITIONS AND RIGID MOTION Representing and 20 G-CO Congruence 1, 2, 3, 4, 5, 6, 7, 8 Combining Transformations Analyzing Congruency Proofs G2 GEOMETRIC RELATIONSHIPS AND PROPERTIES Evaluating Statements 15 G-CO Congruence 9, 10, 11 About Length and Area G-C Circles 3 Inscribing and Circumscribing Right Triangles G3 SIMILARITY Geometry Problems: 20 G-SRT Similarity, Right Triangles, and Trigonometry 1, 2, 3, Circles and Triangles 4, 5 Proofs of the Pythagorean Theorem M1 GEOMETRIC MODELING 1 Solving Geometry 7 G-MG Modeling with Geometry 1, 2, 3 Problems: Floodlights G4 COORDINATE GEOMETRY Finding Equations of 15 G-GPE Expressing Geometric Properties with Equations 4, 5, Parallel and 6, 7 Perpendicular Lines G5 CIRCLES AND CONICS Equations of Circles 1 15 G-C Circles 1, 2, 5 Equations of Circles 2 G-GPE Expressing Geometric Properties with Equations 1, 2 Sectors of Circles G6 GEOMETRIC MEASUREMENTS AND DIMENSIONS Evaluating Statements 15 G-GMD 1, 3, 4 About Enlargements (2D & 3D) 2D Representations of 3D Objects G7 TRIONOMETRIC RATIOS Calculating Volumes of 15 G-SRT Similarity, Right Triangles, and Trigonometry 6, 7, 8 Compound Objects M2 GEOMETRIC MODELING 2 Modeling: Rolling Cups 10 G-MG Modeling with Geometry 1, 2, 3 TOTAL: 144 HIGH SCHOOL OVERVIEW Algebra 1 Geometry Algebra 2 A0 Introduction G0 Introduction and A0 Introduction Construction A1 Modeling With Functions G1 Basic Definitions and Rigid
    [Show full text]
  • The Second-Order Correction to the Energy and Momentum in Plane Symmetric Gravitational Waves Like Spacetimes
    S S symmetry Article The Second-Order Correction to the Energy and Momentum in Plane Symmetric Gravitational Waves Like Spacetimes Mutahir Ali *, Farhad Ali, Abdus Saboor, M. Saad Ghafar and Amir Sultan Khan Department of Mathematics, Kohat University of Science and Technology, Kohat 26000, Khyber Pakhtunkhwa, Pakistan; [email protected] (F.A.); [email protected] (A.S.); [email protected] (M.S.G.); [email protected] (A.S.K.) * Correspondence: [email protected] Received: 5 December 2018; Accepted: 22 January 2019; Published: 13 February 2019 Abstract: This research provides second-order approximate Noether symmetries of geodetic Lagrangian of time-conformal plane symmetric spacetime. A time-conformal factor is of the form ee f (t) which perturbs the plane symmetric static spacetime, where e is small a positive parameter that produces perturbation in the spacetime. By considering the perturbation up to second-order in e in plane symmetric spacetime, we find the second order approximate Noether symmetries for the corresponding Lagrangian. Using Noether theorem, the corresponding second order approximate conservation laws are investigated for plane symmetric gravitational waves like spacetimes. This technique tells about the energy content of the gravitational waves. Keywords: Einstein field equations; time conformal spacetime; approximate conservation of energy 1. Introduction Gravitational waves are ripples in the fabric of space-time produced by some of the most violent and energetic processes like colliding black holes or closely orbiting black holes and neutron stars (binary pulsars). These waves travel with the speed of light and depend on their sources [1–5]. The study of these waves provide us useful information about their sources (black holes and neutron stars).
    [Show full text]
  • MATH32052 Hyperbolic Geometry
    MATH32052 Hyperbolic Geometry Charles Walkden 12th January, 2019 MATH32052 Contents Contents 0 Preliminaries 3 1 Where we are going 6 2 Length and distance in hyperbolic geometry 13 3 Circles and lines, M¨obius transformations 18 4 M¨obius transformations and geodesics in H 23 5 More on the geodesics in H 26 6 The Poincar´edisc model 39 7 The Gauss-Bonnet Theorem 44 8 Hyperbolic triangles 52 9 Fixed points of M¨obius transformations 56 10 Classifying M¨obius transformations: conjugacy, trace, and applications to parabolic transformations 59 11 Classifying M¨obius transformations: hyperbolic and elliptic transforma- tions 62 12 Fuchsian groups 66 13 Fundamental domains 71 14 Dirichlet polygons: the construction 75 15 Dirichlet polygons: examples 79 16 Side-pairing transformations 84 17 Elliptic cycles 87 18 Generators and relations 92 19 Poincar´e’s Theorem: the case of no boundary vertices 97 20 Poincar´e’s Theorem: the case of boundary vertices 102 c The University of Manchester 1 MATH32052 Contents 21 The signature of a Fuchsian group 109 22 Existence of a Fuchsian group with a given signature 117 23 Where we could go next 123 24 All of the exercises 126 25 Solutions 138 c The University of Manchester 2 MATH32052 0. Preliminaries 0. Preliminaries 0.1 Contact details § The lecturer is Dr Charles Walkden, Room 2.241, Tel: 0161 27 55805, Email: [email protected]. My office hour is: WHEN?. If you want to see me at another time then please email me first to arrange a mutually convenient time. 0.2 Course structure § 0.2.1 MATH32052 § MATH32052 Hyperbolic Geoemtry is a 10 credit course.
    [Show full text]
  • Chapter 1 Euclidean Space
    Euclidean space 1 Chapter 1 Euclidean space A. The basic vector space We shall denote by R the ¯eld of real numbers. Then we shall use the Cartesian product Rn = R £ R £ ::: £ R of ordered n-tuples of real numbers (n factors). Typical notation for x 2 Rn will be x = (x1; x2; : : : ; xn): Here x is called a point or a vector, and x1, x2; : : : ; xn are called the coordinates of x. The natural number n is called the dimension of the space. Often when speaking about Rn and its vectors, real numbers are called scalars. Special notations: R1 x 2 R x = (x1; x2) or p = (x; y) 3 R x = (x1; x2; x3) or p = (x; y; z): We like to draw pictures when n = 1, 2, 3; e.g. the point (¡1; 3; 2) might be depicted as 2 Chapter 1 We de¯ne algebraic operations as follows: for x, y 2 Rn and a 2 R, x + y = (x1 + y1; x2 + y2; : : : ; xn + yn); ax = (ax1; ax2; : : : ; axn); ¡x = (¡1)x = (¡x1; ¡x2;:::; ¡xn); x ¡ y = x + (¡y) = (x1 ¡ y1; x2 ¡ y2; : : : ; xn ¡ yn): We also de¯ne the origin (a/k/a the point zero) 0 = (0; 0;:::; 0): (Notice that 0 on the left side is a vector, though we use the same notation as for the scalar 0.) Then we have the easy facts: x + y = y + x; (x + y) + z = x + (y + z); 0 + x = x; in other words all the x ¡ x = 0; \usual" algebraic rules 1x = x; are valid if they make (ab)x = a(bx); sense a(x + y) = ax + ay; (a + b)x = ax + bx; 0x = 0; a0 = 0: Schematic pictures can be very helpful.
    [Show full text]
  • Lesson 5: Three-Dimensional Space
    NYS COMMON CORE MATHEMATICS CURRICULUM Lesson 5 M3 GEOMETRY Lesson 5: Three-Dimensional Space Student Outcomes . Students describe properties of points, lines, and planes in three-dimensional space. Lesson Notes A strong intuitive grasp of three-dimensional space, and the ability to visualize and draw, is crucial for upcoming work with volume as described in G-GMD.A.1, G-GMD.A.2, G-GMD.A.3, and G-GMD.B.4. By the end of the lesson, students should be familiar with some of the basic properties of points, lines, and planes in three-dimensional space. The means of accomplishing this objective: Draw, draw, and draw! The best evidence for success with this lesson is to see students persevere through the drawing process of the properties. No proof is provided for the properties; therefore, it is imperative that students have the opportunity to verify the properties experimentally with the aid of manipulatives such as cardboard boxes and uncooked spaghetti. In the case that the lesson requires two days, it is suggested that everything that precedes the Exploratory Challenge is covered on the first day, and the Exploratory Challenge itself is covered on the second day. Classwork Opening Exercise (5 minutes) The terms point, line, and plane are first introduced in Grade 4. It is worth emphasizing to students that they are undefined terms, meaning they are part of the assumptions as a basis of the subject of geometry, and they can build the subject once they use these terms as a starting place. Therefore, these terms are given intuitive descriptions, and it should be clear that the concrete representation is just that—a representation.
    [Show full text]
  • The Hyperbolic Plane
    The Hyperbolic Plane Rich Schwartz November 19, 2014 1 Euclid’s Postulates Hyperbolic geometry arose out of an attempt to understand Euclid’s fifth postulate. So, first I am going to discuss Euclid’s postulates. Here they are: 1. Given any two distinct points in the plane, there is a line through them. 2. Any line segment may be extended to a line. 3. Given any point and any radius, there is a circle with that radius cen- tered at that point. 4. All right angles are equal to one another. 5. Suppose that you have two lines L1 and L2 and a third line M. Suppose that M intersects L1 and L2 at two interior angles whose sum is less than the sum of two right angles on one side. Then L1 and L2 meet on that side. (See Figure 1.) L1 M L2 Figure 1: Euclid’s fifth postulate. 1 Euclid’s fifth postulate is often reformulated like this: For any line L and any point p not on L, there is a unique line L′ through p such that L and L′ do not intersect – i.e., are parallel. This is why Euclid’s fifth postulate is often called the parallel postulate. Euclid’s postulates have a quaint and vague sound to modern ears. They have a number of problems. In particular, they do not uniquely pin down the Euclidean plane. A modern approach is to make a concrete model for the Euclidean plane, and then observe that Euclid’s postulates hold in that model. So, from a modern point of view, the Euclidean plane is R2, namely the set of ordered pairs of real numbers.
    [Show full text]
  • 3 Two-Dimensional Linear Algebra
    3 Two-Dimensional Linear Algebra 3.1 Basic Rules Vectors are the way we represent points in 2, 3 and 4, 5, 6, ..., n, ...-dimensional space. There even exist spaces of vectors which are said to be infinite- dimensional! A vector can be considered as an object which has a length and a direction, or it can be thought of as a point in space, with coordinates representing that point. In terms of coordinates, we shall use the notation µ ¶ x x = y for a column vector. This vector denotes the point in the xy-plane which is x units in the horizontal direction and y units in the vertical direction from the origin. We shall write xT = (x, y) for the row vector which corresponds to x, and the superscript T is read transpose. This is the operation which flips between two equivalent represen- tations of a vector, but since they represent the same point, we can sometimes be quite cavalier and not worry too much about whether we have a vector or its transpose. To avoid the problem of running out of letters when using vectors we shall also write vectors in the form (x1, x2) or (x1, x2, x3, .., xn). If we write R for real, one-dimensional numbers, then we shall also write R2 to denote the two-dimensional space of all vectors of the form (x, y). We shall use this notation too, and R3 then means three-dimensional space. By analogy, n-dimensional space is the set of all n-tuples {(x1, x2, ..., xn): x1, x2, ..., xn ∈ R} , where R is the one-dimensional number line.
    [Show full text]
  • 12 Notation and List of Symbols
    12 Notation and List of Symbols Alphabetic ℵ0, ℵ1, ℵ2,... cardinality of infinite sets ,r,s,... lines are usually denoted by lowercase italics Latin letters A,B,C,... points are usually denoted by uppercase Latin letters π,ρ,σ,... planes and surfaces are usually denoted by lowercase Greek letters N positive integers; natural numbers R real numbers C complex numbers 5 real part of a complex number 6 imaginary part of a complex number R2 Euclidean 2-dimensional plane (or space) P2 projective 2-dimensional plane (or space) RN Euclidean N-dimensional space PN projective N-dimensional space Symbols General ∈ belongs to such that ∃ there exists ∀ for all ⊂ subset of ∪ set union ∩ set intersection A. Inselberg, Parallel Coordinates, DOI 10.1007/978-0-387-68628-8, © Springer Science+Business Media, LLC 2009 532 Notation and List of Symbols ∅ empty st (null set) 2A power set of A, the set of all subsets of A ip inflection point of a curve n principal normal vector to a space curve nˆ unit normal vector to a surface t vector tangent to a space curve b binormal vector τ torsion (measures “non-planarity” of a space curve) × cross product → mapping symbol A → B correspondence (also used for duality) ⇒ implies ⇔ if and only if <, > less than, greater than |a| absolute value of a |b| length of vector b norm, length L1 L1 norm L L norm, Euclidean distance 2 2 summation Jp set of integers modulo p with the operations + and × ≈ approximately equal = not equal parallel ⊥ perpendicular, orthogonal (,,) homogeneous coordinates — ordered triple representing
    [Show full text]
  • Schaum''s Outline of Geometry
    Geometry This page intentionally left blank Geometry includes plane, analytic, and transformational geometries Fourth Edition Barnett Rich, PhD Former Chairman, Department of Mathematics Brooklyn Technical High School, New York City Christopher Thomas, PhD Assistant Professor, Department of Mathematics Massachusetts College of Liberal Arts, North Adams, MA Schaum’s Outline Series New York Chicago San Francisco Lisbon London Madrid Mexico City Milan New Delhi San Juan Seoul Singapore Sydney Toronto Copyright © 2009, 2000, 1989 by The McGraw-Hill Companies, Inc. All rights reserved. Except as permitted under the United States Copyright Act of 1976, no part of this publication may be reproduced or distributed in any form or by any means, or stored in a database or retrieval system, without the prior written permission of the publisher. ISBN: 978-0-07-154413-9 MHID: 0-07-154413-5 The material in this eBook also appears in the print version of this title: ISBN: 978-0-07-154412-2, MHID: 0-07-154412-7. All trademarks are trademarks of their respective owners. Rather than put a trademark symbol after every occurrence of a trademarked name, we use names in an editorial fashion only, and to the benefit of the trademark owner, with no intention of infringement of the trademark. Where such designations appear in this book, they have been printed with initial caps. McGraw-Hill eBooks are available at special quantity discounts to use as premiums and sales promotions, or for use in corporate training programs. To contact a representative please visit the Contact Us page at www.mhprofessional.com. TERMS OF USE This is a copyrighted work and The McGraw-Hill Companies, Inc.
    [Show full text]
  • On the Mapping of Spherical Surfaces Onto the Plane
    On the mapping of Spherical Surfaces onto the Plane Leonhard Euler 1777 TRANSLATOR'S NOTE In translating this work, I am deeply indebted to the work of A. Wangerin, whose thorough and scholarly 1897 German translation appears in [Wan1897]. However, I believe that Wangerin was writing largely for an audience of mathematicians, and that his goal was to explain Euler's reasoning in the "modern\ terms of his era. Thus, for example, Wangerin uses the term \total differential", even though (as Wangerin notes) this wording was not yet used in Euler's time. Today, in contrast, the interested audience likely consists of both mathematicians and historians of mathematics. To satisfy the latter, I have attempted, as near as possible, to mimic Euler's phrasing, and especially his mathematical notation. I have made a few exceptions in cases where Euler's notation might be confusing to a modern reader. These include: • Use of \ln()" rather than \l", to denote the natural or \hyperbolic" logarithm function; • Use of \arcsin; arccos" rather than \A sin;A cos" for the inverse trigonometric func- tions (particularly confusing since Euler uses a constant A in his computations); • Use of, for example, \cos2 u" rather than \cos u2" to denote the square of the cosine; • Introduction of parentheses to delimit the argument of a function where this was not clear from the context. In most other cases, I have attempted to copy Euler's original notation|inp particular, preserving his use of the differential operator d, and the symbol −1, since these had a slightly different meaning to Euler than they would have to mathematical practicioners today.
    [Show full text]