Path Planning for Autonomous Vehicles Using Clothoid Based Smoothing of A* Generated Paths and Optimal Control

Total Page:16

File Type:pdf, Size:1020Kb

Path Planning for Autonomous Vehicles Using Clothoid Based Smoothing of A* Generated Paths and Optimal Control DEGREE PROJECT IN MATHEMATICS, SECOND CYCLE, 30 CREDITS STOCKHOLM, SWEDEN 2017 Path planning for autonomous vehicles using clothoid based smoothing of A* generated paths and optimal control MARCUS LUNDBERG KTH ROYAL INSTITUTE OF TECHNOLOGY SCHOOL OF ENGINEERING SCIENCES Path planning for autonomous vehicles using clothoid based smoothing of A* generated paths and optimal control MARCUS LUNDBERG Degree Projects in Scientific Computing (30 ECTS credits) Degree Programme in Applied and Computational Mathematics (120 credits) KTH Royal Institute of Technology year 2017 Supervisor at at Volvo Construction Equipment: Johan Sjöberg Supervisor at KTH: Elias Jarlebring Examiner at KTH: Michael Hanke TRITA-MAT-E 2017:73 ISRN-KTH/MAT/E--17/73--SE Royal Institute of Technology School of Engineering Sciences KTH SCI SE-100 44 Stockholm, Sweden URL: www.kth.se/sci Abstract Autonomous vehicles is a rapidly expanding field and the need for robust and efficient path planners is high. We approach the global path- planning problem for an autonomous load carrier for quarry environments, developed at Volvo Construction Equipment, using two methods: a two- step path planning and path smoothing approach, and a method based on an optimal control formulation of the path planning problem. The two-step method is based on smoothing an initial path found by A*, an efficient grid search algorithm, by fitting a curve consisting of as few clothoid segments as possible to the A* path. The smoothing is done by rewriting the non-linear optimization problem to a convex form by a linearization of the deviation constraints around the curvature of the A* path. An iterative method is then used to relax the `0-norm, which measures the number of non-zero elements in a vector, with a weighted `1-norm which, in turn, is then solved efficiently using CVX in Matlab. The optimal control based path planning method solves the nonlinear optimization problem using IPOPT. It was found that the completeness of the A* algorithm, coupled with the guaranteed solution of a convex problem, resulted in a very robust method that was able to find paths through mazes and difficult situations. The optimal control approach produced better paths, but had a tendency to sometimes show inconsistent behavior. Sammanfattning V¨agplaneringf¨orautonoma fordon med hj¨alpav en klotoid- baserad utj¨amningav A*-genererade v¨agaroch optimal styr- teori. Autonoma fordon ¨arett snabbt v¨axandeforskningsomr˚adeoch behovet av robusta och effektiva l¨osningarf¨orv¨agplanering¨arstort. Vi unders¨oker ett globalt v¨agplaneringsproblem f¨oren autonom dumper som utvecklas p˚aVolvo Construction Equipment och som ¨arbyggd f¨oratt anv¨andasi bergt¨akter. Tv˚ametoder unders¨oks:en tv˚astegsmetod med grafbaserad v¨agplaneringf¨oljtav en utsl¨atningav v¨agen,och en metod som bygger p˚aoptimal styrteori. Tv˚astegsmetoden g˚arut p˚aatt f¨orsthitta en v¨agfri fr˚anhinder med hj¨alpav A*, en effektiv grafbaserad s¨okalgoritm, och sedan sl¨ata ut denna v¨aggenom att anpassa ett s˚al˚agtantal klotoid-kurvor som m¨ojligttill v¨agen.Denna utsl¨atninggenomf¨orsgenom att skriva om det icke-linj¨araproblemet p˚akonvex form med hj¨alpav en linj¨ariseringkring referensv¨agenskurvatur. En iterativ metod beskrivs f¨oratt relaxera `0- normen, som m¨aterantalet nollskilda element i en vektor, med en viktad `1-norm. Sedan l¨osesproblemet med CVX i Matlab. I metoden baserad p˚aoptimal styrteori l¨oservi det icke-linj¨araproblemet direkt med IPOPT. Det visade sig att robustheten hos A* tillsammans med ett l¨attl¨ostkon- vext problem gjorde att tv˚astegsmetoden blev mycket robust och p˚alitlig och kunde hitta till˚atnav¨agargenom labyrinter och sv˚arasituationer. V¨agarplanerade med hj¨alpav optimal styrteori var kortare och hade b¨attreegenskaper, men algoritmen hade en tendens att f˚asv˚arigheter med konvergens. CONTENTS Contents 1 Introduction1 1.1 Objective...............................1 1.2 Introduction to path planning methods...............2 1.3 Autonomous vehicles.........................6 1.4 Levels of autonomy..........................7 1.5 Electric Site..............................9 2 Related work 10 3 Theory 11 3.1 Kinematic vehicle model....................... 11 3.2 Clothoids............................... 12 3.3 Continuous clothoid optimization problem............. 14 3.4 A* grid search............................ 15 3.5 Optimal control theory approach.................. 18 3.6 IPOPT................................ 19 4 Method 20 4.1 A* implementation.......................... 20 4.2 Clothoid smoothing implementation................ 21 4.2.1 Linearization of path around reference curvature..... 23 4.2.2 Calculation of reference curvature............. 25 4.2.3 `0-optimization formulation................. 25 4.2.4 MM-algorithms........................ 26 4.2.5 Relaxation of `0-norm for sparse problems......... 27 4.2.6 MM-formulation of the optimization problem....... 32 4.2.7 Curve length issues...................... 32 4.3 Optimal control implementation.................. 33 5 Numerical simulations 34 5.1 2-phase approach........................... 34 5.1.1 Convergence of `0-norm relaxation............. 37 5.2 Optimal control approach...................... 41 5.2.1 Error for different step sizes................. 44 5.2.2 Influence of the parameter Q................ 45 5.2.3 Empirical stability analysis................. 47 6 Discussion 50 6.1 2-step approach discussion...................... 50 6.2 Optimal control discussion...................... 50 6.2.1 Issues with convergence................... 50 6.3 Future work.............................. 51 7 Conclusion 51 8 References 52 1 INTRODUCTION 1 1 Introduction Research and development on autonomy in vehicles and robots is an area that has gained much popularity in industrial applications over the last three decades [1]. The field has recently seen an increase in usage also in consumer products, such as autonomous driving features in personal cars and drones. The subject is broad and spans many different disciplines. Although there are applications of motion planning within robotics and autonomous vehicles, the subject is also of interest in other areas, such as animation, computer games and computational chemistry [2]. The underlying motivation behind research on autonomous vehicles has been, and still is, to have vehicles independently navigate themselves from some location to a goal, often requiring them to perform one or several tasks along the way. Several general and more problem-specific difficulties have to be overcome. Problems that need to be addressed in virtually all applications of autonomous vehicles are path planning and motion control of the vehicle along the path. The vehicles should be able to calculate driveable paths through their specific type of environment subject to given constraints. Common criteria are to avoid obstacles, static or in some applications moving, while satisfying physical ve- hicle limitations. Constraints can be imposed on the paths, such as curvature limits, path smoothness, and physical actuator limitations. Often position and orientation constraints for the start and goal positions need to be met. This thesis is concerned with the path planning problem for load carriers operating in a quarry environment. 1.1 Objective Two methods for non-holonomic path planning will be examined and compared in this thesis; Firstly, a 2-step lattice based planning and smoothing approach. Secondly, path planning based on an optimal control formulation. The output of both methods are driveable paths with specified boundary values, i.e. coor- dinates and headings for the start and goal positions of the vehicle. A driveable path is one which respects vehicle constraints such as maximum steering angle and physical width limitations. In addition, the path also avoids obstacles and is minimal with respect to path length, i.e. as short as possible. The lattice based method is split into two steps. First, finding an obstacle free path using a grid based search algorithm. This path is the shortest path in the grid but is not driveable. Due to the grid, each segment of the trajectory is limited to one of 8 directions, i.e. vertical, horizontal, and diagonal. This discrete set of possible headings leads to sharp corners in the path that a physical vehicle cannot follow closely, as shown in figure 1.1. 1 INTRODUCTION 2 Figure 1.1: Example of an A* solution on a grid. The path starts at the blue node and ends at the red. The black nodes represent obstacles. This path contains sharp corners and needs to be smoothed before a vehicle can follow it. The obstacle free path through the grid is then smoothed and made drive- able. This is done by fitting curves with continuous piecewise linear curvature, called clothoids, to the original path, while respecting deviation constraints. The appealing properties of clothoids make them a popular choice in path planning applications [1,3,4]. The second method is to formulate the path planning as a nonlinear optimal control problem. It is solved using a tool developed at Volvo Construction Equipment that is based on the solver IPOPT, a software package for large scale nonlinear optimization written in C++ [5]. The problem can be formulated in terms of time or distance travelled along the path. An advantage of a distance based formulation is that the system can be controlled with only one control parameter, in our case the angular steering velocity. In a formulation based on time, a control parameter for acceleration or velocity of the vehicle must
Recommended publications
  • Study of Spiral Transition Curves As Related to the Visual Quality of Highway Alignment
    A STUDY OF SPIRAL TRANSITION CURVES AS RELA'^^ED TO THE VISUAL QUALITY OF HIGHWAY ALIGNMENT JERRY SHELDON MURPHY B, S., Kansas State University, 1968 A MJvSTER'S THESIS submitted in partial fulfillment of the requirements for the degree MASTER OF SCIENCE Department of Civil Engineering KANSAS STATE UNIVERSITY Manhattan, Kansas 1969 Approved by P^ajQT Professor TV- / / ^ / TABLE OF CONTENTS <2, 2^ INTRODUCTION 1 LITERATURE SEARCH 3 PURPOSE 5 SCOPE 6 • METHOD OF SOLUTION 7 RESULTS 18 RECOMMENDATIONS FOR FURTHER RESEARCH 27 CONCLUSION 33 REFERENCES 34 APPENDIX 36 LIST OF TABLES TABLE 1, Geonetry of Locations Studied 17 TABLE 2, Rates of Change of Slope Versus Curve Ratings 31 LIST OF FIGURES FIGURE 1. Definition of Sight Distance and Display Angle 8 FIGURE 2. Perspective Coordinate Transformation 9 FIGURE 3. Spiral Curve Calculation Equations 12 FIGURE 4. Flow Chart 14 FIGURE 5, Photograph and Perspective of Selected Location 15 FIGURE 6. Effect of Spiral Curves at Small Display Angles 19 A, No Spiral (Circular Curve) B, Completely Spiralized FIGURE 7. Effects of Spiral Curves (DA = .015 Radians, SD = 1000 Feet, D = l** and A = 10*) 20 Plate 1 A. No Spiral (Circular Curve) B, Spiral Length = 250 Feet FIGURE 8. Effects of Spiral Curves (DA = ,015 Radians, SD = 1000 Feet, D = 1° and A = 10°) 21 Plate 2 A. Spiral Length = 500 Feet B. Spiral Length = 1000 Feet (Conpletely Spiralized) FIGURE 9. Effects of Display Angle (D = 2°, A = 10°, Ig = 500 feet, = SD 500 feet) 23 Plate 1 A. Display Angle = .007 Radian B. Display Angle = .027 Radiaji FIGURE 10.
    [Show full text]
  • Construction Surveying Curves
    Construction Surveying Curves Three(3) Continuing Education Hours Course #LS1003 Approved Continuing Education for Licensed Professional Engineers EZ-pdh.com Ezekiel Enterprises, LLC 301 Mission Dr. Unit 571 New Smyrna Beach, FL 32170 800-433-1487 [email protected] Construction Surveying Curves Ezekiel Enterprises, LLC Course Description: The Construction Surveying Curves course satisfies three (3) hours of professional development. The course is designed as a distance learning course focused on the process required for a surveyor to establish curves. Objectives: The primary objective of this course is enable the student to understand practical methods to locate points along curves using variety of methods. Grading: Students must achieve a minimum score of 70% on the online quiz to pass this course. The quiz may be taken as many times as necessary to successful pass and complete the course. Ezekiel Enterprises, LLC Section I. Simple Horizontal Curves CURVE POINTS Simple The simple curve is an arc of a circle. It is the most By studying this course the surveyor learns to locate commonly used. The radius of the circle determines points using angles and distances. In construction the “sharpness” or “flatness” of the curve. The larger surveying, the surveyor must often establish the line of the radius, the “flatter” the curve. a curve for road layout or some other construction. The surveyor can establish curves of short radius, Compound usually less than one tape length, by holding one end Surveyors often have to use a compound curve because of the tape at the center of the circle and swinging the of the terrain.
    [Show full text]
  • The Ordered Distribution of Natural Numbers on the Square Root Spiral
    The Ordered Distribution of Natural Numbers on the Square Root Spiral - Harry K. Hahn - Ludwig-Erhard-Str. 10 D-76275 Et Germanytlingen, Germany ------------------------------ mathematical analysis by - Kay Schoenberger - Humboldt-University Berlin ----------------------------- 20. June 2007 Abstract : Natural numbers divisible by the same prime factor lie on defined spiral graphs which are running through the “Square Root Spiral“ ( also named as “Spiral of Theodorus” or “Wurzel Spirale“ or “Einstein Spiral” ). Prime Numbers also clearly accumulate on such spiral graphs. And the square numbers 4, 9, 16, 25, 36 … form a highly three-symmetrical system of three spiral graphs, which divide the square-root-spiral into three equal areas. A mathematical analysis shows that these spiral graphs are defined by quadratic polynomials. The Square Root Spiral is a geometrical structure which is based on the three basic constants: 1, sqrt2 and π (pi) , and the continuous application of the Pythagorean Theorem of the right angled triangle. Fibonacci number sequences also play a part in the structure of the Square Root Spiral. Fibonacci Numbers divide the Square Root Spiral into areas and angle sectors with constant proportions. These proportions are linked to the “golden mean” ( golden section ), which behaves as a self-avoiding-walk- constant in the lattice-like structure of the square root spiral. Contents of the general section Page 1 Introduction to the Square Root Spiral 2 2 Mathematical description of the Square Root Spiral 4 3 The distribution
    [Show full text]
  • Coverrailway Curves Book.Cdr
    RAILWAY CURVES March 2010 (Corrected & Reprinted : November 2018) INDIAN RAILWAYS INSTITUTE OF CIVIL ENGINEERING PUNE - 411 001 i ii Foreword to the corrected and updated version The book on Railway Curves was originally published in March 2010 by Shri V B Sood, the then professor, IRICEN and reprinted in September 2013. The book has been again now corrected and updated as per latest correction slips on various provisions of IRPWM and IRTMM by Shri V B Sood, Chief General Manager (Civil) IRSDC, Delhi, Shri R K Bajpai, Sr Professor, Track-2, and Shri Anil Choudhary, Sr Professor, Track, IRICEN. I hope that the book will be found useful by the field engineers involved in laying and maintenance of curves. Pune Ajay Goyal November 2018 Director IRICEN, Pune iii PREFACE In an attempt to reach out to all the railway engineers including supervisors, IRICEN has been endeavouring to bring out technical books and monograms. This book “Railway Curves” is an attempt in that direction. The earlier two books on this subject, viz. “Speed on Curves” and “Improving Running on Curves” were very well received and several editions of the same have been published. The “Railway Curves” compiles updated material of the above two publications and additional new topics on Setting out of Curves, Computer Program for Realignment of Curves, Curves with Obligatory Points and Turnouts on Curves, with several solved examples to make the book much more useful to the field and design engineer. It is hoped that all the P.way men will find this book a useful source of design, laying out, maintenance, upgradation of the railway curves and tackling various problems of general and specific nature.
    [Show full text]
  • Archimedean Spirals ∗
    Archimedean Spirals ∗ An Archimedean Spiral is a curve defined by a polar equation of the form r = θa, with special names being given for certain values of a. For example if a = 1, so r = θ, then it is called Archimedes’ Spiral. Archimede’s Spiral For a = −1, so r = 1/θ, we get the reciprocal (or hyperbolic) spiral. Reciprocal Spiral ∗This file is from the 3D-XploreMath project. You can find it on the web by searching the name. 1 √ The case a = 1/2, so r = θ, is called the Fermat (or hyperbolic) spiral. Fermat’s Spiral √ While a = −1/2, or r = 1/ θ, it is called the Lituus. Lituus In 3D-XplorMath, you can change the parameter a by going to the menu Settings → Set Parameters, and change the value of aa. You can see an animation of Archimedean spirals where the exponent a varies gradually, from the menu Animate → Morph. 2 The reason that the parabolic spiral and the hyperbolic spiral are so named is that their equations in polar coordinates, rθ = 1 and r2 = θ, respectively resembles the equations for a hyperbola (xy = 1) and parabola (x2 = y) in rectangular coordinates. The hyperbolic spiral is also called reciprocal spiral because it is the inverse curve of Archimedes’ spiral, with inversion center at the origin. The inversion curve of any Archimedean spirals with respect to a circle as center is another Archimedean spiral, scaled by the square of the radius of the circle. This is easily seen as follows. If a point P in the plane has polar coordinates (r, θ), then under inversion in the circle of radius b centered at the origin, it gets mapped to the point P 0 with polar coordinates (b2/r, θ), so that points having polar coordinates (ta, θ) are mapped to points having polar coordinates (b2t−a, θ).
    [Show full text]
  • The Logarithmic Spiral * the Parametric Equations for The
    The Logarithmic Spiral * The parametric equations for the Logarithmic Spiral are: x(t) =aa exp(bb t) cos(t) · · · y(t) =aa exp(bb t) sin(t). · · · This spiral is connected with the complex exponential as follows: x(t) + i y(t) = aa exp((bb + i)t). The animation that is automatically displayed when you select Logarithmic Spiral from the Plane Curves menu shows the osculating circles of the spiral. Their midpoints draw another curve, the evolute of this spiral. These os- culating circles illustrate an interesting theorem, namely if the curvature is a monotone function along a segment of a plane curve, then the osculating circles are nested - because the distance of the midpoints of two osculating circles is (by definition) the length of a secant of the evolute while the difference of their radii is the arc length of the evolute between the two midpoints. (See page 31 of J.J. Stoker’s “Differential Geometry”, Wiley-Interscience, 1969). For the logarithmic spiral this implies that through every point of the plane minus the origin passes exactly one os- culating circle. Etienne´ Ghys pointed out that this leads * This file is from the 3D-XplorMath project. Please see: http://3D-XplorMath.org/ 1 to a surprise: The unit tangent vectors of the osculating circles define a vector field X on R2 0 – but this vec- tor field has more integral curves, i.e.\ {solution} curves of the ODE c0(t) = X(c(t)), than just the osculating circles, namely also the logarithmic spiral. How is this compatible with the uniqueness results of ODE solutions? Read words backwards for explanation: eht dleifrotcev si ton ztihcspiL gnola eht evruc.
    [Show full text]
  • Cotes's Spiral Vortex in Extratropical Cyclone Bomb South Atlantic Oceans
    Cotes’s Spiral Vortex in Extratropical Cyclone bomb South Atlantic Oceans Ricardo Gobato1,*, Alireza Heidari2, Abhijit Mitra3 and Marcia Regina Risso Gobato1 1Green Land Landscaping and Gardening, Seedling Growth Laboratory, 86130-000, Parana, Brazil. 2Faculty of Chemistry, California South University, 14731 Comet St. Irvine, CA 92604, USA, United States of America. 3Department of Marine Science, University of Calcutta, 35 B.C. Road Kolkata, 700019, India. *Corresponding author: [email protected] September 20, 2020 he characteristic shape of hurricanes, cy- pressure center of 972 mbar , approximate loca- clones, typhoons is a spiral. There are sev- tion 34◦S 42◦30’W. eral types of turns, and determining the Tcharacteristic equation of which spiral the "cyclone bomb" (CB) fits into is the goal of the work. In 1 Introduction mathematics, a spiral is a curve which emanates from a point, moving farther away as it revolves In mathematics, a spiral is a curve which emanates around the point. An “explosive extratropical cy- from a point, moving farther away as it revolves around clone” is an atmospheric phenomenon that occurs the point. [1-4] The characteristic shape of hurricanes, when there is a very rapid drop in central at- cyclones, typhoons is a spiral [5-8]. There are sev- mospheric pressure. This phenomenon, with its eral types of turns, and determining the characteristic characteristic of rapidly lowering the pressure in equation of which spiral the cyclone bomb CB [9]. its interior, generates very intense winds and for The work aims to determine the mathematical equa- this reason it is called explosive cyclone, bomb cy- tion of the shape of the extratropical cyclone, in the clone.
    [Show full text]
  • Chapter 2 Track
    CALTRAIN DESIGN CRITERIA CHAPTER 2 - TRACK CHAPTER 2 TRACK A. GENERAL This Chapter includes criteria and standards for the planning, design, construction, and maintenance as well as materials of Caltrain trackwork. The term track or trackwork includes special trackwork and its interface with other components of the rail system. The trackwork is generally defined as from the subgrade (or roadbed or trackbed) to the top of rail, and is commonly referred to in this document as track structure. This Chapter is organized in several main sections, namely track structure and their materials including civil engineering, track geometry design, and special trackwork. Performance charts of Caltrain rolling stock are also included at the end of this Chapter. The primary considerations of track design are safety, economy, ease of maintenance, ride comfort, and constructability. Factors that affect the track system such as safety, ride comfort, design speed, noise and vibration, and other factors, such as constructability, maintainability, reliability and track component standardization which have major impacts to capital and maintenance costs, must be recognized and implemented in the early phase of planning and design. It shall be the objective and responsibility of the designer to design a functional track system that meets Caltrain’s current and future needs with a high degree of reliability, minimal maintenance requirements, and construction of which with minimal impact to normal revenue operations. Because of the complexity of the track system and its close integration with signaling system, it is essential that the design and construction of trackwork, signal, and other corridor wide improvements be integrated and analyzed as a system approach so that the interaction of these elements are identified and accommodated.
    [Show full text]
  • ALL ABOUT SPIRALS a Spiral Can Be Described As Any 2D Continuous Curve Where the Radial Distance R from the Origin Equals a Specified Function of the Angle Θ
    , ALL ABOUT SPIRALS A spiral can be described as any 2D continuous curve where the radial distance r from the origin equals a specified function of the angle θ. Mathematically it has the unique derivative given by- dr=(df/dθ)dθ with r=0 at θ=0 On integrating one finds- () ∫ 푑푡 r= This solution yields two simple forms. The first occurs when df/dt=α. We get- r=α(θ) This simplest of continuous spiral figures is just the Archimedes Spiral discovered by him over two thousand years ago. Setting the constant to α=3/π , we have the plot- Note that the distance between turns of the spiral remain the same. A second simple spiral is found when df/dθ=βf, where f=exp(훽휃). If we take r=1 at θ=0, it produces- r=exp(βθ) or the equivalent ln(r)=βθ It is known as the Logarithmic Spiral or Bernoulli’s Spiral. Here is its graph when β=1/10- A property of the Bernouli Spiral is that the angle between any radial line and the tangent to the spiral remains a constant. J. Bernoulli was so intrigued by this spiral that he had a copy placed on his tombstone in Basel Switzerland. Here I am pointing to it back in 2000 - One can construct numerous other spirals by simply changing the form of df(θ)/dθ and picking a starting point r(θ0)=r0. So if df/dθ=α/[2sqrt(θ)] and r=0 when θ=0, we get the spiral– r=αsqrt(θ) It looks as follows- This figure is known as the Fermat Spiral.
    [Show full text]
  • Archimedean Spirals * an Archimedean Spiral Is a Curve
    Archimedean Spirals * An Archimedean Spiral is a curve defined by a polar equa- tion of the form r = θa. Special names are being given for certain values of a. For example if a = 1, so r = θ, then it is called Archimedes’ Spiral. Formulas in 3DXM: r(t) := taa, θ(t) := t, Default Morph: 1 aa 1.25. − ≤ ≤ For a = 1, so r = 1/θ, we get the− reciprocal (or Archimede’s Spiral hyperbolic) spiral: Reciprocal Spiral * This file is from the 3D-XplorMath project. Please see: http://3D-XplorMath.org/ 1 The case a = 1/2, so r = √θ, is called the Fermat (or hyperbolic) spiral. Fermat’s Spiral While a = 1/2, or r = 1/√θ, it is called the Lituus: − Lituus 2 In 3D-XplorMath, you can change the parameter a by go- ing to the menu Settings Set Parameters, and change the value of aa. You can see→an animation of Archimedean spirals where the exponent a = aa varies gradually, be- tween 1 and 1.25. See the Animate Menu, entry Morph. − The reason that the parabolic spiral and the hyperbolic spiral are so named is that their equations in polar coor- dinates, rθ = 1 and r2 = θ, respectively resembles the equations for a hyperbola (xy = 1) and parabola (x2 = y) in rectangular coordinates. The hyperbolic spiral is also called reciprocal spiral be- cause it is the inverse curve of Archimedes’ spiral, with inversion center at the origin. The inversion curve of any Archimedean spirals with re- spect to a circle as center is another Archimedean spiral, scaled by the square of the radius of the circle.
    [Show full text]
  • Fermat's Spiral and the Line Between Yin and Yang
    FERMAT’S SPIRAL AND THE LINE BETWEEN YIN AND YANG TARAS BANAKH ∗, OLEG VERBITSKY †, AND YAROSLAV VOROBETS ‡ Abstract. Let D denote a disk of unit area. We call a set A D perfect if it has measure 1/2 and, with respect to any axial symmetry of D⊂, the maximal symmetric subset of A has measure 1/4. We call a curve β in D an yin-yang line if β splits D into two congruent perfect sets, • β crosses each concentric circle of D twice, • β crosses each radius of D once. We• prove that Fermat’s spiral is a unique yin-yang line in the class of smooth curves algebraic in polar coordinates. 1. Introduction The yin-yang concept comes from ancient Chinese philosophy. Yin and Yang refer to the two fundamental forces ruling everything in nature and human’s life. The two categories are opposite, complementary, and intertwined. They are depicted, respectively, as the dark and the light area of the well-known yin-yang symbol (also Tai Chi or Taijitu, see Fig. 1). The borderline between these areas represents in Eastern thought the equilibrium between Yin and Yang. From the mathematical point of view, the yin-yang symbol is a bipartition of the disk by a certain curve β, where by curve we mean the image of a real segment under an injective continuous map. We aim at identifying this curve, up to deriving an explicit mathematical expression for it. Such a project should apparently begin with choosing a set of axioms for basic properties of the yin-yang symbol in terms of β.
    [Show full text]
  • Mathematics Extended Essay
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by TED Ankara College IB Thesis MATHEMATICS EXTENDED ESSAY “Relationship Between Mathematics and Art” Candidate Name: Zeynep AYGAR Candidate Number: 1129-018 Session: MAY 2013 Supervisor: Mehmet Emin ÖZER TED Ankara College Foundation High School ZEYNEP AYGAR D1129018 ABSTRACT For most of the people, mathematics is a school course with symbols and rules, which they suffer understanding and find difficult throughout their educational life, and even they find it useless in their daily life. Mathematics and arts, in general, are considered and put apart from each other. Mathematics represents truth, while art represents beauty. Mathematics has theories and proofs, but art depends on personal thought. Even though mathematics is a combination of symbols and rules, it has strong effects on daily life and art. It is obvious that those people dealing with strict rules of positive sciences only but nothing else suffer from the lack of emotion. Art has no meaning for them. On the other hand, artists unaware of the rules controlling the whole universe are living in a utopic world. However, a man should be aware both of the real world and emotional world in order to become happy in his life. In order to achieve that he needs two things: mathematics and art. Mathematics is the reflection of the physical world in human mind. Art is a mirror of human spirit. While mathematics showing physical world, art reveals inner world. Then it is not wrong to say that they have strong relations since they both have great effects on human beings.
    [Show full text]