Area Properties of Strictly Convex Curves

Total Page:16

File Type:pdf, Size:1020Kb

Area Properties of Strictly Convex Curves mathematics Article Area Properties of Strictly Convex Curves Dong-Soo Kim 1, Young Ho Kim 2,* and Yoon-Tae Jung 3 1 Department of Mathematics, Chonnam National University, Gwangju 61186, Korea; [email protected] 2 Department of Mathematics, Kyungpook National University, Daegu 41566, Korea 3 Department of Mathematics, Chosun University, Gwangju 61452, Korea; [email protected] * Correspondence: [email protected]; Tel.: +82-53-950-5882 Received: 28 March 2019; Accepted: 21 April 2019; Published: 29 April 2019 Abstract: We study functions defined in the plane E2 in which level curves are strictly convex, and investigate area properties of regions cut off by chords on the level curves. In this paper we give a partial answer to the question: Which function has level curves whose tangent lines cut off from a level curve segment of constant area? In the results, we give some characterization theorems regarding conic sections. Keywords: Archimedes; level curve; chord; conic section; strictly convex plane curve; curvature; equiaffine transformation 1. Introduction The most well-known plane curves are straight lines and circles, which are characterized as the plane curves with constant Frenet curvature. The next most familiar plane curves might be the conic sections: ellipses, hyperbolas and parabolas. They are characterized as plane curves with constant affine curvature ([1], p. 4). The conic sections have an interesting area property. For example, consider the following two −1 −1 ellipses given by Xk = g (k) and Xl = g (l) with l > k > 0, where x2 y2 g(x, y) = + , a, b > 0. a2 b2 For a fixed point p on Xk, we denote by A and B the points where the tangent to Xk at p meets Xl. Then the region D bounded by the ellipse Xl and the chord AB outside Xk has constant area independent of the point p 2 Xk. In order to give a proof, consider a transformation T of the plane E2 defined by p ! b/ ab 0 T = p . 0 a/ ab p p Then Xk and Xl are transformed to concentric circles of radius abk and abl, respectively; the tangent at p to the tangent at the corresponding point p0. Since the transformation T is equiaffine (that is, area preserving), a well-known property of concentric circles completes the proof. For parabolas and hyperbolas given by g(x, y) = y2 − 4ax, a 6= 0 and g(x, y) = x2/a2 − y2/b2, a, b > 0, respectively, it is straightforward to show that they also satisfy the above mentioned area properties. For a proof using 1-parameter group of equiaffine transformations, see [1], pp. 6–7. Conversely, it is reasonable to ask the following question. Question. Are there any other level curves of a function g : R2 ! R satisfying the above mentioned area property? Mathematics 2019, 7, 391; doi:10.3390/math7050391 www.mdpi.com/journal/mathematics Mathematics 2019, 7, 391 2 of 14 A plane curve X in the plane E2 is called ‘convex’ if it bounds a convex domain in the plane E2 [2]. A convex curve in the plane E2 is called ‘strictly convex’ if the curve has positive Frenet curvature k with respect to the unit normal N pointing to the convex side. We also say that a convex function f : R ! R is ‘strictly convex’ if the graph of f is strictly convex. 2 Consider a smooth function g : R ! R. We let Rg denote the set of all regular values of the function g. We suppose that there exists an interval Sg ⊂ Rg such that for every k 2 Sg, the level curve −1 2 Xk = g (k) is a smooth strictly convex curve in the plane E . We let Sg denote the maximal interval in Rg with the above property. If k 2 Sg, then there exists a maximal interval Ik ⊂ Sg such that each Xk+h with k + h 2 Ik lies in the convex side of Xk. The maximal interval Ik is of the form (k, a) or (b, k) according to whether the gradient vector rg points to the convex side of Xk or not. 2 2 2 2 As examples, consider the two functions gi : R ! R, i = 1, 2 defined by gi(x, y) = y + eia x i with positive constant a, ei = (−1) . Then, for the function g1 we have Rg1 = R − f0g, Sg1 = (0, ¥) or (−¥, 0), Ik = (k, ¥) if k > 0, and Ik = (−¥, k) if k < 0. For g2, we get Rg2 = Sg2 = (0, ¥) and Ik = (0, k) with k 2 Sg2 . For a fixed point p 2 Xk with k 2 Sg and a small h with k + h 2 Ik, we consider the tangent line t to Xk at p 2 Xk and the closest tangent line ` to Xk+h at a point v 2 Xk+h, which is parallel to the ∗ tangent line t. We let Ap(k, h) denote the area of the region bounded by Xk and the line ` (See Figure1). p p ∗ 2 2 Figure 1. Ap(1, −3/4) for p = (1, 3/2), v = (1/2, 3/4) and g(x, y) = x /4 + y . In [3], the following characterization theorem for parabolas was established. Proposition 1. We consider a strictly convex function f : R ! R and the function g : R2 ! R given by g(x, y) = y − f (x). Then, the following conditions are equivalent. ∗ 1. For a fixed k 2 R, Ap(k, h) is a function fk(h) of only h. 2. Up to translations, the function f (x) is a quadratic polynomial given by f (x) = ax2 with a > 0, and hence every level curve Xk of g is a parabola. In the above proposition, we have Rg = Sg = R and Ik = (k, ¥). In particular, Archimedes proved that every level curvep Xk (parabola) of the function g(x, y) = 2 2 ∗ y − ax in the Euclidean plane E satisfies Ap(k, h) = ch h for some constant c which depends only on the parabola [4]. In this paper, we investigate the family of strictly convex level curves Xk, k 2 Sg of a function g : R2 ! R which satisfies the following condition. ∗ ∗ (A ): For k 2 Sg with k + h 2 Ik, Ap(k, h) with p 2 Xk is a function fk(h) of only k and h. 2 In order to investigate the family of strictly convex level curves Xk, k 2 Sg of a function g : R ! R satisfying condition (A∗), first of all, in Section2 we introduce a useful lemma which reveals a relation between the curvature of level curves and the gradient of the function g (Lemma3 in Section2). Next, using Lemma3, in Section3 we establish the following characterizations for conic sections. Mathematics 2019, 7, 391 3 of 14 Theorem 1. Let f : R ! R be a smooth function. We let g denote the function defined by g(x, y) = ya − f (x), 2 where a is a nonzero real number with a 6= 1. Suppose that the level curves Xk(k 2 Sg) of g in the plane E are strictly convex. Then the following conditions are equivalent. 1. The function g satisfies (A∗). 3 2. For k 2 Sg, k(p)jrg(p)j = c(k) is constant on Xk, where k(p) denotes the curvature of Xk at p 2 Xk. 3. We have a = 2 and the function f is a quadratic function. Hence, each Xk is a conic section. In case the function f (− f , resp.) is itself a non-negative strictly convex function, Theorem1 is a special case (n = 1) of Theorem 2 (Theorem 3, resp.) in [5]. In Section4 we prove the following. Theorem 2. Let f : R ! R be a smooth function. For a rational function j(y) in y, we let g denote the function 2 defined by g(x, y) = f (x) + j(y). Suppose that the level curves Xk(k 2 Sg) of g in the plane E are strictly convex. Then the following conditions are equivalent. 1. The function g satisfies (A∗). 3 2. For k 2 Sg, k(p)jrg(p)j = c(k) is constant on Xk, where k(p) denotes the curvature of Xk at p 2 Xk. 3. Both of the functions j(y) and f (x) are quadratic. Hence, each Xk is a conic section. When the function g is homogeneous, in Section5 we prove the following characterization theorem for conic sections. 2 Theorem 3. Let g : R ! R be a smooth homogeneous function of degree d. Suppose that the level curves Xk 2 of g with k 2 Sg in the plane E are strictly convex. Then the following conditions are equivalent. 1. The function g satisfies (A∗). 3 2. For k 2 Sg, k(p)jrg(p)j = c(k) is constant on Xk, where k(p) denotes the curvature of Xk at p 2 Xk. 3. The function g is given by g(x, y) = (ax2 + 2hxy + by2)d/2, 2 where a, b and h satisfy ab − h 6= 0. Thus, each Xk is either a hyperbola or an ellipse centered at the origin. Finally, we prove the following in Section6. Proposition 2. There exists a function g(x, y) = f (x) + j(y) which satisfies the following. 1. Every level curve of g is strictly convex with Sg = R. 3 2. For k 2 Sg, k(p)jrg(p)j = c(k) is constant on Xk, where k(p) denotes the curvature of Xk at p 2 Xk. 3. The function g does not satisfy (A∗). A lot of properties of conic sections (especially, parabolas) have been proved to be characteristic ones [6–13].
Recommended publications
  • Bézout's Theorem
    Bézout's theorem Toni Annala Contents 1 Introduction 2 2 Bézout's theorem 4 2.1 Ane plane curves . .4 2.2 Projective plane curves . .6 2.3 An elementary proof for the upper bound . 10 2.4 Intersection numbers . 12 2.5 Proof of Bézout's theorem . 16 3 Intersections in Pn 20 3.1 The Hilbert series and the Hilbert polynomial . 20 3.2 A brief overview of the modern theory . 24 3.3 Intersections of hypersurfaces in Pn ...................... 26 3.4 Intersections of subvarieties in Pn ....................... 32 3.5 Serre's Tor-formula . 36 4 Appendix 42 4.1 Homogeneous Noether normalization . 42 4.2 Primes associated to a graded module . 43 1 Chapter 1 Introduction The topic of this thesis is Bézout's theorem. The classical version considers the number of points in the intersection of two algebraic plane curves. It states that if we have two algebraic plane curves, dened over an algebraically closed eld and cut out by multi- variate polynomials of degrees n and m, then the number of points where these curves intersect is exactly nm if we count multiple intersections and intersections at innity. In Chapter 2 we dene the necessary terminology to state this theorem rigorously, give an elementary proof for the upper bound using resultants, and later prove the full Bézout's theorem. A very modest background should suce for understanding this chapter, for example the course Algebra II given at the University of Helsinki should cover most, if not all, of the prerequisites. In Chapter 3, we generalize Bézout's theorem to higher dimensional projective spaces.
    [Show full text]
  • Chapter 1 Geometry of Plane Curves
    Chapter 1 Geometry of Plane Curves Definition 1 A (parametrized) curve in Rn is a piece-wise differentiable func- tion α :(a, b) Rn. If I is any other subset of R, α : I Rn is a curve provided that α→extends to a piece-wise differentiable function→ on some open interval (a, b) I. The trace of a curve α is the set of points α ((a, b)) Rn. ⊃ ⊂ AsubsetS Rn is parametrized by α if and only if there exists set I R ⊂ ⊆ such that α : I Rn is a curve for which α (I)=S. A one-to-one parame- trization α assigns→ and orientation toacurveC thought of as the direction of increasing parameter, i.e., if s<t,the direction of increasing parameter runs from α (s) to α (t) . AsubsetS Rn may be parametrized in many ways. ⊂ Example 2 Consider the circle C : x2 + y2 =1and let ω>0. The curve 2π α : 0, R2 given by ω → ¡ ¤ α(t)=(cosωt, sin ωt) . is a parametrization of C for each choice of ω R. Recall that the velocity and acceleration are respectively given by ∈ α0 (t)=( ω sin ωt, ω cos ωt) − and α00 (t)= ω2 cos 2πωt, ω2 sin 2πωt = ω2α(t). − − − The speed is given by ¡ ¢ 2 2 v(t)= α0(t) = ( ω sin ωt) +(ω cos ωt) = ω. (1.1) k k − q 1 2 CHAPTER 1. GEOMETRY OF PLANE CURVES The various parametrizations obtained by varying ω change the velocity, ac- 2π celeration and speed but have the same trace, i.e., α 0, ω = C for each ω.
    [Show full text]
  • Combination of Cubic and Quartic Plane Curve
    IOSR Journal of Mathematics (IOSR-JM) e-ISSN: 2278-5728,p-ISSN: 2319-765X, Volume 6, Issue 2 (Mar. - Apr. 2013), PP 43-53 www.iosrjournals.org Combination of Cubic and Quartic Plane Curve C.Dayanithi Research Scholar, Cmj University, Megalaya Abstract The set of complex eigenvalues of unistochastic matrices of order three forms a deltoid. A cross-section of the set of unistochastic matrices of order three forms a deltoid. The set of possible traces of unitary matrices belonging to the group SU(3) forms a deltoid. The intersection of two deltoids parametrizes a family of Complex Hadamard matrices of order six. The set of all Simson lines of given triangle, form an envelope in the shape of a deltoid. This is known as the Steiner deltoid or Steiner's hypocycloid after Jakob Steiner who described the shape and symmetry of the curve in 1856. The envelope of the area bisectors of a triangle is a deltoid (in the broader sense defined above) with vertices at the midpoints of the medians. The sides of the deltoid are arcs of hyperbolas that are asymptotic to the triangle's sides. I. Introduction Various combinations of coefficients in the above equation give rise to various important families of curves as listed below. 1. Bicorn curve 2. Klein quartic 3. Bullet-nose curve 4. Lemniscate of Bernoulli 5. Cartesian oval 6. Lemniscate of Gerono 7. Cassini oval 8. Lüroth quartic 9. Deltoid curve 10. Spiric section 11. Hippopede 12. Toric section 13. Kampyle of Eudoxus 14. Trott curve II. Bicorn curve In geometry, the bicorn, also known as a cocked hat curve due to its resemblance to a bicorne, is a rational quartic curve defined by the equation It has two cusps and is symmetric about the y-axis.
    [Show full text]
  • Polynomial Curves and Surfaces
    Polynomial Curves and Surfaces Chandrajit Bajaj and Andrew Gillette September 8, 2010 Contents 1 What is an Algebraic Curve or Surface? 2 1.1 Algebraic Curves . .3 1.2 Algebraic Surfaces . .3 2 Singularities and Extreme Points 4 2.1 Singularities and Genus . .4 2.2 Parameterizing with a Pencil of Lines . .6 2.3 Parameterizing with a Pencil of Curves . .7 2.4 Algebraic Space Curves . .8 2.5 Faithful Parameterizations . .9 3 Triangulation and Display 10 4 Polynomial and Power Basis 10 5 Power Series and Puiseux Expansions 11 5.1 Weierstrass Factorization . 11 5.2 Hensel Lifting . 11 6 Derivatives, Tangents, Curvatures 12 6.1 Curvature Computations . 12 6.1.1 Curvature Formulas . 12 6.1.2 Derivation . 13 7 Converting Between Implicit and Parametric Forms 20 7.1 Parameterization of Curves . 21 7.1.1 Parameterizing with lines . 24 7.1.2 Parameterizing with Higher Degree Curves . 26 7.1.3 Parameterization of conic, cubic plane curves . 30 7.2 Parameterization of Algebraic Space Curves . 30 7.3 Automatic Parametrization of Degree 2 Curves and Surfaces . 33 7.3.1 Conics . 34 7.3.2 Rational Fields . 36 7.4 Automatic Parametrization of Degree 3 Curves and Surfaces . 37 7.4.1 Cubics . 38 7.4.2 Cubicoids . 40 7.5 Parameterizations of Real Cubic Surfaces . 42 7.5.1 Real and Rational Points on Cubic Surfaces . 44 7.5.2 Algebraic Reduction . 45 1 7.5.3 Parameterizations without Real Skew Lines . 49 7.5.4 Classification and Straight Lines from Parametric Equations . 52 7.5.5 Parameterization of general algebraic plane curves by A-splines .
    [Show full text]
  • Construction of Rational Surfaces of Degree 12 in Projective Fourspace
    Construction of Rational Surfaces of Degree 12 in Projective Fourspace Hirotachi Abo Abstract The aim of this paper is to present two different constructions of smooth rational surfaces in projective fourspace with degree 12 and sectional genus 13. In particular, we establish the existences of five different families of smooth rational surfaces in projective fourspace with the prescribed invariants. 1 Introduction Hartshone conjectured that only finitely many components of the Hilbert scheme of surfaces in P4 contain smooth rational surfaces. In 1989, this conjecture was positively solved by Ellingsrud and Peskine [7]. The exact bound for the degree is, however, still open, and hence the question concerning the exact bound motivates us to find smooth rational surfaces in P4. The goal of this paper is to construct five different families of smooth rational surfaces in P4 with degree 12 and sectional genus 13. The rational surfaces in P4 were previously known up to degree 11. In this paper, we present two different constructions of smooth rational surfaces in P4 with the given invariants. Both the constructions are based on the technique of “Beilinson monad”. Let V be a finite-dimensional vector space over a field K and let W be its dual space. The basic idea behind a Beilinson monad is to represent a given coherent sheaf on P(W ) as a homology of a finite complex whose objects are direct sums of bundles of differentials. The differentials in the monad are given by homogeneous matrices over an exterior algebra E = V V . To construct a Beilinson monad for a given coherent sheaf, we typically take the following steps: Determine the type of the Beilinson monad, that is, determine each object, and then find differentials in the monad.
    [Show full text]
  • A Brief Note on the Approach to the Conic Sections of a Right Circular Cone from Dynamic Geometry
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by EPrints Complutense A brief note on the approach to the conic sections of a right circular cone from dynamic geometry Eugenio Roanes–Lozano Abstract. Nowadays there are different powerful 3D dynamic geometry systems (DGS) such as GeoGebra 5, Calques 3D and Cabri Geometry 3D. An obvious application of this software that has been addressed by several authors is obtaining the conic sections of a right circular cone: the dynamic capabilities of 3D DGS allows to slowly vary the angle of the plane w.r.t. the axis of the cone, thus obtaining the different types of conics. In all the approaches we have found, a cone is firstly constructed and it is cut through variable planes. We propose to perform the construction the other way round: the plane is fixed (in fact it is a very convenient plane: z = 0) and the cone is the moving object. This way the conic is expressed as a function of x and y (instead of as a function of x, y and z). Moreover, if the 3D DGS has algebraic capabilities, it is possible to obtain the implicit equation of the conic. Mathematics Subject Classification (2010). Primary 68U99; Secondary 97G40; Tertiary 68U05. Keywords. Conics, Dynamic Geometry, 3D Geometry, Computer Algebra. 1. Introduction Nowadays there are different powerful 3D dynamic geometry systems (DGS) such as GeoGebra 5 [2], Calques 3D [7, 10] and Cabri Geometry 3D [11]. Focusing on the most widespread one (GeoGebra 5) and conics, there is a “conics” icon in the ToolBar.
    [Show full text]
  • Chapter 9: Conics Section 9.1 Ellipses
    Chapter 9: Conics Section 9.1 Ellipses ..................................................................................................... 579 Section 9.2 Hyperbolas ............................................................................................... 597 Section 9.3 Parabolas and Non-Linear Systems ......................................................... 617 Section 9.4 Conics in Polar Coordinates..................................................................... 630 In this chapter, we will explore a set of shapes defined by a common characteristic: they can all be formed by slicing a cone with a plane. These families of curves have a broad range of applications in physics and astronomy, from describing the shape of your car headlight reflectors to describing the orbits of planets and comets. Section 9.1 Ellipses The National Statuary Hall1 in Washington, D.C. is an oval-shaped room called a whispering chamber because the shape makes it possible for sound to reflect from the walls in a special way. Two people standing in specific places are able to hear each other whispering even though they are far apart. To determine where they should stand, we will need to better understand ellipses. An ellipse is a type of conic section, a shape resulting from intersecting a plane with a cone and looking at the curve where they intersect. They were discovered by the Greek mathematician Menaechmus over two millennia ago. The figure below2 shows two types of conic sections. When a plane is perpendicular to the axis of the cone, the shape of the intersection is a circle. A slightly titled plane creates an oval-shaped conic section called an ellipse. 1 Photo by Gary Palmer, Flickr, CC-BY, https://www.flickr.com/photos/gregpalmer/2157517950 2 Pbroks13 (https://commons.wikimedia.org/wiki/File:Conic_sections_with_plane.svg), “Conic sections with plane”, cropped to show only ellipse and circle by L Michaels, CC BY 3.0 This chapter is part of Precalculus: An Investigation of Functions © Lippman & Rasmussen 2020.
    [Show full text]
  • TWO FAMILIES of STABLE BUNDLES with the SAME SPECTRUM Nonreduced [M]
    proceedings of the american mathematical society Volume 109, Number 3, July 1990 TWO FAMILIES OF STABLE BUNDLES WITH THE SAME SPECTRUM A. P. RAO (Communicated by Louis J. Ratliff, Jr.) Abstract. We study stable rank two algebraic vector bundles on P and show that the family of bundles with fixed Chern classes and spectrum may have more than one irreducible component. We also produce a component where the generic bundle has a monad with ghost terms which cannot be deformed away. In the last century, Halphen and M. Noether attempted to classify smooth algebraic curves in P . They proceeded with the invariants d , g , the degree and genus, and worked their way up to d = 20. As the invariants grew larger, the number of components of the parameter space grew as well. Recent work of Gruson and Peskine has settled the question of which invariant pairs (d, g) are admissible. For a fixed pair (d, g), the question of determining the number of components of the parameter space is still intractable. For some values of (d, g) (for example [E-l], if d > g + 3) there is only one component. For other values, one may find many components including components which are nonreduced [M]. More recently, similar questions have been asked about algebraic vector bun- dles of rank two on P . We will restrict our attention to stable bundles a? with first Chern class c, = 0 (and second Chern class c2 = n, so that « is a positive integer and i? has no global sections). To study these, we have the invariants n, the a-invariant (which is equal to dim//"'(P , f(-2)) mod 2) and the spectrum.
    [Show full text]
  • Geometry of Algebraic Curves
    Geometry of Algebraic Curves Fall 2011 Course taught by Joe Harris Notes by Atanas Atanasov One Oxford Street, Cambridge, MA 02138 E-mail address: [email protected] Contents Lecture 1. September 2, 2011 6 Lecture 2. September 7, 2011 10 2.1. Riemann surfaces associated to a polynomial 10 2.2. The degree of KX and Riemann-Hurwitz 13 2.3. Maps into projective space 15 2.4. An amusing fact 16 Lecture 3. September 9, 2011 17 3.1. Embedding Riemann surfaces in projective space 17 3.2. Geometric Riemann-Roch 17 3.3. Adjunction 18 Lecture 4. September 12, 2011 21 4.1. A change of viewpoint 21 4.2. The Brill-Noether problem 21 Lecture 5. September 16, 2011 25 5.1. Remark on a homework problem 25 5.2. Abel's Theorem 25 5.3. Examples and applications 27 Lecture 6. September 21, 2011 30 6.1. The canonical divisor on a smooth plane curve 30 6.2. More general divisors on smooth plane curves 31 6.3. The canonical divisor on a nodal plane curve 32 6.4. More general divisors on nodal plane curves 33 Lecture 7. September 23, 2011 35 7.1. More on divisors 35 7.2. Riemann-Roch, finally 36 7.3. Fun applications 37 7.4. Sheaf cohomology 37 Lecture 8. September 28, 2011 40 8.1. Examples of low genus 40 8.2. Hyperelliptic curves 40 8.3. Low genus examples 42 Lecture 9. September 30, 2011 44 9.1. Automorphisms of genus 0 an 1 curves 44 9.2.
    [Show full text]
  • Bézout's Theorem
    Bézout’s Theorem Jennifer Li Department of Mathematics University of Massachusetts Amherst, MA ¡ No common components How many intersection points are there? Motivation f (x,y) g(x,y) Jennifer Li (University of Massachusetts) Bézout’s Theorem November 30, 2016 2 / 80 How many intersection points are there? Motivation f (x,y) ¡ No common components g(x,y) Jennifer Li (University of Massachusetts) Bézout’s Theorem November 30, 2016 2 / 80 Motivation f (x,y) ¡ No common components g(x,y) How many intersection points are there? Jennifer Li (University of Massachusetts) Bézout’s Theorem November 30, 2016 2 / 80 Algebra Geometry { set of solutions } { intersection points of curves } Motivation f (x,y) = 0 g(x,y) = 0 Jennifer Li (University of Massachusetts) Bézout’s Theorem November 30, 2016 3 / 80 Geometry { intersection points of curves } Motivation f (x,y) = 0 g(x,y) = 0 Algebra { set of solutions } Jennifer Li (University of Massachusetts) Bézout’s Theorem November 30, 2016 3 / 80 Motivation f (x,y) = 0 g(x,y) = 0 Algebra Geometry { set of solutions } { intersection points of curves } Jennifer Li (University of Massachusetts) Bézout’s Theorem November 30, 2016 3 / 80 Motivation f (x,y) = 0 g(x,y) = 0 How many intersections are there? Jennifer Li (University of Massachusetts) Bézout’s Theorem November 30, 2016 4 / 80 Motivation f (x,y) = 0 g(x,y) = 0 How many intersections are there? Jennifer Li (University of Massachusetts) Bézout’s Theorem November 30, 2016 5 / 80 Motivation f (x,y) = 0 g(x,y) = 0 How many intersections are there? Jennifer Li (University of Massachusetts) Bézout’s Theorem November 30, 2016 6 / 80 f (x): polynomial in one variable 2 n f (x) = a0 + a1x + a2x +⋯+ anx Example.
    [Show full text]
  • 1.3 Curvature and Plane Curves
    1.3. CURVATURE AND PLANE CURVES 7 1.3 Curvature and Plane Curves We want to be able to associate to a curve a function that measures how much the curve bends at each point. Let α:(a, b) R2 be a curve parameterized by arclength. Now, in the Euclidean plane any three non-collinear→ points lie on a unique circle, centered at the orthocenter of the triangle defined by the three points. For s (a, b) choose s1, s2, and s3 near s so that α(s1), α(s2), and α(s3) are non- ∈ collinear. This is possible as long as α is not linear near α(s). Let C = C(s1, s2, s3) be the center of the circle through α(s1), α(s2), and α(s3). The radius of this circle is approximately α(s) C . A better function to consider is the square of the radius: | − | ρ(s) = (α(s) C) (α(s) C). − · − Since α is smooth, so is ρ. Now, α(s1), α(s2), and α(s3) lie on the circle so ρ(s1) = ρ(s2) = ρ(s3). By Rolle’s Theorem there are points t1 (s1, s2) and t2 (s2, s3) so that ∈ ∈ ρ0(t1) = ρ0(t2) = 0. Then, using Rolle’s Theorem again on these points, there is a point u (t1, t2) so that ρ (u) = 0. Using Leibnitz’ Rule we have ρ (s) = 2α (s) (α(s) C) and ∈ 00 0 0 · − ρ00(s) = 2[α00(s) (α(s) C) + α0(s) α0(s)]. · − · Since ρ00(u) = 0, we get α00(u) (α(u) C) = α0(s) α(s) = 1.
    [Show full text]
  • Global Properties of Plane and Space Curves
    GLOBAL PROPERTIES OF PLANE AND SPACE CURVES KEVIN YAN Abstract. The purpose of this paper is purely expository. Its goal is to explain basic differential geometry to a general audience without assuming any knowledge beyond multivariable calculus. As a result, much of this paper is spent explaining intuition behind certain concepts rather than diving deep into mathematical jargon. A reader coming in with a stronger mathematical background is welcome to skip some of the more wordy segments. Naturally, to make the scope of the paper more manageable, we focus on the most basic objects in differential geometry, curves. Contents 1. Introduction 1 2. Preliminaries 2 2.1. What is a Curve? 2 2.2. Basic Local Properties 3 3. Plane Curves 5 3.1. Curvature 5 3.2. Basic Global Properties 7 3.3. Rotation Index and Winding Number 7 3.4. The Jordan Curve Theorem 8 3.5. The Four-Vertex Theorem 10 4. Space Curves 15 4.1. Curvature, Torsion, and the Frenet Frame 16 4.2. Total Curvature and Global Theorems 18 4.3. Knots and the Fary-Milnor Theorem 23 5. Acknowledgements 26 6. References 26 1. Introduction A key element of this paper is the distinction between local and global properties of curves. Roughly speaking, local properties refer to small parts of the curve, and global properties refer to the curve as a whole. Examples of local properties include regularity, curvature, and torsion, all of which can be defined at an individual point. The global properties we reference include theorems like the Jordan Curve Theorem, Fenchel's Theorem, and the Fary- Milnor Theorem.
    [Show full text]