DOCSLIB.ORG

Three-Dimensional Halfspace Constructive Solid Geometry Tree Construction from Implicit Boundary Representations

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Three-Dimensional Halfspace Constructive Solid Geometry Tree Construction from Implicit Boundary Representations Three-Dimensional Halfspace Constructive Solid Geometry Tree Construction from Implicit Boundary Representations Suzanne F. Buchele Richard H. Crawford Southwestern University The University of Texas at Austin Georgetown, Texas Austin, Texas [email protected] [email protected] ABSTRACT General Terms This paper presents a new method to compute construc- Algorithms, Design tive solid geometry (CSG) tree representations of an object whose faces consist of planar and non-planar surfaces. The Keywords algorithm described accepts as input a valid boundary rep- resentation of an object consisting of piecewise implicit sur- Representation conversion, reverse engineering, geometric faces, and computes a halfspace CSG representation of the and topological representations, product and assembly mod- object. A class of objects that are describable by the sur- eling faces bounding them are valid input for the algorithm of this work, although methods currently exist to compute the 1. INTRODUCTION AND MOTIVATION additional information necessary to process non-describable There are two primary focuses for the conversion of bound- quadric objects as well. This work builds on and comple- ary representations (b-reps) to halfspace Constructive Solid ments the other work in this area, in which dominating half- Geometry (CSG) tree representations, namely the represen- spaces are used to simplify the b-rep to CSG conversion pro- tation of 3-D solids in CAD systems, and reverse engineering cess. We include factored faces to enable the factorization of of 3-D solids. dominating halfspaces throughout the algorithm. Thus, an CAD systems typically use a combination of object rep- efficient disjoint decomposition of the solid is obtained as a resentation techniques, including boundary representations matter of course in the algorithm, so that CSG minimization (b-reps), in which objects' boundaries and other neighbor- is generally not necessary. hood and orientation information is stored, and CSG rep- This work is motivated by reverse engineering of mechan- resentations, in which a tree representation is stored using ical parts, in which a model of a part is recovered from in- solid primitives and Boolean operations [12]. Hybrid CAD formation obtained by some sort of sensing technique (e.g. systems, in which some combination of representations are CAT scanning, laser range finding). The recovery of a valid used in tandem or conjunction with each other in a single CSG-tree description of an object from a boundary repre- CAD system is the norm for current CAD modelers. To sentation of it can provide useful information to an engineer facilitate the most efficient and flexible computations in a in the area of reverse engineering and in other areas related CAD system, the conversion between representations may to solid modeling as well. The CSG tree also provides a rela- be useful. Algorithms are well-known for the CSG to b-rep tively neutral representation that can enhance form feature conversion process, primarily to facilitate rendering of solid recognition and translation. models by the CAD systems. The problem of b-rep to CSG conversion has historically been considered too difficult for general purpose implementation, although fundamental re- search and development of a general purpose b-rep to CSG Categories and Subject Descriptors algorithm has been presented [14, 15, 16, 21]. I.3.5 [Computer Graphics]: Computational Geometry Reverse engineering of mechanical parts is the general pro- and Object Modeling|boundary representations; curve, cess of recovering a model of a physical mechanical object surface, solid, and object representations; J.6 [Computer from information obtained by some sort of sensing tech- Aided Engineering]: [computer-aided design] nique. These sensing techniques include, but are not limited to, CAT and MRI scans, laser rangefinder scans, stereo- scopic sensing, and contact sensing devices. Reverse engi- neering may be needed when parts do not conform to their associated model, or when an original CAD model of the Permission to make digital or hard copies of all or part of this work for part does not exist. Most current advances in reverse en- personal or classroom use is granted without fee provided that copies are gineering of mechanical parts have focused on recovering a not made or distributed for profit or commercial advantage and that copies boundary representation (b-rep) of an object. Recovered bear this notice and the full citation on the first page. To copy otherwise, to boundary representations of these surfaces can vary from republish, to post on servers or to redistribute to lists, requires prior specific a triangulation of points to piecewise parametric surfaces permission and/or a fee. SM'03, June 16–20, 2003, Seattle, Washington, USA. (common representations include parametric spline surfaces Copyright 2003 ACM 1-58113-706-0/03/0006 ...$5.00. and NURBS surfaces) to piecewise algebraic surfaces [5]. For reverse engineering, a boundary representation may fail to g : 3 ! separates 3 into two pieces. Bounded solid sufficiently recover the original geometry of the object due CSG representations operate on a predefined set of canoni- to the varying range of types of surfaces fit, the orientation cal solid primitives which are also regular sets. of surface patches, and inherent limitations in parametric representations. The extraction of a CSG representation of 3. PREVIOUS WORK a solid may be considered a \user friendly" form for the ge- In 2-D, the problem of b-rep to CSG conversion is consid- ometric data in the field of reverse engineering. It is easier ered solved for cases with modest and realistic limitations than a boundary representation of the object for an engineer ([11, 20, 15, 14]). In 3-D, early or limited attempts to obtain to parameterize and manipulate, and could be entered into CSG-type information from b-reps of an object were done CSG, b-rep, and hybrid modeling CAD systems through a by Lin and Chen [9], Woo [22] and Tang and Woo [18, 19], CSG user interface. and Menon and Kim [10] Shapiro and Vossler present a solution to b-rep to half- 2. DEFINITIONS space CSG conversion for 3-D solids [14, 16, 21], in which 3 A halfspace of is a set of the form = f(x; y; z) : they solve the general problem of converting from a bound- 3 g(x; y; z) ≥ 0g for some function g : ! . When the ary representation (b-rep) of a solid to a halfspace CSG function g is restricted to be a plane, then the halfspace as- representation of it, for solids defined as regular subsets of sociated with g is a halfplane. In this work we consider only 3 bounded by quadric surfaces. Central to Shapiro and halfspaces that are non-empty, regular, pathwise connected Vossler's work is the idea of a canonical intersection term. 3 sets in , such that the regularized complement halfspace In 3 (or d for d ≥ 1), a collection of n sets (or, specifi- ∗ , is also a non-empty pathwise connected set (and is reg- cally, halfspaces) partition 3 into 2n subsets (some possibly ular by definition). We refer to the surface associated with empty). We can represent these 2n subsets, or, cells, as in- a halfspace = f(x; y; z) : g(x; y; z) ≥ 0g defined by some tersections of the n halfspaces and their complements. function g, as S = bd( ) = f(x; y; z) : g(x; y; z) = 0g, and Also central to Shapiro and Vossler's work is their De- 3 we call the set S the surface of . We say the surface scribability Theorem ([15, 14, 16, 21]). A set Γ ⊆ is S = f(x; y; z) : g(x; y; z) = 0g defined by the function g describable by halfspaces Ψ = f 1; : : : ; N g if there exists a induces the two halfspaces = f(x; y; z) : g(x; y; z) ≥ 0g (halfspace) CSG expression for Γ containing only halfspaces ∗ and = f(x; y; z) : g(x; y; z) ≤ 0g. Buchele [6] points out in Ψ. Shapiro and Vossler's Describibility Theorem is as fol- that non-degenerate quadric surfaces of a single sheet (ellip- lows: given a set Ψ = f 1; :::; N g of halfspaces such that ∗ ∗ soids, hyperboloids of one sheet, cones, hyperbolic and ellip- bd(Γ) ⊂ S 1 [ · · · [ S N , solid Γ is (halfspace) describable tic paraboloids, and elliptic, hyperbolic, and parabolic cylin- by Ψ iff for each canonical intersection term, all points in the ders) induce two non-empty regular, pathwise connected canonical intersection term have the same point membership sets. classification with respect to Γ. Shapiro and Vossler also use We define a solid to be a regular subset of 3 . The bound- the concept of separating halfspaces. A separating halfspace ary of the solid Γ is denoted bd(Γ). We define the natural is defined as a halfspace that is necessary in the (halfspace) surfaces of a solid Γ to be the minimal set of surfaces ¡ such CSG representation of a solid but is not a natural halfspace that bd(Γ) ⊆ ¡ . A face F of a solid Γ is a subset of a natural of it. Not all solids can be represented as a halfspace CSG surface S of the solid such that F is a maximally connected tree in which leaves consist only of natural halfspaces of the component of bd(Γ). If we denote ¢ to be the set of all faces solid. Shapiro and Vossler [16, 21] present an algorithm to of a solid Γ, then we can define the boundary representation, compute any necessary separating halfspaces to represent or b-rep, of Γ as the union of all faces of the solid Γ, that is, the solid when the solid is not describable by its natural ¢ bd(Γ) = £ F for faces F 2 . halfspaces alone The surfaces used in the definition of the boundary, faces, Shapiro and Vossler point out that dominating halfspaces and b-rep of a solid are typically defined either paramet- can simplify the CSG representation of a solid if factored out rically or implicitly.
Load more

