Steiner’s Alternative: An Introduction to Inversive Geometry Asilomar - December 2005 Bruce Cohen Lowell High School, SFUSD

Slides:



Advertisements
Similar presentations
A two-dimensional vector v is determined by two points in the plane: an initial point P (also called the “tail” or basepoint) and a terminal point Q (also.
Advertisements

Tangents to Curves A review of some ideas, relevant to the calculus, from high school plane geometry.
The Ellipsoid Faculty of Applied Engineering and Urban Planning
10.1 Tangents to Circles.
Lesson 6.1 Properties of Tangents Page 182. Q1 Select A A.) This is the correct answer. B.) This is the wrong answer. C.) This is just as wrong as B.
Mathematics.
Definitions A circle is the set of all points in a plane that are equidistant from a given point called the center of the circle. Radius – the distance.
Tangents Chapter 10 Section 5. Recall What is a Circle –set of all points in a plane that are equidistant from a given point called a center of the circle.
Circles 10-2 Warm Up Lesson Presentation Lesson Quiz Holt Algebra2.
Lines that intersect Circles
CIRCLES Chapter 10.
Conic Section By H.K.MEENA PGT (Maths) KV BEAWAR (Raj)
Circles.
Sasha Vasserman.  Two triangles are similar if two pairs of corresponding angles are congruent.
Learn to locate and graph points on the coordinate plane.
Vocabulary coordinate plane axes x-axis
Angles, Reference Angles, Unit Circle
Mathematics.
Geometry June 8, 2015Geometry 10.1 Tangents to Circles2 Goals  Know properties of circles.  Identify special lines in a circle.  Solve problems with.
8.1 Circle Terminology and Chord Properties
Geometry Section 10.4 Angles Formed by Secants and Tangents
A Brief Introduction to Real Projective Geometry Asilomar - December 2010 Bruce Cohen Lowell High School, SFUSD
Polya’s Orchard Visibility Problem and Related Questions in Geometry and Number Theory Asilomar - December 2008 Bruce Cohen Lowell High School, SFUSD
Finite Mathematics & Its Applications, 10/e by Goldstein/Schneider/SiegelCopyright © 2010 Pearson Education, Inc. 1 of 71 Chapter 1 Linear Equations and.
Analytic Geometry in Three Dimensions
11 Analytic Geometry in Three Dimensions
Tangents to Circles (with Circle Review)
Chapter 4 Properties of Circles Part 1. Definition: the set of all points equidistant from a central point.
Standard Form for the Equation of the Circle
Circular Geometry Robust Constructions Proofs Chapter 4.
Analytic Geometry Chapter 5.
Geometry, Trigonometry, Algebra, and Complex Numbers Palm Springs - November 2004 Dedicated to David Cohen (1942 – 2002) Bruce Cohen Lowell High School,
1 Preliminaries Precalculus Review I Precalculus Review II
coordinates, lines and increment
9/22/2015Math KM1 Chapter 9: Conic Sections 9.1 Parabola (Distance Formula) (Midpoint Formula) Circle 9.2 Ellipse 9.3 Hyperbola 9.4 Nonlinear Systems.
GRADE 8 PYTHAGOREAN THEOREM  Understand and apply the Pythagorean Theorem.  Explain a proof of the Pythagorean Theorem and its converse. Here is one.
Introduction Geometry is a part of mathematics concerned with questions of size, shape, and relative position of figures and with properties of space.
Mathematics. Ellipse Session - 1 Session Objectives.
Use Properties of Tangents
Chapter 10.
The Second Degree Equations. Determine whether the following equations represent a circle, parabola, ellipse or hyperbola. 1. x 2 + 4y 2 – 6x + 10y.
1 §15.1 Euclid’s Superposition Proof and Plane Transformations. The student will learn: the basic concepts of transformations, isometries and reflections.
Conics can be formed by the intersection
Section 7.3 – The Ellipse Ellipse – a set of points in a plane whose distances from two fixed points is a constant.
1.3 The Cartesian Coordinate System
SECTION: 10-2 ELLIPSES WARM-UP
Mathematics. Session Hyperbola Session - 1 Introduction If S is the focus, ZZ´ is the directrix and P is any point on the hyperbola, then by definition.
10.1 Use Properties of Tangents
Chapter 14: CIRCLES!!! Proof Geometry.
8.1 The Rectangular Coordinate System and Circles Part 2: Circles.
Constraints. Constraints in Inventor ? Constraints Defined Constraint - The state of being restricted or confined within prescribed bounds.
Descriptive Geometry. Introduction  What is Descriptive Geometry? →It is the study of points, lines, and planes in space to determine their locations.
The Coordinate Plane. Vocabulary Words Axes - two perpendicular number lines used for locating points Origin – the intersection of the two axes Y-axis.
5-1 The Coordinate Plane Introduction. Coordinate Graph.
10.1 TANGENTS TO CIRCLES GEOMETRY. OBJECTIVES/ASSIGNMENT Identify segments and lines related to circles. Use properties of a tangent to a circle. Assignment:
Conic Sections There are 4 types of Conics which we will investigate: 1.Circles 2.Parabolas 3.Ellipses 4.Hyperbolas.
Circle – the set of all points in a plane a given distance away from a center point. A A circle is named by its center point. For example: Circle A.
10.1 Tangents to Circles. Some definitions you need Circle – set of all points in a plane that are equidistant from a given point called a center of the.
Copyright © Cengage Learning. All rights reserved. CHAPTER The Six Trigonometric Functions The Six Trigonometric Functions 1.
Sphere Def.1 Surface- Let f(x,y,z) be a polynomial of nth degree in x, y, z. Then the graph of the equation f(x,y,z)=0 defined as nth degree surface. Def.
Analytic Geometry in Three Dimensions
11.0 Analytic Geometry & Circles
CIRCLES Chapter 10.
Geometry Mrs. Padilla Spring 2012
Geometry 10.1 Tangents to Circles
10.1 Tangents to Circles.
Explorations in Circle packings
LESSON LESSON PART I ANGLE MEASURES
Analytic Geometry.
Calculus and analytic geometry
Presentation transcript:

