DOCSLIB.ORG

Evolute and Evolvente.Pdf

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Evolute and Evolvente.Pdf Evolute and involute (evolvent) Interactive solutions to problem s of differential geometry © S.N Nosulya, V.V Shelomovskii. Topical sets for geometry, 2012. © D.V. Shelomovskii. GInMA, 2012. http://www.deoma-cmd.ru/ Materials of the interactive set can be used in Undergraduate education for the study of the foundations of differential geometry, it can be used for individual study methods of differential geometry. All figures are interactive if you install GInMA program from http://www.deoma-cmd.ru/ Conception of Evolute In the differential geometry of curves, the evolute of a curve is the locus of all its centers of curvature. Equivalently, it is the envelope of the normals to a curve. Apollonius (c. 200 BC) discussed evolutes in Book V of his Conics. However, Huygens is sometimes credited with being the first to study them (1673). Equation of evolute Let γ be a plane curve containing points X⃗T =(x , y). The unit normal vector to the curve is ⃗n. The curvature of γ is K . The center of curvature is the center of the osculating circle. It lies on the normal 1 line through γ at a distance of from γ in the direction determined by the sign of K . In symbols, K the center of curvature lies at the point ζ⃗T =(ξ ,η). As X⃗ varies, the center of curvature traces out a ⃗n plane curve, the evolute of γ and evolute equation is: ζ⃗= X⃗ + . (1) K Case 1 Let γ is given a general parameterization, say X⃗T =(x(t) , y(t)) Then the parametric equation of x' y' '−x ' ' y ' the evolute can be expressed in terms of the curvature K = . The unit normal vector to the (x ' 2+ y' 2)3/ 2 (− y' , x' ) curve is n⃗= . Evolute equation is: √ x' 2 + y' 2 y' ( x' 2+ y ' 2) x' ( x' 2+ y ' 2) ζ⃗= x− , y+ . (2) ( x ' y ' ' −x ' ' y' x' y' '−x ' ' y ' ) y' ' Case 2 Let γ is given an equation y= f (x). Then the curvature K = , the unit normal (1+ y ' 2)3/ 2 (− y' ,1) y' (1+ y' 2) 1+ y' 2 vector to the curve is n⃗= . Evolute equation is: ζ⃗= x− , y+ . (3) √1+ y ' 2 ( y ' ' y' ' ) 2 2 2 f x f y f xy− f x f yy− f y f xx Case 3 Let γ is given an equation f (x , y)=0. Then the curvature K = 2 2 3/ 2 . ( f x+ f y) (− f , f ) The unit normal vector to the curve is n⃗= x y . Evolute equation is: 2 2 √ f x+ f y f ( f 2+ f 2) f ( f 2+ f 2) ζ⃗= − x x y + y x y x 2 2 , y 2 2 . (4) ( 2 f x f y f xy − f x f yy− f y f xx 2 f x f y f xy− f x f yy− f y f xx ) Case 4 Let γ is given an equation R= f (s), where s− длина дуги, отсчитываемая от некоторой точки. Let evolute equation is: R̃ = f̃ (s̃ ). Обозначим углы, составляемые касательными с 1 d α 1 d α̃ 1 осью абсцисс α и α̃ . Then = , = , d ̃s=d R ,α=α̃ + π ,d α=d α̃ . Evolute d s R d s̃ R̃ 2 d R equation is: R̃ = R , ̃s=R+c . (5) d s Тypical figure and it's using In each figure points 0 and 1 on the x-axis specify the Cartesian coordinates. The graph of the original curve is shown by the blue line. It is determined by the parameters which values are indicated in the figure. The parameters are set by the active points. The evolute is shown in red. The trial points labeled С , D , E ,... are located on the curve. Tangent circle and its center point C ' , D ' ,..., belonging to evolute are shown in pink . The process of learning and investigation one can begin from the verification of the basic propertiy of the evolute. By moving point C , make sure that the center of curvature belongs to the evolute at all posistions of point C , . By activating the "Properties" button find and check the equations used for the curves construction. Explore several evolute curves. Save the file in a convenient location and change the original curve. Perform calculations and construct evolute of the selected curve. Build a tangent circle to check your construction. Evolutes samples The evolute of the parabola The curve given by the equation y= f (x)=k x2 . Then the curvature of the curve is y' ' 2k (− y' ,1) (−2k x ,1) K = = , the normal is n⃗= = . (1+ y' 2)3/2 (1+(2k x)2)3/2 √1+ y' 2 √1+(2k x)2 The equation of the evolute is: 2 2 2 2 y' (1+( y ') ) 1+( y ') 2 2 2 1+4 k x 2 2 2 1 ζ⃗= x− , y+ = x−x(1+4 k x ) ,k x + = −4 k x ,3k x + . ( y' ' y ' ' ) ( 2 k ) ( 2k ) The evolute of the ellipse x2 y2 The curve given by the equation f (x , y)= + −1=0. Then the equation of the evolute is: a2 b2 2 2 2 2 3 3 f ( f + f ) f ( f + f ) x y 2 2 ζ⃗= x− x x y , y+ y x y = ,− (a −b ). 2 f f f − f 2 f − f 2 f 2 f f f − f 2 f − f 2 f ( a4 b4 ) ( x y xy x yy y xx x y xy x yy y xx ) Fig.1. Evolute of the parabola Fig.2. Evolute of the ellipse 2 The evolute of a hyperbola x2 y2 The curve given by the equation f (x , y)= − −1=0. We perform the parameterization a2 b2 x=a cosh t , y=bsinh t . Then the equation of the evolute is: 2 2 2 2 3 3 3 3 y' ( x' + y ' ) x' ( x' + y ' ) cosh t −sinh t 2 2 x y 2 2 ζ⃗= x− , y+ = , (a +b )= ,− (a +b ). ( x ' y ' ' −x ' ' y' x' y' '−x ' ' y ' ) ( a b ) ( a4 b4 ) The evolute of an astroid The curve given by the equation { x , y }={ acos3t ,a sin3 t }. The curvature of the curve is 2 K = . Then the equation of the evolute is: ζ⃗=a(cost(3−2cos2 t) ,sin t (1+2cos2 t)). 3asin 2t Рис.3. Evolute of a hyperbola Рис.4. Evolute of an astroid Involute The involute of the plane curve is a curve with respect to which the given curve is the evolute. The involute is a curve, for which the normal at each point is tangent to the initial curve. That is, the involute contains the tangents to the given curve. Imagine that the little pebble lies on the curve at an arbitrary point P. Let the thread run from the pebble along the curve. Then the involute determines the trajectory of pebble, moving away from the curve and associated with it by the stretched thread. They say that the selected point moves along the involute when unwinding the thread, which lies on the curve. The family of the involutes generated by different points of the surface exists for each curve. Further we consider only one of them, starting at the origin. Case 1. Let this curve be given parametrically by the expression y= f (x). Then the unit tangent vector (1 , y ') t is τ⃗= . The length of the thread unwound from the beginning is s= 1+( y' )2 d x. The 2 ∫ √ √1+( y' ) 0 equation of the involute ζ⃗T =(ξ ,η) has the form of: x x ∫√1+( y' )2 dx y'∫ √1+( y' )2 dx ζ⃗= X⃗ −sτ⃗= x− 0 , y− 0 . (6) ( √1+( y' )2 √1+( y' )2 ) 3 Case 2. Let the curve be given parametrically by the expression X⃗T =(x(t) , y(t)). Then the unit tangent ( x' (t) , y' (t)) vector is τ⃗= . The length of the thread unwound from the beginning is √(x ' (t))2+( y ' (t))2 t 2 2 dx(t̃) dy(t̃) s= + d t̃. The equation of the involute ζ⃗T =(ξ ,η) has the form of: ∫ ( d t̃ ) ( d t̃ ) 0 √ t t x '∫√ x ' 2+ y' 2 dt y'∫ √ x' 2+ y' 2 dt ζ⃗= X⃗ −sτ⃗= x− 0 , y− 0 . (7) ( √x ' 2+ y' 2 √x ' 2+ y' 2 ) Case 3. Let the curve be given by the expression R̃ = f̃ (s̃ ) Using (5), we find the equation of the involute: ∫ s̃ d ̃s R=̃s ,s= . (8) R̃ Тypical figure and it's using In each figure points 0 and 1 on the x-axis specify the Cartesian coordinates. The graph of the original curve is shown by the blue line. It is determined by the parameters which values are indicated in the figure. The parameters are set by the active points. The involute is shown in red. The trial points labeled С , D , E ,... are located on the curve. Tangent circle and its center point C ' , D ' ,..., belonging to involute are shown in pink. The process of learning and investigation one can begin from the verification of the basic propertiy of the involute. By moving point C , make sure that the segment CC ' (DD ' ,...) is tangent to the the given original curve at all posistions of point C , and point С (D , E ,...) is the center of curvature of the involute. By activating the "Properties" button find and check the equations used for the curves construction. Explore several involute curves. Save the file in a convenient location and change the original curve.
Load more

