Unsolvable Equation 1

Similar documents
The Cubic formula and beyond?"

MthEd/Math 300 Williams Fall 2011 Midterm Exam 2

The Mathematics of Renaissance Europe

Galois theory - Wikipedia, the free encyclopedia

Section V.9. Radical Extensions

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers

ARNOLD S ELEMENTARY PROOF OF THE INSOLVABILITY OF THE QUINTIC

GENERAL REDUCIBILITY AND SOLVABILITY OF POLYNOMIAL EQUATIONS

MthEd/Math 300 Williams Fall 2011 Midterm Exam 3

Complex Numbers: A Brief Introduction. By: Neal Dempsey. History of Mathematics. Prof. Jennifer McCarthy. July 16, 2010

Èvariste Galois and the resolution of equations by radicals

SYMMETRY AND THE MONSTER The Classification of Finite Simple Groups

9. Mathematics in the sixteenth century

What is proof? Lesson 1

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Solutions

CHAPTER 1. Introduction

Jennifer Duong Daniel Szara October 9, 2009

CHAPTER 5. Fields. 47 Historical Introduction

We will work with two important rules for radicals. We will write them for square roots but they work for any root (cube root, fourth root, etc.).

Manipulating Radicals

Cambridge University Press How to Prove it: A Structured Approach: Second edition Daniel J. Velleman Excerpt More information

Symbolic Analytic Geometry and the Origins of Symbolic Algebra

Four Mathema,cians Who Shaped Our Understanding of Calculus

Linear Algebra Fall mathx.kaist.ac.kr/~schoi/teaching.html.

Egyptian Fractions: Part I

Greece In 700 BC, Greece consisted of a collection of independent city-states covering a large area including modern day Greece, Turkey, and a multitu

Paul Writes About Faith Romans 3:21-5:5

SCIENTIFIC REVOLUTION

The Value of Imaginary Numbers. Most of us are familiar with the numbers that exist on a one-dimensional scale called the number line, as

Algebra and Geometry in the Sixteenth and Seventeenth Centuries

Peter And John Visit Jesus Tomb John 20:1-10

Scientific Revolution

O1 History of Mathematics Lecture IX Classical algebra: equation solving 1800BC AD1800. Monday 6th November 2017 (Week 5)

Junior Villafana. Math 301. Dr. Meredith. Odd Perfect Numbers

Introduction to Complex Numbers Complex Numbers

Math Number 842 Professor R. Roybal MATH History of Mathematics 24th October, Project 1 - Proofs

THE INTRODUCTION OF COMPLEX NUMBERS*

Cantor and Infinite Sets

MATH10040: Chapter 0 Mathematics, Logic and Reasoning


O1 History of Mathematics Lecture X The 19th-century beginnings of modern algebra. Monday 7th November 2016 (Week 5)

A Brief History of Algebra

O1 History of Mathematics Lecture VIII Establishing rigorous thinking in analysis. Monday 31st October 2016 (Week 4)

O1 History of Mathematics Lecture VIII Establishing rigorous thinking in analysis. Monday 30th October 2017 (Week 4)

Complex Analysis: A Round-Up

Chapter 6, Factoring from Beginning and Intermediate Algebra by Tyler Wallace is available under a Creative Commons Attribution 3.0 Unported license.

CHAPTER 1. REVIEW: NUMBERS

Making Sense. Tom Carter. tom/sfi-csss. April 2, 2009

Paul Writes To Philemon Philemon 1:1-25

The poetry of mathematics

THE RISE OF MODERN SCIENCE CHAPTER 20, SECTION 2

CHAPTER 1: Functions

What do you think are the qualities of a good theorem? it solves an open problem (Name one..? )

Lecture 6.6: The fundamental theorem of Galois theory

Math-2 Lesson 2-4. Radicals

Algebra SEMESTER ONE. K12.com { Pg. 1 } Course Overview. Unit 1: Algebra Basics. Unit 2: Properties of Real Numbers

Leibniz and the Discovery of Calculus. The introduction of calculus to the world in the seventeenth century is often associated

Scientific Revolution

Direct Proofs. the product of two consecutive integers plus the larger of the two integers

Name Class Date. Ptolemy alchemy Scientific Revolution

All you wanted to know about solving cubic equations but were afraid to ask

Stories from the Development Of Real Analysis