Steiner’s Alternative: An Introduction to Inversive Geometry Asilomar - December 2005 Bruce Cohen Lowell High School, SFUSD David Sklar San Francisco State University

Where could we go from here? Four possible applications Where can’t we go from here? The Great Poncelet Theorem Basics of Inversive Geometry Inversion in a circle Lines go to circles or lines Circles go to circles or lines Angles are preserved A very brief history Plan Discovering Steiner’s Alternative Handout Statement of the theorem Sketch of the proof A step beyond the basics The Reduction of Two Circles Concepts in the proof Power, Radical Axis, Coaxial Pencil, Limit Point Completing the proof

Part I Discovering Steiner’s Alternative

Steiner’s Alternative (or Steiner’s Porism)

Porism: … a finding of conditions that render an existing theorem indeterminate or capable of many solutions. -- Steven Schwartzman, The Words of Mathematics

A Sketch of the Proof of Steiner’s Alternative Given two nonintersecting circles there exists a continuous, invertible, “circle preserving” transformation from the “plane” to itself that maps the given non-intersecting circles to concentric circles. Letting T denote such a transformation (a specially chosen “inversion in a circle”) we have

Part II Basics of Inversive Geometry

Inversion in a Circle

Lines go to Circles or Lines

Circles go to Circles or Lines

Angles are Preserved

Summary: Properties of Inversion Points inside the circle of inversion go to points outside, points outside go to points inside, points on the circle are fixed and, like reflection, the transformation is self inverse Inversion preserves the family of circles and lines. Specifically: Circles that don’t pass through the center of the circle of inversion are mapped to circles that don’t pass through the inversion center (but inversion does not send centers to centers) Circles that pass through the center of the circle of inversion are mapped to lines that don’t pass through the inversion center Lines that pass through the center of the circle of inversion are mapped to themselves (although their points are not fixed points) Lines that don’t pass through the center of the circle of inversion are mapped to circles that pass through the inversion center Inversion is an angle preserving map, like reflection, the angle between the tangent lines of two intersecting curves is the same as the angle between the tangent lines of their image curves

A Brief History of Inversive Geometry The idea of inversion is ancient, and was used by Apollonius of Perga about 200 BC. The invention of Inversive Geometry is usually credited to Jakob Steiner whose work in the 1820’s showed a deep understanding of the subject. The first explicit description of inversion as a transformation of the punctured plane was presented by Julius Plücker in The first comprehensive geometric theory is due to August F. Möbius in The first modern synthetic-axiomatic construction of the subject is due to Mario Pieri in Source: Jim Smith “Jakob Steiner’s mathematical work was confined to geometry. This he treated synthetically, to the total exclusion of analysis, which he hated, and he is said to have considered it a disgrace to synthetical geometry if equal or higher results were obtained by analytical methods.” -- Source: Wikipedia

Part III A Step Beyond the Basics

The Reduction of Two Circles Theorem The proof is (really) constructive. We will show how to find by a compass and straight-edge construction, from the given circles, two points such that inversion in a circle centered at either point sends the given circles to concentric circles. To help understand why the construction works it’s useful to introduce some interesting, and perhaps unfamiliar, concepts about circles. These concepts are power, radical axis, pencil, and limit point. Theorem Two non-intersecting circles C and D can always be transformed, by an inversion, into two concentric circles