Recommended publications
  • The Osculating Circumference Problem
    THE OSCULATING CIRCUMFERENCE PROBLEM School I.S.I.S.S. M. Casagrande Pieve di Soligo, Treviso Italy Students Silvia Micheletto (I) Azzurra Soa Pizzolotto (IV) Luca Barisan (II) Simona Sota (IV) Gaia Barella (IV) Paolo Barisan (V) Marco Casagrande (IV) Anna De Biasi (V) Chiara De Rosso (IV) Silvia Giovani (V) Maddalena Favaro (IV) Klara Metaliu (V) Teachers Fabio Breda Francesco Maria Cardano Davide Palma Francesco Zampieri Researcher Alberto Zanardo, University of Padova Italy Year 2019/2020 The osculating circumference problem ISISS M. Casagrande, Pieve di Soligo, Treviso Italy Abstract The aim of the article is to study the osculating circumference i.e. the circumference which best approximates the graph of a curve at one of its points. We will dene this circumference and we will describe several methods to nd it. Finally we will introduce the notions of round points and crossing points, points of the curve where the circumference has interesting properties. ??? Contents Introduction 3 1 The osculating circumference 5 1.1 Particular cases: the formulas cannot be applied . 9 1.2 Curvature . 14 2 Round points 15 3 Beyond round points 22 3.1 Crossing points . 23 4 Osculating circumference of a conic section 25 4.1 The rst method . 25 4.2 The second method . 26 References 31 2 The osculating circumference problem ISISS M. Casagrande, Pieve di Soligo, Treviso Italy Introduction Our research was born from an analytic geometry problem studied during the third year of high school. The problem. Let P : y = x2 be a parabola and A and B two points of the curve symmetrical about the axis of the parabola.
    [Show full text]
  • Plotting Graphs of Parametric Equations
    Parametric Curve Plotter This Java Applet plots the graph of various primary curves described by parametric equations, and the graphs of some of the auxiliary curves associ- ated with the primary curves, such as the evolute, involute, parallel, pedal, and reciprocal curves. It has been tested on Netscape 3.0, 4.04, and 4.05, Internet Explorer 4.04, and on the Hot Java browser. It has not yet been run through the official Java compilers from Sun, but this is imminent. It seems to work best on Netscape 4.04. There are problems with Netscape 4.05 and it should be avoided until fixed. The applet was developed on a 200 MHz Pentium MMX system at 1024×768 resolution. (Cost: $4000 in March, 1997. Replacement cost: $695 in June, 1998, if you can find one this slow on sale!) For various reasons, it runs extremely slowly on Macintoshes, and slowly on Sun Sparc stations. The curves should move as quickly as Roadrunner cartoons: for a benchmark, check out the circular trigonometric diagrams on my Java page. This applet was mainly done as an exercise in Java programming leading up to more serious interactive animations in three-dimensional graphics, so no attempt was made to be comprehensive. Those who wish to see much more comprehensive sets of curves should look at: http : ==www − groups:dcs:st − and:ac:uk= ∼ history=Java= http : ==www:best:com= ∼ xah=SpecialP laneCurve dir=specialP laneCurves:html http : ==www:astro:virginia:edu= ∼ eww6n=math=math0:html Disclaimer: Like all computer graphics systems used to illustrate mathematical con- cepts, it cannot be error-free.
    [Show full text]
  • Differential Geometry
    Differential Geometry J.B. Cooper 1995 Inhaltsverzeichnis 1 CURVES AND SURFACES—INFORMAL DISCUSSION 2 1.1 Surfaces ................................ 13 2 CURVES IN THE PLANE 16 3 CURVES IN SPACE 29 4 CONSTRUCTION OF CURVES 35 5 SURFACES IN SPACE 41 6 DIFFERENTIABLEMANIFOLDS 59 6.1 Riemannmanifolds .......................... 69 1 1 CURVES AND SURFACES—INFORMAL DISCUSSION We begin with an informal discussion of curves and surfaces, concentrating on methods of describing them. We shall illustrate these with examples of classical curves and surfaces which, we hope, will give more content to the material of the following chapters. In these, we will bring a more rigorous approach. Curves in R2 are usually specified in one of two ways, the direct or parametric representation and the implicit representation. For example, straight lines have a direct representation as tx + (1 t)y : t R { − ∈ } i.e. as the range of the function φ : t tx + (1 t)y → − (here x and y are distinct points on the line) and an implicit representation: (ξ ,ξ ): aξ + bξ + c =0 { 1 2 1 2 } (where a2 + b2 = 0) as the zero set of the function f(ξ ,ξ )= aξ + bξ c. 1 2 1 2 − Similarly, the unit circle has a direct representation (cos t, sin t): t [0, 2π[ { ∈ } as the range of the function t (cos t, sin t) and an implicit representation x : 2 2 → 2 2 { ξ1 + ξ2 =1 as the set of zeros of the function f(x)= ξ1 + ξ2 1. We see from} these examples that the direct representation− displays the curve as the image of a suitable function from R (or a subset thereof, usually an in- terval) into two dimensional space, R2.
    [Show full text]
  • Evolute-Involute Partner Curves According to Darboux Frame in the Euclidean 3-Space E3
    Fundamentals of Contemporary Mathematical Sciences (2020) 1(2) 63 { 70 Evolute-Involute Partner Curves According to Darboux Frame in the Euclidean 3-space E3 Abdullah Yıldırım 1,∗ Feryat Kaya 2 1 Harran University, Faculty of Arts and Sciences, Department of Mathematics S¸anlıurfa, T¨urkiye 2 S¸ehit Abdulkadir O˘guzAnatolian Imam Hatip High School S¸anlıurfa, T¨urkiye, [email protected] Received: 29 February 2020 Accepted: 29 June 2020 Abstract: In this study, evolute-involute curves are researched. Characterization of evolute-involute curves lying on the surface are examined according to Darboux frame and some curves are obtained. Keywords: Curve, surface, geodesic, curvature, frame. 1. Introduction The interest of special curves has increased recently. Some of these are associated curves. They are curves where one of the Frenet vectors at opposite points is linearly dependent to the other curve. One of the best examples of these curves is the evolute-involute partner curves. An involute thought known to have been used in his optical work came up in 1658 by C. Huygens. C. Huygens discovered involute curves while trying to make more accurate measurement studies [5]. Many researches have been conducted about evolute-involute partner curves. Some of them conducted recently are Bilici and C¸alı¸skan [4], Ozyılmaz¨ and Yılmaz [9], As and Sarıo˘glugil[2]. Bekta¸sand Y¨uceconsider the notion of the involute-evolute curves lying on the surfaces for a special situation. They determine the special involute-evolute partner D−curves in E3: By using the Darboux frame of the curves they obtain the necessary and sufficient conditions between κg , ∗ − ∗ ∗ τg; κn and κn for a curve to be the special involute partner D curve.
    [Show full text]
  • Computer-Aided Design and Kinematic Simulation of Huygens's
    applied sciences Article Computer-Aided Design and Kinematic Simulation of Huygens’s Pendulum Clock Gloria Del Río-Cidoncha 1, José Ignacio Rojas-Sola 2,* and Francisco Javier González-Cabanes 3 1 Department of Engineering Graphics, University of Seville, 41092 Seville, Spain; [email protected] 2 Department of Engineering Graphics, Design, and Projects, University of Jaen, 23071 Jaen, Spain 3 University of Seville, 41092 Seville, Spain; [email protected] * Correspondence: [email protected]; Tel.: +34-953-212452 Received: 25 November 2019; Accepted: 9 January 2020; Published: 10 January 2020 Abstract: This article presents both the three-dimensional modelling of the isochronous pendulum clock and the simulation of its movement, as designed by the Dutch physicist, mathematician, and astronomer Christiaan Huygens, and published in 1673. This invention was chosen for this research not only due to the major technological advance that it represented as the first reliable meter of time, but also for its historical interest, since this timepiece embodied the theory of pendular movement enunciated by Huygens, which remains in force today. This 3D modelling is based on the information provided in the only plan of assembly found as an illustration in the book Horologium Oscillatorium, whereby each of its pieces has been sized and modelled, its final assembly has been carried out, and its operation has been correctly verified by means of CATIA V5 software. Likewise, the kinematic simulation of the pendulum has been carried out, following the approximation of the string by a simple chain of seven links as a composite pendulum. The results have demonstrated the exactitude of the clock.
    [Show full text]
  • Strophoids, a Family of Cubic Curves with Remarkable Properties
    Hellmuth STACHEL STROPHOIDS, A FAMILY OF CUBIC CURVES WITH REMARKABLE PROPERTIES Abstract: Strophoids are circular cubic curves which have a node with orthogonal tangents. These rational curves are characterized by a series or properties, and they show up as locus of points at various geometric problems in the Euclidean plane: Strophoids are pedal curves of parabolas if the corresponding pole lies on the parabola’s directrix, and they are inverse to equilateral hyperbolas. Strophoids are focal curves of particular pencils of conics. Moreover, the locus of points where tangents through a given point contact the conics of a confocal family is a strophoid. In descriptive geometry, strophoids appear as perspective views of particular curves of intersection, e.g., of Viviani’s curve. Bricard’s flexible octahedra of type 3 admit two flat poses; and here, after fixing two opposite vertices, strophoids are the locus for the four remaining vertices. In plane kinematics they are the circle-point curves, i.e., the locus of points whose trajectories have instantaneously a stationary curvature. Moreover, they are projections of the spherical and hyperbolic analogues. For any given triangle ABC, the equicevian cubics are strophoids, i.e., the locus of points for which two of the three cevians have the same lengths. On each strophoid there is a symmetric relation of points, so-called ‘associated’ points, with a series of properties: The lines connecting associated points P and P’ are tangent of the negative pedal curve. Tangents at associated points intersect at a point which again lies on the cubic. For all pairs (P, P’) of associated points, the midpoints lie on a line through the node N.
    [Show full text]
  • A Special Conic Associated with the Reuleaux Negative Pedal Curve
    INTERNATIONAL JOURNAL OF GEOMETRY Vol. 10 (2021), No. 2, 33–49 A SPECIAL CONIC ASSOCIATED WITH THE REULEAUX NEGATIVE PEDAL CURVE LILIANA GABRIELA GHEORGHE and DAN REZNIK Abstract. The Negative Pedal Curve of the Reuleaux Triangle w.r. to a pedal point M located on its boundary consists of two elliptic arcs and a point P0. Intriguingly, the conic passing through the four arc endpoints and by P0 has one focus at M. We provide a synthetic proof for this fact using Poncelet’s porism, polar duality and inversive techniques. Additional interesting properties of the Reuleaux negative pedal w.r. to pedal point M are also included. 1. Introduction Figure 1. The sides of the Reuleaux Triangle R are three circular arcs of circles centered at each Reuleaux vertex Vi; i = 1; 2; 3. of an equilateral triangle. The Reuleaux triangle R is the convex curve formed by the arcs of three circles of equal radii r centered on the vertices V1;V2;V3 of an equilateral triangle and that mutually intercepts in these vertices; see Figure1. This triangle is mostly known due to its constant width property [4]. Keywords and phrases: conic, inversion, pole, polar, dual curve, negative pedal curve. (2020)Mathematics Subject Classification: 51M04,51M15, 51A05. Received: 19.08.2020. In revised form: 26.01.2021. Accepted: 08.10.2020 34 Liliana Gabriela Gheorghe and Dan Reznik Figure 2. The negative pedal curve N of the Reuleaux Triangle R w.r. to a point M on its boundary consist on an point P0 (the antipedal of M through V3) and two elliptic arcs A1A2 and B1B2 (green and blue).
    [Show full text]
  • The Pope's Rhinoceros and Quantum Mechanics
    Bowling Green State University ScholarWorks@BGSU Honors Projects Honors College Spring 4-30-2018 The Pope's Rhinoceros and Quantum Mechanics Michael Gulas [email protected] Follow this and additional works at: https://scholarworks.bgsu.edu/honorsprojects Part of the Mathematics Commons, Ordinary Differential Equations and Applied Dynamics Commons, Other Applied Mathematics Commons, Partial Differential Equations Commons, and the Physics Commons Repository Citation Gulas, Michael, "The Pope's Rhinoceros and Quantum Mechanics" (2018). Honors Projects. 343. https://scholarworks.bgsu.edu/honorsprojects/343 This work is brought to you for free and open access by the Honors College at ScholarWorks@BGSU. It has been accepted for inclusion in Honors Projects by an authorized administrator of ScholarWorks@BGSU. The Pope’s Rhinoceros and Quantum Mechanics Michael Gulas Honors Project Submitted to the Honors College at Bowling Green State University in partial fulfillment of the requirements for graduation with University Honors May 2018 Dr. Steven Seubert Dept. of Mathematics and Statistics, Advisor Dr. Marco Nardone Dept. of Physics and Astronomy, Advisor Contents 1 Abstract 5 2 Classical Mechanics7 2.1 Brachistochrone....................................... 7 2.2 Laplace Transforms..................................... 10 2.2.1 Convolution..................................... 14 2.2.2 Laplace Transform Table.............................. 15 2.2.3 Inverse Laplace Transforms ............................ 15 2.3 Solving Differential Equations Using Laplace
    [Show full text]
  • Gottfried Wilhelm Leibnitz (Or Leibniz) Was Born at Leipzig on June 21 (O.S.), 1646, and Died in Hanover on November 14, 1716. H
    Gottfried Wilhelm Leibnitz (or Leibniz) was born at Leipzig on June 21 (O.S.), 1646, and died in Hanover on November 14, 1716. His father died before he was six, and the teaching at the school to which he was then sent was inefficient, but his industry triumphed over all difficulties; by the time he was twelve he had taught himself to read Latin easily, and had begun Greek; and before he was twenty he had mastered the ordinary text-books on mathematics, philosophy, theology and law. Refused the degree of doctor of laws at Leipzig by those who were jealous of his youth and learning, he moved to Nuremberg. An essay which there wrote on the study of law was dedicated to the Elector of Mainz, and led to his appointment by the elector on a commission for the revision of some statutes, from which he was subsequently promoted to the diplomatic service. In the latter capacity he supported (unsuccessfully) the claims of the German candidate for the crown of Poland. The violent seizure of various small places in Alsace in 1670 excited universal alarm in Germany as to the designs of Louis XIV.; and Leibnitz drew up a scheme by which it was proposed to offer German co-operation, if France liked to take Egypt, and use the possessions of that country as a basis for attack against Holland in Asia, provided France would agree to leave Germany undisturbed. This bears a curious resemblance to the similar plan by which Napoleon I. proposed to attack England. In 1672 Leibnitz went to Paris on the invitation of the French government to explain the details of the scheme, but nothing came of it.
    [Show full text]
  • The Fractal Theory of the Saturn Ring
    523.46/.481 THE FRACTAL THEORY OF THE SATURN RING M.I.Zelikin Abstract The true reason for partition of the Saturn ring as well as rings of other plan- ets into great many of sub-rings is found. This reason is the theorem of Zelikin- Lokutsievskiy-Hildebrand about fractal structure of solutions to generic piece-wise smooth Hamiltonian systems. The instability of two-dimensional model of rings with continues surface density of particles distribution is proved both for Newtonian and for Boltzmann equations. We do not claim that we have solved the problem of stability of Saturn ring. We rather put questions and suggest some ideas and means for researches. 1 Introduction Up to the middle of XX century the astronomy went hand in hand with mathematics. So, it is no wonder that such seemingly purely astronomical problems as figures of equilibrium for rotating, gravitating liquids or the stability of Saturn Ring came to the attention of the most part of outstanding mathematicians. It will be suffice to mention Galilei, Huygens, Newton, Laplace, Maclaurin, Maupertuis, Clairaut, d’Alembert, Legendre, Liouville, Ja- cobi, Riemann, Poincar´e, Chebyshev, Lyapunov, Cartan and numerous others (see, for example, [1]). It is pertinent to recall the out of sight discussion between Poincar´eand Lyapunov regarding figures of equilibrium for rotating, gravitating liquids. Poincar´e, who obtained his results using not so rigorous reasoning and often by simple analogy, wrote, “It is possible to make many objections, but the same rigor as in pure analysis is not de- manded in mechanics”. Lyapunov had entirely different position: “It is impermissible to use doubtful reasonings when solving a problem in mechanics or physics (it is the same) if it is formulated quite definitely as a mathematical one.
    [Show full text]
  • Geometry in the Age of Enlightenment
    Geometry in the Age of Enlightenment Raymond O. Wells, Jr. ∗ July 2, 2015 Contents 1 Introduction 1 2 Algebraic Geometry 3 2.1 Algebraic Curves of Degree Two: Descartes and Fermat . 5 2.2 Algebraic Curves of Degree Three: Newton and Euler . 11 3 Differential Geometry 13 3.1 Curvature of curves in the plane . 17 3.2 Curvature of curves in space . 26 3.3 Curvature of a surface in space: Euler in 1767 . 28 4 Conclusion 30 1 Introduction The Age of Enlightenment is a term that refers to a time of dramatic changes in western society in the arts, in science, in political thinking, and, in particular, in philosophical discourse. It is generally recognized as being the period from the mid 17th century to the latter part of the 18th century. It was a successor to the renaissance and reformation periods and was followed by what is termed the romanticism of the 19th century. In his book A History of Western Philosophy [25] Bertrand Russell (1872{1970) gives a very lucid description of this time arXiv:1507.00060v1 [math.HO] 30 Jun 2015 period in intellectual history, especially in Book III, Chapter VI{Chapter XVII. He singles out Ren´eDescartes as being the founder of the era of new philosophy in 1637 and continues to describe other philosophers who also made significant contributions to mathematics as well, such as Newton and Leibniz. This time of intellectual fervor included literature (e.g. Voltaire), music and the world of visual arts as well. One of the most significant developments was perhaps in the political world: here the absolutism of the church and of the monarchies ∗Jacobs University Bremen; University of Colorado at Boulder; [email protected] 1 were questioned by the political philosophers of this era, ushering in the Glo- rious Revolution in England (1689), the American Revolution (1776), and the bloody French Revolution (1789).
    [Show full text]
  • A Quick and Dirty Introduction to Differential Geometry
    CHAPTER 2 A Quick and Dirty Introduction to Differential Geometry 2.1. The Geometry of Surfaces There are many ways to think about the geometry of a surface (using charts, for instance) but here’s a picture that is well-suited to the way we work with surfaces in the discrete setting. Consider a little patch of material floating in space, as depicted below. Its geometry can be described via a map f : M R3 from a region M in the Euclidean plane R2 to a subset f (M) of R3: ! f N df(X) f (M) X M The differential of such a map, denoted by df , tells us how to map a vector X in the plane to the corresponding vector df(X) on the surface. Loosely speaking, imagine that M is a rubber sheet and X is a little black line segment drawn on M. As we stretch and deform M into f (M), the segment X also gets stretched and deformed into a different segment, which we call df(X). Later on we can talk about how to explicitly express df(X) in coordinates and so on, but it’s important to realize that fundamentally there’s nothing deeper to know about the differential than the picture you see here—the differential simply tells you how to stretch out or “push forward” vectors as you go from one space to another. For example, the length of a tangent vector X pushed forward by f can be expressed as df(X) df(X), · q where is the standard inner product (a.k.a.
    [Show full text]