Back to Search
Start Over
Did Euclid need the Euclidean algorithm to prove unique factorization?
- Publication Year :
- 2015
- Publisher :
- HAL CCSD, 2015.
-
Abstract
- Euclid’s lemma can be derived from the algebraic gcd property, but it is not at all apparent that Euclid himself does this. We would be quite surprised if he didn’t use this property because he points it out early on and because we expect him to make use of the Euclidean algorithm in some significant way. In this paper, we explore the question of just how the algebraic gcd property enters into Euclid’s proof, if indeed it does. Central to Euclid’s development is the idea of four numbers being proportional: a is to b as c is to d. Euclid gives two different definitions of proportionality, one in Book VII for numbers (“Pythagorean proportionality”) and one in Book V for general magnitudes (“Eudoxean proportionality”). We will discover that it is essential to keep in mind the difference between these two definitions and that many authorities, possibly including Euclid himself, have fallen into the trap of believing that Eudoxean proportionality for numbers is easily seen to be the same as Pythagorean proportionality. Finally, we will suggest a way to make Euclid’s proof good after 2300 years.
- Subjects :
- Discrete mathematics
Lemma (mathematics)
General Mathematics
010102 general mathematics
Pythagorean theorem
Unique factorization domain
Proportionality (mathematics)
01 natural sciences
Algebra
Euclidean algorithm
0103 physical sciences
[MATH.MATH-HO] Mathematics [math]/History and Overview [math.HO]
010307 mathematical physics
0101 mathematics
Algebraic number
Mathematics
[MATH.MATH-NT] Mathematics [math]/Number Theory [math.NT]
Subjects
Details
- Language :
- French
- Database :
- OpenAIRE
- Accession number :
- edsair.doi.dedup.....6b7e13c09d132c4a8689c29cf57ecf14