EUCLID S AXIOMS A-1 A-2 A-3 A-4 A-5 CN-1 CN-2 CN-3 CN-4 CN-5

WHAT THIS BOOK IS ABOUT

Imprisoned For the Truth

Math 38: Graph Theory Spring 2004 Dartmouth College. On Writing Proofs. 1 Introduction. 2 Finding A Solution

Grade 8 Chapter 7: Rational and Irrational Numbers

Egyptian Fractions: Part I

Looking at Scripture with New Eyes: A Chance Conversation Between Faith and Science

Mathematical Statements

Provide Computational Solutions to Power Engineering Problems SAMPLE. Learner Guide. Version 3

MATHE 4800C FOUNDATIONS OF ALGEBRA AND GEOMETRY CLASS NOTES FALL 2011

Chapter 11: Galois theory

MthEd/Math 300 Williams Winter 2012 Review for Midterm Exam 2 PART 1

(1.3.1) and in English one says a is an element of M. The statement that a is not an element of M is written as a M

Latin squares. Clock arithmetic. Modular arithmetic. Binary operations 18/09/2013. Members only an introduction to groups

I m Not Dead, I m Different

Conceptual Mathematics,

Chapter 1A -- Real Numbers. iff. Math Symbols: Sets of Numbers

Galois theory and the Abel-Ruffini theorem

Some prehistory of Lagrange s Theorem in group theory:

Limits of Computation. Antonina Kolokolova

Chapter 3.4: Complex Zeros of Polynomials

2.1 Convergence of Sequences

SYLOW THEOREM APPLICATION EXAMPLES

Final Exam Extra Credit Opportunity

Numbers. The aim of this lesson is to enable you to: describe and use the number system. use positive and negative numbers

On the Solution to Octic Equations

The Shunammite Woman s Land Restored 2 Kings 8:1-6

Groups. s t or s t or even st rather than f(s,t).

Elementary Analysis on Ramanujan s Nested Radicals

GALOIS THEORY FOR PHYSICISTS

The logical structure of relativity theory

The philosopher and the mathematician Pierre Cassou-Noguès

Isaac Newton: Development of the Calculus and a Recalculation of π

Deepening Mathematics Instruction for Secondary Teachers: Algebraic Structures

Basic methods to solve equations

The Garden Of Gethsemane Luke 22:39-53

There Is Therefore Now No Condemnation Romans 8:1-12

Appendix: a brief history of numbers

Transcription:

Unsolvable Equation 1

Algebra after Cardano s Ars Magna At the end of his magnum opus, Cardano wrote Written in five years, may it last many thousands Bombelli s Algebra, written 15 years later, contained the first attempt to discuss complex numbers systematically by introducing imaginary numbers (multiples of i) and writing complex numbers as, for example, 2 p di m 3 (2 più di meno 3). Nowadays: 2+3i He gave many examples: 1000/(2+11i) 2

Analysis of Cardano s formula in Bombelli What happens if you multiply these two identities? If you cube one of them? Can you guess a and b? 3

From here Bombelli makes a guess: a=2, b=2 and 4

! Another equation! Can you guess a and b? And what is x? 5

