Why Did Lagrange "Prove" the Parallel Postulate?

نویسنده

  • Judith V. Grabiner
چکیده

1. INTRODUCTION. We begin with an often-told story from the Budget of Paradoxes by Augustus de Morgan: " Lagrange, in one of the later years of his life, imagined " that he had solved the problem of proving Euclid's parallel postulate. " He went so far as to write a paper, which he took with him to the [Institut de France], and began to read it. " But, De Morgan continues, " something struck him which he had not observed: he muttered 'Il faut que j'y songe encore' [I've got to think about this some more] and put the paper in his pocket " [8, p. 288]. Is De Morgan's story true? Not quite in that form. But, as Bernard Cohen used to say, " Truth is more interesting than fiction. " First, according to the published minutes of the Institut for 3 February 1806, " M. Delagrange read an analysis of the theory of parallels " [25, p. 314; italics added]. Those present are listed in the minutes: Lacroix, Furthermore: Lagrange did not throw his manuscript away. It survives in the library of the Institut de France [32]. There is a title page that says, in what looks to me like Lagrange's handwriting, " On the theory of parallels: memoir read in 1806, " together with the signatures of yet more distinguished people: Prony and Poisson, along with Legendre and Lacroix. The first page of text says, again in Lagrange's handwriting, that it was " read at the Institut in the meeting of 3 February 1806. " It is true that Lagrange never did publish it, so he must have realized there was something wrong. In another version of the story, told by Jean-Baptiste Biot, who claims to have been there (though the minutes do not list his name), everybody there could see that something was wrong, so Lagrange's talk was followed by a moment of complete silence [2, p. 84]. Still, Lagrange kept the manuscript with his papers for posterity to read. This episode raises the three questions I will address in this article. First, what did Lagrange actually say in this paper? Second, once we have seen how he " proved " the parallel postulate, why did he do it the way he did? And last, above all, why did Joseph-Louis Lagrange, the consummate analyst, creator of the Analytical Mechanics , of Lagrange's theorem in group theory …

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

3-RPS Parallel Manipulator Dynamical Modelling and Control Based on SMC and FL Methods

In this paper, a dynamical model-based SMC (Sliding Mode Control) is proposed fortrajectory tracking of a 3-RPS (Revolute, Prismatic, Spherical) parallel manipulator. With ignoring smallinertial effects of all legs and joints compared with those of the end-effector of 3-RPS, the dynamical model ofthe manipulator is developed based on Lagrange method. By removing the unknown Lagrange multipliers...

متن کامل

Design and Dynamic Modeling of Planar Parallel Micro-Positioning Platform Mechanism with Flexible Links Based on Euler Bernoulli Beam Theory

This paper presents the dynamic modeling and design of micro motion compliant parallel mechanism with flexible intermediate links and rigid moving platform. Modeling of mechanism is described with closed kinematic loops and the dynamic equations are derived using Lagrange multipliers and Kane’s methods. Euler-Bernoulli beam theory is considered for modeling the intermediate flexible link. Based...

متن کامل

Approximation of a generalized Euler-Lagrange type additive mapping on Lie $C^{ast}$-algebras

Using fixed point method, we prove some new stability results for Lie $(alpha,beta,gamma)$-derivations and Lie $C^{ast}$-algebra homomorphisms on Lie $C^{ast}$-algebras associated with the Euler-Lagrange type additive functional equation begin{align*} sum^{n}_{j=1}f{bigg(-r_{j}x_{j}+sum_{1leq i leq n, ineq j}r_{i}x_{i}bigg)}+2sum^{n}_{i=1}r_{i}f(x_{i})=nf{bigg(sum^{n}_{i=1}r_{i}x_{i}bigg)} end{...

متن کامل

Constructive Geometry and the Parallel Postulate

Euclidean geometry, as presented by Euclid, consists of straightedge-andcompass constructions and rigorous reasoning about the results of those constructions. We show that Euclidean geometry can be developed using only intuitionistic logic. This involves finding “uniform” constructions where normally a case distinction is used. For example, in finding a perpendicular to line L through point p, ...

متن کامل

A computer application in mathematics

Geometry is the second field of mathematics. It is the extension of number theory. There is no exact period for the origin of classical geometry. Euclid was the first mathematician who compiled Elements which contains propositions and constructions. In Elements, Euclid assumed five postulates. Euclid could not prove the parallel postulate. After Euclid almost allmathematicians attempted to dedu...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • The American Mathematical Monthly

دوره 116  شماره 

صفحات  -

تاریخ انتشار 2009