The Power of a Point with Respect to a Circle The power of a point on the circle is zero. The power of a point A inside of the circle is negative and equal to the negative of the square of the distance from A to the point where the chord perpendicular to the radius through A intersects the circle. The power of a point A outside of the circle is positive and equal to the square of the distance from A to the point of tangency B.

The locus of points that have the same power with respect to two non-concentric circles is a line perpendicular to their line of centers. The Radical Axis of Two Non-Concentric Circles Proof Without loss of generality introduce a coordinate system with the x-axis as the line of centers, the origin at the center of one circle and the center of the other at the point (h, 0). a line perpendicular to the line of centers The locus of points that have the same power with respect to two non-concentric circles is called the Radical Axis of the two circles.

Radical Axes Examples

Constructing the Radical Axis of Two Non-intersecting Circles

Pencils of Coaxial Circles The Pencil of Circles determined by two non-concentric circles C and D is the set of all circles whose centers lie on their line of centers, and such that the radical axis of any pair of circles in the set is the same as the radical axis of C and D. Intersecting Pencil Non-Intersecting Pencil

Limit Points of Pencils of Non-intersecting Coaxial Circles

Proof of the Reduction of Two Circles Theorem Theorem Two non-intersecting circles C and D can always be transformed, by an inversion, into two concentric circles

Proof of the Reduction of Two Circles Theorem Theorem Two non-intersecting circles C and D can always be transformed, by an inversion, into two concentric circles

Proof of the Reduction of Two Circles Theorem Theorem Two non-intersecting circles C and D can always be transformed, by an inversion, into two concentric circles

Proof of the Reduction of Two Circles Theorem Theorem Two non-intersecting circles C and D can always be transformed, by an inversion, into two concentric circles

Proof of the Reduction of Two Circles Theorem Theorem Two non-intersecting circles C and D can always be transformed, by an inversion, into two concentric circles

Proof of the Reduction of Two Circles Theorem Theorem Two non-intersecting circles C and D can always be transformed, by an inversion, into two concentric circles

Proof of the Reduction of Two Circles Theorem Theorem Two non-intersecting circles C and D can always be transformed, by an inversion, into two concentric circles

Proof of the Reduction of Two Circles Theorem Theorem Two non-intersecting circles C and D can always be transformed, by an inversion, into two concentric circles

Proof of the Reduction of Two Circles Theorem Theorem Two non-intersecting circles C and D can always be transformed, by an inversion, into two concentric circles

Proof of the Reduction of Two Circles Theorem Theorem Two non-intersecting circles C and D can always be transformed, by an inversion, into two concentric circles

Proof of the Reduction of Two Circles Theorem Theorem Two non-intersecting circles C and D can always be transformed, by an inversion, into two concentric circles

Proof of the Reduction of Two Circles Theorem Theorem Two non-intersecting circles C and D can always be transformed, by an inversion, into two concentric circles

Proof of the Reduction of Two Circles Theorem Theorem Two non-intersecting circles C and D can always be transformed, by an inversion, into two concentric circles

Part IV Where Could We Go from Here?

A more quantitative development of inversive geometry including the concept of the inversive distance between two circles. This would allow the use of a quick computation to tell whether a Steiner chain is finite. An application of pencils of nonintersecting circles in the study of the three-sphere William Thomson (Lord Kelvin) used inversion to compute the effect of a point charge on a nearby conductor consisting of two intersecting planes Higher dimensional inversive geometry: Four Possibilities

From Marcel Berger’s Geometry II

Part V Where Can’t We Go from Here?

“Poncelet’s Alternative”: The Great Poncelet Theorem for Circles

Bibliography 1. M. Berger, Geometry I and Geometry II, Springer-Verlag, New York, H.S.M. Coxeter & S.L. Greitzer, Geometry Revisited, The Mathematical Association of America, Washington, D.C., J.T. Smith & E.A. Marchisotto, The Legacy of Mario Pieri in Geometry and Arithmetic, Manuscript ( for 3. I. J. Schoenberg, “On Jacobi-Bertrand’s Proof of a Theorem of Poncelet”, in Studies in Pure Mathematics to the Memory of Paul Turán (xxx edition), Hungarian Academy of Sciences, Budapest, pages S.Schwartzman, The Words of Mathematics, The Mathematical Association of America, Washington, D.C., C.S. Ogilvy, Excursions in Geometry, Dover, New York, Dover 1990

The Concentric Case

The locus of centers of circles tangent to circles C and D is an ellipse with foci at the centers of C and D such that the sum of the distance to the foci is the sum of the radii of C and D. Warm-up Problem 1 (b)