The Analytic Art of François Viète Mathematicians of the Renaissance believed that Ancient Greeks had two approaches to mathematics: synthetic mathematics (e.g. Euclid begins with axioms and shows how they can be synthesized to yield more theorems analytic mathematics (mathematician works backwards from the desired result to find a way to arrive at it) Viète (1540-1603) was convinced that ancients discovered their theorems via (hidden and lost) analytic art. After working backwards and discovering the necessary steps to arrive at the result, they would turn around and lay out these steps. A good analogy here is to compare analysis with scaffolding from which a perfected architecture of synthetic proof is constructed. One can admire synthetic proofs but to learn how to prove anything new, one needs to learn analytic art! 6

Viéte believed that ancients used algebra as their analytic art. Now a wide consensus is that ancients of course used a lot of empirical thinking and working backwards to derive their results. They would later hide these preliminary analysis behind the facade of rigorous synthetic proofs. But they did not use algebra. Nowadays, we still use three steps outlined by Viète (without using these funny names) both in pure and applied math: zetetic analysis: transforming a problem into equations linking unknown and known quantities poristic analysis: exploring the truth of various statements about equations using logic and symbolic manipulations exegetic analysis: find values for unknowns in equations 7

Apart from this philosophy (later much expanded by Descartes, Newton, and others). perhaps the most important important contribution of Viète was introduction of variable coefficients, like in modern notation (essentially finalized by Descartes) 8

Girard s (1595-1632) identities 9

Newton s (1642-1727) identities 10

Despite all advances, no progress was made on solving a quintic: given a general equation as above, is there a formula for x in terms of coefficients and radicals (roots of various degrees?) In fact mathematicians were becoming increasingly convinced that this equation is not solvable in radicals Paolo Ruffini has attempted to prove this in 1798 but the proof was incomprehensible and likely incomplete. 11

Niels Henrik Abel (1802-1829)

Born on August 5, 1802, the son of a pastor and parliament member in the small Norwegian town of Finnø. Father died an alcoholic when Abel was 18, leaving behind nine children (Abel was second oldest) and a widow who also turned to alcohol for solace Abel was shy, melancholy, and depressed by poverty and apparent failure Completely self-taught, Abel entered University of Christiania in 1822 Norway separated from Denmark when Abel was 12, but remained under Swedish control. Only 11,000 inhabitants in Christiania at the time

1823: Abel incorrectly believes that he has solved the general equation of the fifth degree After finding an error, proves that such a solution is impossible To save printing costs, paper is published in a pamphlet at his own cost, with the result in summary form 1824: This result together with a paper on the integration of algebraic expressions (now known as Abelian integrals) led to him being awarded a stipend for study trip abroad Abel hoped trip would allow him to marry fiancee who remained in Norway as governess (Christine Kemp)

Abel travels to Berlin, where he stays from September 1825 to February 1826 Encouraged and mentored by the August Leopold Crelle, a promoter of science. Crelle founds Journal für die reine und angewandte Mathematik (also known as Crelle s Journal), the premiere German mathematical journal, and the very first volume includes several works by Abel Impossibility of solving the quintic equation by radicals Binomial series (contribution to the foundation of analysis) One of the results is Abel s Theorem on Continuity in complex analysis, which clarified and corrected some foundational results of Cauchy

In July 1826 went to Paris where remained until the end of the year Isolated in Paris s more elegant and traditional society; impossible to approach the great men of the Académie, e.g. Cauchy. Writes Though I am in the most boisterous and lively place in the continent, I feel as though I am in a desert. I know almost nobody. Presented his Memoire sur une classe très étendue de fonctions transcendentes which contains Abel s Theorem on integrals of algebraic functions. Viewed by many as Abel s crowning achievement Increasing financial worries toward the end of 1826

1827: Back in Norway, Abel cannot find work In a letter begging friend for a loan, writes I am as poor as a churchmouse Yours, destroyed.! Christmas 1828: holiday with his fiancee in the country, only socks to warm his hands Violent illness (tuberculosis); died on April 6, 1829

But I would not like to part from this ideal type of researcher, such as has seldom appeared in the history of mathematics, without evoking a figure from another sphere who, in spite of his totally different field, still seems related. < > I c o m p a r e h i s k i n d o f productivity and his personality with Mozart's. Thus one might erect a monument to this divinely inspired mathematician like the one to Mozart in Vienna: simple and unassuming he stands there listening, while graceful angels float about, playfully bringing him inspiration from another world.

Instead, I must mention the very different type of memorial that was in fact erected to Abel in Christiania and which must greatly disappoint anyone familiar with his nature. On a towering, steep block of granite a youthful athlete of the Byronic type steps over two greyish sacrificial victims, his direction toward the heavens. If needed be, one might take the hero to be a symbol of the human spirit, but one ponders the deeper significance of the two monsters in vain. Are they the conquered quintic equations or elliptic functions? Or the sorrows and cares of his everyday life? The pedestal of the monument bears, in immense letters, the inscription ABEL. - Felix Klein 19

Abel s argument Uses reductio ad absurdum - assumes a formula for a solution exists and derives a contradiction Shows that a solution can be expressed in the special form!! Shows that all algebraic functions appearing in this formula can be expressed as rational functions of the solutions Shows that ay rational function of five quantities can take only 1, 2, or 5 or more values when quantities are permuted (but not 3 or 4) From here he shows by careful analysis that any hypothetical formula can not give all five solutions to the equation 20