Recommended publications
  • Geometry Around Us an Introduction to Non-Euclidean Geometry
    Geometry Around Us An Introduction to Non-Euclidean Geometry Gaurish Korpal (gaurish4math.wordpress.com) National Institute of Science Education and Research, Bhubaneswar 23 April 2016 Science Day Celebration Gaurish Korpal(gaurish4math.wordpress.com) (NISER) Geometry Around Us 23 April 2016 1 / 15 Theorem In any triangle, trisector lines intersect at three points, that are vertices of an equilateral triangle. A. Bogomolny, Morley's Theorem: Proof by R. J. Webster, Interactive Mathematics Miscellany and Puzzle, http://www.cut-the-knot.org/triangle/Morley/Webster.shtml Morley's Miracle Frank Morley (USA) discovered a theorem about triangle in 1899, approximately 2000 years after first theorems about triangle were published by Euclid. Euclid (Egypt) is referred as father of Plane Geometry, often called Euclidean Geometry. Science Day Celebration Gaurish Korpal(gaurish4math.wordpress.com) (NISER) Geometry Around Us 23 April 2016 2 / 15 Morley's Miracle Frank Morley (USA) discovered a theorem about triangle in 1899, approximately 2000 years after first theorems about triangle were published by Euclid. Euclid (Egypt) is referred as father of Plane Geometry, often called Euclidean Geometry. Theorem In any triangle, trisector lines intersect at three points, that are vertices of an equilateral triangle. A. Bogomolny, Morley's Theorem: Proof by R. J. Webster, Interactive Mathematics Miscellany and Puzzle, http://www.cut-the-knot.org/triangle/Morley/Webster.shtml Science Day Celebration Gaurish Korpal(gaurish4math.wordpress.com) (NISER) Geometry Around Us 23 April 2016 2 / 15 Morley's original proof was (published in 1924) stemmed from his results on algebraic curves tangent to a given number of lines. It arose from the consideration of cardioids [(x 2 + y 2 − a2)2 = 4a2((x − a)2 + y 2)].
    [Show full text]
  • Analytic Geometry
    STATISTIC ANALYTIC GEOMETRY SESSION 3 STATISTIC SESSION 3 Session 3 Analytic Geometry Geometry is all about shapes and their properties. If you like playing with objects, or like drawing, then geometry is for you! Geometry can be divided into: Plane Geometry is about flat shapes like lines, circles and triangles ... shapes that can be drawn on a piece of paper Solid Geometry is about three dimensional objects like cubes, prisms, cylinders and spheres Point, Line, Plane and Solid A Point has no dimensions, only position A Line is one-dimensional A Plane is two dimensional (2D) A Solid is three-dimensional (3D) Plane Geometry Plane Geometry is all about shapes on a flat surface (like on an endless piece of paper). 2D Shapes Activity: Sorting Shapes Triangles Right Angled Triangles Interactive Triangles Quadrilaterals (Rhombus, Parallelogram, etc) Rectangle, Rhombus, Square, Parallelogram, Trapezoid and Kite Interactive Quadrilaterals Shapes Freeplay Perimeter Area Area of Plane Shapes Area Calculation Tool Area of Polygon by Drawing Activity: Garden Area General Drawing Tool Polygons A Polygon is a 2-dimensional shape made of straight lines. Triangles and Rectangles are polygons. Here are some more: Pentagon Pentagra m Hexagon Properties of Regular Polygons Diagonals of Polygons Interactive Polygons The Circle Circle Pi Circle Sector and Segment Circle Area by Sectors Annulus Activity: Dropping a Coin onto a Grid Circle Theorems (Advanced Topic) Symbols There are many special symbols used in Geometry. Here is a short reference for you:
    [Show full text]
  • Constructive Solid Geometry Concepts
    3-1 Chapter 3 Constructive Solid Geometry Concepts Understand Constructive Solid Geometry Concepts Create a Binary Tree Understand the Basic Boolean Operations Use the SOLIDWORKS CommandManager User Interface Setup GRID and SNAP Intervals Understand the Importance of Order of Features Use the Different Extrusion Options 3-2 Parametric Modeling with SOLIDWORKS Certified SOLIDWORKS Associate Exam Objectives Coverage Sketch Entities – Lines, Rectangles, Circles, Arcs, Ellipses, Centerlines Objectives: Creating Sketch Entities. Rectangle Command ................................................3-10 Boss and Cut Features – Extrudes, Revolves, Sweeps, Lofts Objectives: Creating Basic Swept Features. Base Feature .............................................................3-9 Reverse Direction Option ........................................3-16 Hole Wizard ..............................................................3-20 Dimensions Objectives: Applying and Editing Smart Dimensions. Reposition Smart Dimension ..................................3-11 Feature Conditions – Start and End Objectives: Controlling Feature Start and End Conditions. Reference Guide Reference Extruded Cut, Up to Next .......................................3-25 Associate Certified Constructive Solid Geometry Concepts 3-3 Introduction In the 1980s, one of the main advancements in solid modeling was the development of the Constructive Solid Geometry (CSG) method. CSG describes the solid model as combinations of basic three-dimensional shapes (primitive solids). The
    [Show full text]
  • Analytical Solid Geometry
    chap-03 B.V.Ramana August 30, 2006 10:22 Chapter 3 Analytical Solid Geometry 3.1 INTRODUCTION Rectangular Cartesian Coordinates In 1637, Rene Descartes* represented geometrical The position (location) of a point in space can be figures (configurations) by equations and vice versa. determined in terms of its perpendicular distances Analytical Geometry involves algebraic or analytic (known as rectangular cartesian coordinates or sim- methods in geometry. Analytical geometry in three ply rectangular coordinates) from three mutually dimensions also known as Analytical solid** geom- perpendicular planes (known as coordinate planes). etry or solid analytical geometry, studies geometrical The lines of intersection of these three coordinate objects in space involving three dimensions, which planes are known as coordinate axes and their point is an extension of coordinate geometry in plane (two of intersection the origin. dimensions). The three axes called x-axis, y-axis and z-axis are marked positive on one side of the origin. The pos- itive sides of axes OX, OY, OZ form a right handed system. The coordinate planes divide entire space into eight parts called octants. Thus a point P with coordinates x,y,z is denoted as P (x,y,z). Here x,y,z are respectively the perpendicular distances of P from the YZ, ZX and XY planes. Note that a line perpendicular to a plane is perpendicular to every line in the plane. Distance between two points P1(x1,y1,z1) and − 2+ − 2+ − 2 P2(x2,y2,z2)is (x2 x1) (y2 y1) (z2 z1) . 2 + 2 + 2 Distance from origin O(0, 0, 0) is x2 y2 z2.
    [Show full text]
  • Historical Introduction to Geometry
    i A HISTORICAL INTRODUCTION TO ELEMENTARY GEOMETRY Geometry is an word derived from ancient Greek meaning “earth measure” ( ge = earth or land ) + ( metria = measure ) . Euclid wrote the Elements of geometry between 330 and 320 B.C. It was a compilation of the major theorems on plane and solid geometry presented in an axiomatic style. Near the beginning of the first of the thirteen books of the Elements, Euclid enumerated five fundamental assumptions called postulates or axioms which he used to prove many related propositions or theorems on the geometry of two and three dimensions. POSTULATE 1. Any two points can be joined by a straight line. POSTULATE 2. Any straight line segment can be extended indefinitely in a straight line. POSTULATE 3. Given any straight line segment, a circle can be drawn having the segment as radius and one endpoint as center. POSTULATE 4. All right angles are congruent. POSTULATE 5. (Parallel postulate) If two lines intersect a third in such a way that the sum of the inner angles on one side is less than two right angles, then the two lines inevitably must intersect each other on that side if extended far enough. The circle described in postulate 3 is tacitly unique. Postulates 3 and 5 hold only for plane geometry; in three dimensions, postulate 3 defines a sphere. Postulate 5 leads to the same geometry as the following statement, known as Playfair's axiom, which also holds only in the plane: Through a point not on a given straight line, one and only one line can be drawn that never meets the given line.
    [Show full text]
  • 1 Paper Rom the Problem of Solid Geometry (Klaus Volkert, University
    Paper Rom The problem of solid geometry (Klaus Volkert, University of Cologne and Archives Henri Poincaré Nancy) Some history In Euclid’s “Elements” solid geometry is studied in books XI to XIII. Here Euclid gives a systematic treatment of geometry in space focussing on polyhedra. He discusses basic notions like “being parallel” and “being orthogonal”, gives some simple constructions (like the perpendicular from a point to a plane), discusses the problem of creating a vertex and gives some hints on volume using equidecomposability (in modern terms). Book XIII is devoted to the construction of the five Platonic solids and the proof that there are no more regular polyhedra. Certainly there were some gaps in Euclid’s treatment but not much work was done on solid geometry until the times of Kepler. In particular there was no conceptual analysis of solids – that is a decomposition of them into units of lower dimensions: they were constructed but not analyzed. Euler (1750) was very surprised than he noticed that he was the first to do so. In his “Harmonice mundi” Kepler formulated the theory of Archimedean solids, a more or less new class of semi-regular polyhedra. Picturing polyhedra was a favourite occupation of artists since the introduction of perspective but without a theoretical interest. In Euclid’s “Elements” there is a strict separation between plane geometry (books I to IV, VI) and solid geometry (books XI to XIII) [of course the results of plane geometry are used also in solid geometry and there are also results of plane geometry in the books dedicated to stereometry – in particular on the regular pentagon] which marked the development afterwards.
    [Show full text]
  • Tilted Planes and Curvature in Three-Dimensional Space: Explorations of Partial Derivatives
    Tilted Planes and Curvature in Three-Dimensional Space: Explorations of Partial Derivatives By Andrew Grossfield, Ph. D., P. E. Abstract Many engineering students encounter and algebraically manipulate partial derivatives in their fluids, thermodynamics or electromagnetic wave theory courses. However it is possible that unless these students were properly introduced to these symbols, they may lack the insight that could be obtained from a geometric or visual approach to the equations that contain these symbols. We accept the approach that just as the direction of a curve at a point in two-dimensional space is described by the slope of the straight line tangent to the curve at that point, the orientation of a surface at a point in 3-dimensional space is determined by the orientation of the plane tangent to the surface at that point. A straight line has only one direction described by the same slope everywhere along its length; a tilted plane has the same orientation everywhere but has many slopes at each point. In fact the slope in almost every direction leading away from a point is different. How do we conceive of these differing slopes and how can they be evaluated? We are led to conclude that the derivative of a multivariable function is the gradient vector, and that it is wrong and misleading to define the gradient in terms of some kind of limiting process. This approach circumvents the need for all the unnecessary delta-epsilon arguments about obvious results, while providing visual insight into properties of multi-variable derivatives and differentials. This paper provides the visual connection displaying the remarkably simple and beautiful relationships between the gradient, the directional derivatives and the partial derivatives.
    [Show full text]
  • SOLID GEOMETRY CAMBRIDGE UNIVERSITY PRESS Eon^On: FETTER LANE, E.G
    QA UC-NRLF 457 ^B 557 i35 ^ Ml I 9^^ soLiTf (itlOMK'l'RV BY C. GODFREY, HEAD M STER CF THE ROY I ^1 f i ! i-ORMERI.Y ; EN ;R MAI :: \: i^;. ; \MNCHEST1-R C(.1J,E(;E an:; \\\ A. SIDDON , MA :^1AN r MASTER .AT ..\:--:: : ', l-ELLi)V* i OF JESL'S COI.' E, CAMf. ^'ambridge : at tlie 'Jniversity Press 191 1 IN MEMORIAM FLORIAN CAJORI Q^^/ff^y^-^ SOLID GEOMETRY CAMBRIDGE UNIVERSITY PRESS Eon^on: FETTER LANE, E.G. C. F. CLAY, Manager (fFtjinfturgi) : loo, PRINCES STREET iSerlin: A. ASHER AND CO. ILjipjig: F. A. BROCKHAUS ^tia lork: G. P. PUTNAM'S SONS iSombas anU Calcutta: MACMILLAN AND CO., Ltd. A /I rights resei'ved SOLID GEOMETRY BY C. GODFREY, M.V.O. ; M.A. w HEAD MASTER OF THE ROYAL NAVAL COLLEGE, OSBORNE FORMERLY SENIOR MATHEMATICAL MASTER AT WINCHESTER COLLEGE AND A. W. SIDDONS, M.A. ASSISTANT MASTER AT HARROW SCHOOL LATE FELLOW OF JESUS COLLEGE, CAMBRIDGE Cambridge : at the University Press 191 1 Camfariljge: PRINTED BY JOHN CLAY, M.A. AT THE UNIVERSITY PRESS. CAJORl PREFACE "It is a great defect in most school courses of geometry " that they are entirely confined to two dimensions. Even *' if solid geometry in the usual sense is not attempted, every ''occasion should be taken to liberate boys' minds from "what becomes the tyranny of paper But beyond this "it should be possible, if the earlier stages of the plane "geometry work are rapidly and effectively dealt with as "here suggested, to find time for a short course of solid " geometry.
    [Show full text]
  • (T) — ABCD a Sphere (Q) Whose Center Is the Monge P
    ON THE THEORY OF THE TETRAHEDRON N. A. COURT I. DEFINITION. We associate with the general tetrahedron (T) — ABCD a sphere (Q) whose center is the Monge point M of (T) and the square of whose radius is (a) q2 = (MO2 - R2)/3, where O and R are the center and the radius of the circumsphere (0) of (T). In what follows, a number of propositions regarding the sphere (<2) will be established and it will be shown that from the properties of (Q) may be derived, as special cases, properties of the polar sphere (H) of the orthocentric tetrahedron (Th). For want of a better name we shall refer to (Q) as the "quasi-polar" sphere of the general tetrahedron (T). The expression M02 — R2 is the power of the Monge point M of (T) for the sphere (O). THEOREM 1. The square of the radius of the quasi-polar sphere of the general tetrahedron is equal to one-third of the power of the Monge point of the tetrahedron f or its circumsphere. The sphere (Q) is real, a point sphere, or imaginary according as MO is greater than, equal to, or smaller than R. Moreover, we have MO<2R, for the mid-point of MO is the centroid G of (T), and G necessarily lies within the sphere (0). COROLLARY. In an orthocentric tetrahedron (Th) the Monge point coincides with the orthocenter H, and the above properties of (Q) are valid for the polar sphere (H) of (Th).1 The Monge point M of (T) is a center of similitude of the circum* sphere (0) and the twelve point sphere (L) of (T)2 hence M is the center of a sphere of antisimilitude of (0) and (L), that is, a sphere with respect to which the spheres (O) and (L) are inverse of one an­ other.
    [Show full text]
  • Solid Geometry Introduction
    Copyright © 2009 Altair Engineering, Inc. Proprietary and Confidential. All rights reserved. Solid Geometry Introduction Creating and Editing Solid Geometry Copyright © 2009 Altair Engineering, Inc. Proprietary and Confidential. All rights reserved. Solid Geometry: What is it? A solid is: • A geometric entity that define a 3-dimensional volume • Same as solids used in most CAD programs Used in functions where defining a volume is required •Hexameshing (3D : solid map :volume sub-panel) •Tetrameshing(3D : tetramesh : volume tetra sub-panel) Especially helpful when dividing a part into multiple volumes • A part can be divided into multiple, connected solids • The connection between adjacent solids (topology) can maintain the connectivity of mesh • Aids visualization when dividing a part into simple, mappable regions (used in hexa meshing) Copyright © 2009 Altair Engineering, Inc. Proprietary and Confidential. All rights reserved. Solid Geometry: 3D Topology Example: 2 connected solids in topology display Solid faces Edges • Selectable as surfaces • Selectable as lines • Bounding Faces • Shared Edges • Green • Green • Belong to 1 solid • Belong to 2 adjacent faces of 1 solid • Partition Faces •Yellow • Non-manifold Edges • Shared between connected solids • Yellow • Belong to: • A partition face - OR - • 2 solid faces Fixed Points and 1+ surfaces • Selectable as points • Lie at the ends of edges Copyright © 2009 Altair Engineering, Inc. Proprietary and Confidential. All rights reserved. Solid Geometry: Tools for Creating Solids Import • Pull-down
    [Show full text]
  • Euclid of Alexandria the Writer of the Elements
    Euclid of Alexandria The Writer of the Elements OLLI Summer 2014 1 BIO • Little is known of Euclid's life. According to Proclus (410-485 A.D.) in his Commentary on the First Book of Euclid's Elements , he came after the first pupils of Plato and lived during the reign of Ptolemy I (306-283 B.C.). Pappus of Alexandria (fl. c. 320 A.D.) in his Collection states that Apollonius of Perga (262-190 B.C.) studied for a long while in that city under the pupils of Euclid. Thus it is generally accepted that Euclid flourished at Alexandria in around 300 B.C. and established a mathematical school there. 2 Ptolemy I (323 – 285 BC) • Upon the death of Alexander the Great in 323 BC, the throne of Egypt fell to Ptolemy one of Alexander’s trusted commanders • It is said that Ptolemy once asked Euclid if there was in geometry any shorter way than that of the Elements. Euclid replied that there was no royal road to geometry. • From the time of Archimedes onwards, the Greeks referred to Euclid as the writer of the Elements instead of using his name. 3 Euclid’s Elements (300 BC) The greatest mathematical textbook of all time • Book I. The fundamentals of geometry: theories of triangles, parallels, and area. • Book II. Geometric algebra. • Book III. Theory of circles. • Book IV. Constructions for inscribed and circumscribed figures. • Book V. Theory of abstract proportions. • Book VI. Similar figures and proportions in geometry. • Book VII. Fundamentals of number theory. • Book VIII. Continued proportions in number theory.
    [Show full text]
  • Treatise on Conic Sections
    OF CALIFORNIA LIBRARY OF THE UNIVERSITY OF CALIFORNIA fY OF CALIFORNIA LIBRARY OF THE UNIVERSITY OF CALIFORNIA 9se ? uNliEHSITY OF CUIFORHU LIBRARY OF THE UNIVERSITY OF CUIfORHlA UNIVERSITY OF CALIFORNIA LIBRARY OF THE UNIVERSITY OF CALIFORNIA APOLLONIUS OF PERGA TREATISE ON CONIC SECTIONS. UonDon: C. J. CLAY AND SONS, CAMBRIDGE UNIVERSITY PRESS WAREHOUSE, AVE RIARIA LANE. ©Inaooh): 263, ARGYLE STREET. lLftp>is: P. A. BROCKHAUS. 0fto goTit: MACMILLAN AND CO. ^CNIVERSITT• adjViaMai/u Jniuppus 9lnlMus%^craticus,naufmato cum ejcctus aa UtJ ammaScrudh Geainetncn fJimmta defer,pta, cxcUnwimJIe cnim veiiigia video. coMXiXcs ita Jiatur^hcnc fperemus,Hominnm APOLLONIUS OF PEEGA TEEATISE ON CONIC SECTIONS EDITED IN MODERN NOTATION WITH INTRODUCTIONS INCLUDING AN ESSAY ON THE EARLIER HISTORY OF THE SUBJECT RV T. L. HEATH, M.A. SOMETIME FELLOW OF TRINITY COLLEGE, CAMBRIDGE. ^\€$ .•(', oh > , ' . Proclub. /\b1 txfartl PRINTED BY J. AND C. F. CLAY, AT THE UNIVERSITY PRESS. MANIBUS EDMUNDI HALLEY D. D. D. '" UNIVERSITT^ PREFACE. TT is not too much to say that, to the great majority of -*- mathematicians at the present time, Apollonius is nothing more than a name and his Conies, for all practical purposes, a book unknown. Yet this book, written some twenty-one centuries ago, contains, in the words of Chasles, " the most interesting properties of the conies," to say nothing of such brilliant investigations as those in which, by purely geometrical means, the author arrives at what amounts to the complete determination of the evolute of any conic. The general neglect of the " great geometer," as he was called by his contemporaries on account of this very work, is all the more remarkable from the contrast which it affords to the fate of his predecessor Euclid ; for, whereas in this country at least the Elements of Euclid are still, both as regards their contents and their order, the accepted basis of elementary geometry, the influence of Apollonius upon modern text-books on conic sections is, so far as form and method are concerned, practically nil.
    [Show full text]