SlideShare a Scribd company logo
Name :- karan balchandani
Std :- 10th
Subject :- maths
Topic :- euclid’s theorem
1 Euclid's proof
2 Euler's proof
3 Erdős' proof
4 Furstenberg's proof
5 Some recent proofs
5.1 Pinasco
5.2 Whang
6 Proof using the irrationality of π
Euclid's theorem is a fundamental statement in
number theory that asserts that there are infinitely
many prime numbers. There are several well-
known proofs of the theorem.
Euclid offered the following proof published in his work Elements (Book IX, Proposition 20),[1] which is paraphrased
here.
Consider any finite list of prime numbers p1, p2, ..., pn. It will be shown that at least one additional prime number
not in this list exists. Let P be the product of all the prime numbers in the list: P = p1p2...pn. Let q = P + 1. Then q is
either prime or not:
If q is prime, then there is at least one more prime than is in the list.
If q is not prime, then some prime factor p divides q. If this factor p were on our list, then it would divide P (since
P is the product of every number on the list); but p divides P + 1 = q. If p divides P and q, then p would have to divide
the difference[2] of the two numbers, which is (P + 1) − P or just 1. Since no prime number divides 1, this would be a
contradiction and so p cannot be on the list. This means that at least one more prime number exists beyond those in
the list.
This proves that for every finite list of prime numbers
there is a prime number not on the list, and therefore
there must be infinitely many prime numbers.
Euclid is often erroneously reported to have proved
this result by contradiction, beginning with the
assumption that the set initially considered contains
all prime numbers, or that it contains precisely the n
smallest primes, rather than any arbitrary finite set of
primes.[3]
Although the proof as a whole is not by
contradiction (it does not assume that only finitely
many primes exist), a proof by contradiction is within
it, which is that none of the initially considered primes
can divide the number q above.
Another proof, by the Swiss mathematician Leonhard Euler, relies on the
fundamental theorem of arithmetic: that every integer has a unique prime
factorization. If P is the set of all prime numbers, Euler wrote that:
The first equality is given by the formula for a geometric series in each term of
the product. To show the second equality, distribute the product over the sum:
in the result, every product of primes appears exactly once and so by the fundamental
theorem of arithmetic the sum is equal to the sum over all integers.
The sum on the right is the harmonic series, which diverges. Thus the product on the left
must also diverge. Since each term of the product is finite, the number of terms must be
infinite; therefore, there is an infinite number of primes.
Paul Erdős gave a third proof that relies on the fundamental theorem
of arithmetic. First note that every integer n can be uniquely written as
where r is square-free, or not divisible by any square numbers (let s2 be the largest square
number that divides n and then let r=n/s2). Now suppose that there are only finitely many
prime numbers and call the number of prime numbers k.
Fix a positive integer N and try to count the number of integers between 1 and N. Each of
these numbers can be written as rs2 where r is square-free and r and s2 are both less than
N. By the fundamental theorem of arithmetic, there are only 2k square-free numbers r (see
Combination#Number of k-combinations for all k) as each of the prime numbers factorizes r
at most once, and we must have s<√N. So the total number of integers less than N is at
most 2k√N; i.e.:
In the 1950s, Hillel Furstenberg introduced a proof
using point-set topology. See Furstenberg's proof
of the infinitude of primes.
Juan Pablo Pinasco has written the following proof.[4]
Let p1, ..., pN be the smallest N primes. Then by the inclusion–exclusion principle, the
number of positive integers less than or equal to x that are divisible by one of those
primes is
Pinasco
Euclid
Greek mathematician – “Father
of Geometry”
Developed mathematical proof
techniques that we know today
Influenced by Plato’s
enthusiasm for mathematics
On Plato’s Academy entryway:
“Let no man ignorant of
geometry enter here.”
Almost all Greek
mathematicians following
Euclid had some connection
with his school in Alexandria
Euclid’s Elements
Written in Alexandria around 300 BCE
13 books on mathematics and geometry
Axiomatic: began with 23 definitions, 5 postulates,
and 5 common notions
Built these into 465 propositions
Only the Bible has been more scrutinized over time
Nearly all propositions have stood the test of time
Preliminaries: Definitions
Basic foundations of Euclidean geometry
Euclid defines points, lines, straight lines, circles,
perpendicularity, and parallelism
Language is often not acceptable for modern
definitions
Avoided using algebra; used only geometry
Euclid never uses degree measure for angles
Preliminaries: Postulates
Self-evident truths of
Euclid’s system
Euclid only needed five
Things that can be done
with a straightedge and
compass
Postulate 5 caused some
controversy
Preliminaries: Common Notions
Not specific to geometry
Self-evident truths
Common Notion 4: “Things which coincide with one
another are equal to one another”
To accept Euclid’s Propositions, you must be satisfied
with the preliminaries
Early Propositions
Angles produced by
triangles
Proposition I.20: any two
sides of a triangle are
together greater than the
remaining one
This shows there were
some omissions in his
work
However, none of his
propositions are false
Construction of triangles
(e.g. I.1)
Early Propositions: Congruence
SAS
ASA
AAS
SSS
These hold without reference to the angles of a
triangle summing to two right angles (180˚)
Do not use the parallel postulate
Parallelism and related topics
Parallel lines produce
equal alternate angles
(I.29)
Angles of a triangle sum to
two right angles (I.32)
Area of a triangle is half
the area of a parallelogram
with same base and height
(I.41)
How to construct a square
on a line segment (I.46)
Pythagorean Theorem: Euclid’s
proof
Consider a right triangle
Want to show a2
+ b2
= c2
Pythagorean Theorem: Euclid’s
proof
Euclid’s idea was to use areas of squares in the proof.
First he constructed squares with the sides of the
triangle as bases.
Pythagorean Theorem: Euclid’s
proof
Euclid wanted to show that the areas of the smaller
squares equaled the area of the larger square.
Pythagorean Theorem: Euclid’s
proof
By I.41, a triangle with the same base and height as
one of the smaller squares will have half the area of
the square. We want to show that the two triangles
together are half the area of the large square.
Pythagorean Theorem: Euclid’s
proof
When we shear the triangle like this, the area does
not change because it has the same base and height.
Euclid also made certain to prove that the line along
which the triangle is sheared was straight; this was
the only time Euclid actually made use of the fact that
the triangle is right.
Pythagorean Theorem: Euclid’s
proof
Now we can rotate the triangle without changing it.
These two triangles are congruent by I.4 (SAS).
Pythagorean Theorem: Euclid’s
proof
We can draw a perpendicular (from A to L on
handout) by I.31
Now the side of the large square is the base of the
triangle, and the distance between the base and the
red line is the height (because the two are parallel).
Pythagorean Theorem: Euclid’s
proof
Just like before, we can do another shear without
changing the area of the triangle.
This area is half the area of the rectangle formed by
the side of the square and the red line (AL on
handout)
Pythagorean Theorem: Euclid’s
proof
Repeat these steps for the triangle that is half the area
of the other small square.
Then the areas of the two triangles together are half
the area of the large square, so the areas of the two
smaller squares add up to the area of the large square.
Therefore a2
+ b2
= c2
!!!!
Pythagorean Theorem: Euclid’s
proof
Euclid also proved the converse of the Pythagorean
Theorem; that is if two of the sides squared equaled
the remaining side squared, the triangle was right.
Interestingly, he used the theorem itself to prove its
converse!
Other proofs of the Theorem
Mathematician Proof
Chou-pei Suan-ching
(China), 3rd
c. BCE
Bhaskara (India),
12th
c. BCE
James Garfield (U.S.
president), 1881
Further issuesControversy over parallel postulate
Nobody could successfully prove it
Non-Euclidean geometry: Bolyai, Gauss, and
Lobachevski
Geometry where the sum of angles of a triangle is less
than 180 degrees
Gives you the AAA congruence
Pythagorean theorem

More Related Content

What's hot

Euclids postulates
Euclids postulatesEuclids postulates
Euclids postulates
Manthan Somvanshi
 
Euclid geometry
Euclid geometryEuclid geometry
Euclid geometry
Simran Khirbat
 
Mathematics Euclid's Geometry - My School PPT Project
Mathematics Euclid's Geometry - My School PPT ProjectMathematics Euclid's Geometry - My School PPT Project
Mathematics Euclid's Geometry - My School PPT Project
Japtyesh Singh
 
Axioms and postulates (Euclidean geometry)
Axioms and postulates (Euclidean geometry)Axioms and postulates (Euclidean geometry)
Axioms and postulates (Euclidean geometry)
abelaby
 
Euclid's geometry
Euclid's geometryEuclid's geometry
Euclid's geometry
georgerox2000
 
Euclid geometry
Euclid geometryEuclid geometry
Euclid geometry
ishu goyal
 
introduction to euclid geometry
introduction to euclid geometryintroduction to euclid geometry
introduction to euclid geometry
SHOBHIT44
 
Introduction to euclid`s geometry by Al- Muktadir hussain
Introduction to euclid`s geometry by Al- Muktadir hussainIntroduction to euclid`s geometry by Al- Muktadir hussain
Introduction to euclid`s geometry by Al- Muktadir hussain
Al Muktadir Hussain
 
Euclids five postulates
Euclids five postulatesEuclids five postulates
Euclids five postulates
Aryavarta Giri
 
Euclids geometry
Euclids geometryEuclids geometry
Euclids geometry
Snehal Bhargava
 
euclid's life and achievements
euclid's life and achievementseuclid's life and achievements
euclid's life and achievements
Imran Khan
 
Euclid's axiom
Euclid's axiomEuclid's axiom
Euclid's axiom
ishu goyal
 
Euclid geometry by aum
Euclid geometry by aumEuclid geometry by aum
Euclid geometry by aum
aum1113
 
Introduction to euclid’s geometry
Introduction to euclid’s geometryIntroduction to euclid’s geometry
Introduction to euclid’s geometry
Srihari Sanjeev
 
"Euclid" - 'The Father Of Geometry'
"Euclid" - 'The Father Of Geometry'"Euclid" - 'The Father Of Geometry'
"Euclid" - 'The Father Of Geometry'
Shivansh Khurana
 
Euclids geometry
Euclids geometryEuclids geometry
Euclids geometry
Snehal Bhargava
 
Euclids geometry
Euclids geometryEuclids geometry
Euclids geometry
Rajat Kumar
 
euclidz geometry
euclidz geometryeuclidz geometry
euclidz geometry
Kabir Gupta
 
Euclid geometry
Euclid geometryEuclid geometry
Euclid geometry
Bhargava Krishna
 
7 euclidean&non euclidean geometry
7 euclidean&non euclidean geometry7 euclidean&non euclidean geometry
7 euclidean&non euclidean geometry
pinspiration
 

What's hot (20)

Euclids postulates
Euclids postulatesEuclids postulates
Euclids postulates
 
Euclid geometry
Euclid geometryEuclid geometry
Euclid geometry
 
Mathematics Euclid's Geometry - My School PPT Project
Mathematics Euclid's Geometry - My School PPT ProjectMathematics Euclid's Geometry - My School PPT Project
Mathematics Euclid's Geometry - My School PPT Project
 
Axioms and postulates (Euclidean geometry)
Axioms and postulates (Euclidean geometry)Axioms and postulates (Euclidean geometry)
Axioms and postulates (Euclidean geometry)
 
Euclid's geometry
Euclid's geometryEuclid's geometry
Euclid's geometry
 
Euclid geometry
Euclid geometryEuclid geometry
Euclid geometry
 
introduction to euclid geometry
introduction to euclid geometryintroduction to euclid geometry
introduction to euclid geometry
 
Introduction to euclid`s geometry by Al- Muktadir hussain
Introduction to euclid`s geometry by Al- Muktadir hussainIntroduction to euclid`s geometry by Al- Muktadir hussain
Introduction to euclid`s geometry by Al- Muktadir hussain
 
Euclids five postulates
Euclids five postulatesEuclids five postulates
Euclids five postulates
 
Euclids geometry
Euclids geometryEuclids geometry
Euclids geometry
 
euclid's life and achievements
euclid's life and achievementseuclid's life and achievements
euclid's life and achievements
 
Euclid's axiom
Euclid's axiomEuclid's axiom
Euclid's axiom
 
Euclid geometry by aum
Euclid geometry by aumEuclid geometry by aum
Euclid geometry by aum
 
Introduction to euclid’s geometry
Introduction to euclid’s geometryIntroduction to euclid’s geometry
Introduction to euclid’s geometry
 
"Euclid" - 'The Father Of Geometry'
"Euclid" - 'The Father Of Geometry'"Euclid" - 'The Father Of Geometry'
"Euclid" - 'The Father Of Geometry'
 
Euclids geometry
Euclids geometryEuclids geometry
Euclids geometry
 
Euclids geometry
Euclids geometryEuclids geometry
Euclids geometry
 
euclidz geometry
euclidz geometryeuclidz geometry
euclidz geometry
 
Euclid geometry
Euclid geometryEuclid geometry
Euclid geometry
 
7 euclidean&non euclidean geometry
7 euclidean&non euclidean geometry7 euclidean&non euclidean geometry
7 euclidean&non euclidean geometry
 

Viewers also liked

Perpangkatan
PerpangkatanPerpangkatan
Perpangkatan
Fathan Hakim
 
Polynomials
PolynomialsPolynomials
Polynomials
Ansh Mittal
 
Core sub math_att_4pythagoreantheorem
Core sub math_att_4pythagoreantheoremCore sub math_att_4pythagoreantheorem
Core sub math_att_4pythagoreantheorem
Satyam Gupta
 
Mensuration - 16
Mensuration - 16Mensuration - 16
Mensuration - 16
2IIM
 
Similar triangles
Similar trianglesSimilar triangles
Similar triangles
ajayguptakvs
 
Congruent and similar triangle by ritik
Congruent and similar triangle by ritikCongruent and similar triangle by ritik
Congruent and similar triangle by ritik
dgupta330
 
Pythagorean theorem
Pythagorean theoremPythagorean theorem
Pythagorean theorem
low1mk
 
Pythagorean Theorem and its various Proofs
Pythagorean Theorem and its various ProofsPythagorean Theorem and its various Proofs
Pythagorean Theorem and its various Proofs
Samanyou Garg
 
Mensuration
MensurationMensuration
Mensuration
rajeev369
 
Surds
SurdsSurds
Similar Triangles
Similar TrianglesSimilar Triangles
Similar Triangles
Passy World
 
Polynomials(10th) Simplified
Polynomials(10th) SimplifiedPolynomials(10th) Simplified
Polynomials(10th) Simplified
Sajeel Khan
 
Similar Triangles Notes
Similar Triangles NotesSimilar Triangles Notes
Similar Triangles Notes
acavis
 
Basic Mensuration
Basic MensurationBasic Mensuration
Basic Mensuration
Karan Bora
 
surface area and volume
surface area and volumesurface area and volume
surface area and volume
abhinavaaaa
 
mensuration class 9.ppt
mensuration class 9.pptmensuration class 9.ppt
mensuration class 9.ppt
Ajay Singh
 
Polynomials And Linear Equation of Two Variables
Polynomials And Linear Equation of Two VariablesPolynomials And Linear Equation of Two Variables
Polynomials And Linear Equation of Two Variables
Ankur Patel
 
surface area and volume ppt
surface area and volume ppt surface area and volume ppt
surface area and volume ppt
shreyansmaliwal
 
Mensuration PPT - Class Project
Mensuration PPT - Class ProjectMensuration PPT - Class Project
Mensuration PPT - Class Project
Arnav Gosain
 
Statistics Math project class 10th
Statistics Math project class 10thStatistics Math project class 10th
Statistics Math project class 10th
Riya Singh
 

Viewers also liked (20)

Perpangkatan
PerpangkatanPerpangkatan
Perpangkatan
 
Polynomials
PolynomialsPolynomials
Polynomials
 
Core sub math_att_4pythagoreantheorem
Core sub math_att_4pythagoreantheoremCore sub math_att_4pythagoreantheorem
Core sub math_att_4pythagoreantheorem
 
Mensuration - 16
Mensuration - 16Mensuration - 16
Mensuration - 16
 
Similar triangles
Similar trianglesSimilar triangles
Similar triangles
 
Congruent and similar triangle by ritik
Congruent and similar triangle by ritikCongruent and similar triangle by ritik
Congruent and similar triangle by ritik
 
Pythagorean theorem
Pythagorean theoremPythagorean theorem
Pythagorean theorem
 
Pythagorean Theorem and its various Proofs
Pythagorean Theorem and its various ProofsPythagorean Theorem and its various Proofs
Pythagorean Theorem and its various Proofs
 
Mensuration
MensurationMensuration
Mensuration
 
Surds
SurdsSurds
Surds
 
Similar Triangles
Similar TrianglesSimilar Triangles
Similar Triangles
 
Polynomials(10th) Simplified
Polynomials(10th) SimplifiedPolynomials(10th) Simplified
Polynomials(10th) Simplified
 
Similar Triangles Notes
Similar Triangles NotesSimilar Triangles Notes
Similar Triangles Notes
 
Basic Mensuration
Basic MensurationBasic Mensuration
Basic Mensuration
 
surface area and volume
surface area and volumesurface area and volume
surface area and volume
 
mensuration class 9.ppt
mensuration class 9.pptmensuration class 9.ppt
mensuration class 9.ppt
 
Polynomials And Linear Equation of Two Variables
Polynomials And Linear Equation of Two VariablesPolynomials And Linear Equation of Two Variables
Polynomials And Linear Equation of Two Variables
 
surface area and volume ppt
surface area and volume ppt surface area and volume ppt
surface area and volume ppt
 
Mensuration PPT - Class Project
Mensuration PPT - Class ProjectMensuration PPT - Class Project
Mensuration PPT - Class Project
 
Statistics Math project class 10th
Statistics Math project class 10thStatistics Math project class 10th
Statistics Math project class 10th
 

Similar to Pythagorean theorem

Famous Mathematicians
Famous MathematiciansFamous Mathematicians
Famous Mathematicians
Sanketh Sanki
 
MATHEMATICAL INDUCTION.ppt
MATHEMATICAL INDUCTION.pptMATHEMATICAL INDUCTION.ppt
MATHEMATICAL INDUCTION.ppt
Marjorie Malveda
 
Euclid
EuclidEuclid
Prime numbers
Prime numbersPrime numbers
Prime numbers
Solo Hermelin
 
ANECDOTAL RECORDS.pptx
ANECDOTAL RECORDS.pptxANECDOTAL RECORDS.pptx
ANECDOTAL RECORDS.pptx
miftahuljannah185938
 
Math ppt by parikshit
Math ppt by parikshitMath ppt by parikshit
Math ppt by parikshit
Parry Shahade
 
Euclid's geometry
Euclid's geometryEuclid's geometry
Euclid's geometry
Smruti Shetty
 
Introductiontoeuclidsgeometryby 131215081330-phpapp02
Introductiontoeuclidsgeometryby 131215081330-phpapp02Introductiontoeuclidsgeometryby 131215081330-phpapp02
Introductiontoeuclidsgeometryby 131215081330-phpapp02
Shubham Ghadigaonkar
 
Maths
MathsMaths
Maths
galaxy201
 
EE5
EE5EE5
Factorials as sums
Factorials as sumsFactorials as sums
Factorials as sums
Roberto Anglani
 
Maths project
Maths projectMaths project
Maths project
Faizal Hasanwala
 
Real numbers
Real numbersReal numbers
Real numbers
Battula Pavan
 
Ijetr011954
Ijetr011954Ijetr011954
Ijetr011954
ER Publication.org
 
Problemas de Smale
Problemas de SmaleProblemas de Smale
Problemas de Smale
XequeMateShannon
 
MarkDrachMeinelThesisFinal
MarkDrachMeinelThesisFinalMarkDrachMeinelThesisFinal
MarkDrachMeinelThesisFinal
Mark Drach-Meinel
 
10.1.1.96.9176
10.1.1.96.917610.1.1.96.9176
10.1.1.96.9176
Cleo Faye Turingan
 
euclid geometry
euclid geometryeuclid geometry
euclid geometry
arivuselvi3
 
Pascal Triangle
Pascal Triangle Pascal Triangle
Pascal Triangle
Reymark Lubon
 
new report
new reportnew report
new report
Jitendra Thoury
 

Similar to Pythagorean theorem (20)

Famous Mathematicians
Famous MathematiciansFamous Mathematicians
Famous Mathematicians
 
MATHEMATICAL INDUCTION.ppt
MATHEMATICAL INDUCTION.pptMATHEMATICAL INDUCTION.ppt
MATHEMATICAL INDUCTION.ppt
 
Euclid
EuclidEuclid
Euclid
 
Prime numbers
Prime numbersPrime numbers
Prime numbers
 
ANECDOTAL RECORDS.pptx
ANECDOTAL RECORDS.pptxANECDOTAL RECORDS.pptx
ANECDOTAL RECORDS.pptx
 
Math ppt by parikshit
Math ppt by parikshitMath ppt by parikshit
Math ppt by parikshit
 
Euclid's geometry
Euclid's geometryEuclid's geometry
Euclid's geometry
 
Introductiontoeuclidsgeometryby 131215081330-phpapp02
Introductiontoeuclidsgeometryby 131215081330-phpapp02Introductiontoeuclidsgeometryby 131215081330-phpapp02
Introductiontoeuclidsgeometryby 131215081330-phpapp02
 
Maths
MathsMaths
Maths
 
EE5
EE5EE5
EE5
 
Factorials as sums
Factorials as sumsFactorials as sums
Factorials as sums
 
Maths project
Maths projectMaths project
Maths project
 
Real numbers
Real numbersReal numbers
Real numbers
 
Ijetr011954
Ijetr011954Ijetr011954
Ijetr011954
 
Problemas de Smale
Problemas de SmaleProblemas de Smale
Problemas de Smale
 
MarkDrachMeinelThesisFinal
MarkDrachMeinelThesisFinalMarkDrachMeinelThesisFinal
MarkDrachMeinelThesisFinal
 
10.1.1.96.9176
10.1.1.96.917610.1.1.96.9176
10.1.1.96.9176
 
euclid geometry
euclid geometryeuclid geometry
euclid geometry
 
Pascal Triangle
Pascal Triangle Pascal Triangle
Pascal Triangle
 
new report
new reportnew report
new report
 

More from ahirmahesh1993

Modern agriculture
Modern agricultureModern agriculture
Modern agriculture
ahirmahesh1993
 
Nano Technology
Nano TechnologyNano Technology
Nano Technology
ahirmahesh1993
 
Sri lanka
Sri lankaSri lanka
Sri lanka
ahirmahesh1993
 
World after 1945 1
World after 1945 1World after 1945 1
World after 1945 1
ahirmahesh1993
 
TATA Group
TATA GroupTATA Group
TATA Group
ahirmahesh1993
 
Tata group
Tata groupTata group
Tata group
ahirmahesh1993
 

More from ahirmahesh1993 (6)

Modern agriculture
Modern agricultureModern agriculture
Modern agriculture
 
Nano Technology
Nano TechnologyNano Technology
Nano Technology
 
Sri lanka
Sri lankaSri lanka
Sri lanka
 
World after 1945 1
World after 1945 1World after 1945 1
World after 1945 1
 
TATA Group
TATA GroupTATA Group
TATA Group
 
Tata group
Tata groupTata group
Tata group
 

Recently uploaded

SAR of Medicinal Chemistry 1st by dk.pdf
SAR of Medicinal Chemistry 1st by dk.pdfSAR of Medicinal Chemistry 1st by dk.pdf
SAR of Medicinal Chemistry 1st by dk.pdf
KrushnaDarade1
 
Micronuclei test.M.sc.zoology.fisheries.
Micronuclei test.M.sc.zoology.fisheries.Micronuclei test.M.sc.zoology.fisheries.
Micronuclei test.M.sc.zoology.fisheries.
Aditi Bajpai
 
Sharlene Leurig - Enabling Onsite Water Use with Net Zero Water
Sharlene Leurig - Enabling Onsite Water Use with Net Zero WaterSharlene Leurig - Enabling Onsite Water Use with Net Zero Water
Sharlene Leurig - Enabling Onsite Water Use with Net Zero Water
Texas Alliance of Groundwater Districts
 
ANAMOLOUS SECONDARY GROWTH IN DICOT ROOTS.pptx
ANAMOLOUS SECONDARY GROWTH IN DICOT ROOTS.pptxANAMOLOUS SECONDARY GROWTH IN DICOT ROOTS.pptx
ANAMOLOUS SECONDARY GROWTH IN DICOT ROOTS.pptx
RASHMI M G
 
Oedema_types_causes_pathophysiology.pptx
Oedema_types_causes_pathophysiology.pptxOedema_types_causes_pathophysiology.pptx
Oedema_types_causes_pathophysiology.pptx
muralinath2
 
Randomised Optimisation Algorithms in DAPHNE
Randomised Optimisation Algorithms in DAPHNERandomised Optimisation Algorithms in DAPHNE
Randomised Optimisation Algorithms in DAPHNE
University of Maribor
 
Deep Software Variability and Frictionless Reproducibility
Deep Software Variability and Frictionless ReproducibilityDeep Software Variability and Frictionless Reproducibility
Deep Software Variability and Frictionless Reproducibility
University of Rennes, INSA Rennes, Inria/IRISA, CNRS
 
20240520 Planning a Circuit Simulator in JavaScript.pptx
20240520 Planning a Circuit Simulator in JavaScript.pptx20240520 Planning a Circuit Simulator in JavaScript.pptx
20240520 Planning a Circuit Simulator in JavaScript.pptx
Sharon Liu
 
Thornton ESPP slides UK WW Network 4_6_24.pdf
Thornton ESPP slides UK WW Network 4_6_24.pdfThornton ESPP slides UK WW Network 4_6_24.pdf
Thornton ESPP slides UK WW Network 4_6_24.pdf
European Sustainable Phosphorus Platform
 
Nucleophilic Addition of carbonyl compounds.pptx
Nucleophilic Addition of carbonyl  compounds.pptxNucleophilic Addition of carbonyl  compounds.pptx
Nucleophilic Addition of carbonyl compounds.pptx
SSR02
 
The debris of the ‘last major merger’ is dynamically young
The debris of the ‘last major merger’ is dynamically youngThe debris of the ‘last major merger’ is dynamically young
The debris of the ‘last major merger’ is dynamically young
Sérgio Sacani
 
BREEDING METHODS FOR DISEASE RESISTANCE.pptx
BREEDING METHODS FOR DISEASE RESISTANCE.pptxBREEDING METHODS FOR DISEASE RESISTANCE.pptx
BREEDING METHODS FOR DISEASE RESISTANCE.pptx
RASHMI M G
 
Travis Hills' Endeavors in Minnesota: Fostering Environmental and Economic Pr...
Travis Hills' Endeavors in Minnesota: Fostering Environmental and Economic Pr...Travis Hills' Endeavors in Minnesota: Fostering Environmental and Economic Pr...
Travis Hills' Endeavors in Minnesota: Fostering Environmental and Economic Pr...
Travis Hills MN
 
The binding of cosmological structures by massless topological defects
The binding of cosmological structures by massless topological defectsThe binding of cosmological structures by massless topological defects
The binding of cosmological structures by massless topological defects
Sérgio Sacani
 
bordetella pertussis.................................ppt
bordetella pertussis.................................pptbordetella pertussis.................................ppt
bordetella pertussis.................................ppt
kejapriya1
 
Cytokines and their role in immune regulation.pptx
Cytokines and their role in immune regulation.pptxCytokines and their role in immune regulation.pptx
Cytokines and their role in immune regulation.pptx
Hitesh Sikarwar
 
Equivariant neural networks and representation theory
Equivariant neural networks and representation theoryEquivariant neural networks and representation theory
Equivariant neural networks and representation theory
Daniel Tubbenhauer
 
ESR spectroscopy in liquid food and beverages.pptx
ESR spectroscopy in liquid food and beverages.pptxESR spectroscopy in liquid food and beverages.pptx
ESR spectroscopy in liquid food and beverages.pptx
PRIYANKA PATEL
 
8.Isolation of pure cultures and preservation of cultures.pdf
8.Isolation of pure cultures and preservation of cultures.pdf8.Isolation of pure cultures and preservation of cultures.pdf
8.Isolation of pure cultures and preservation of cultures.pdf
by6843629
 
Comparing Evolved Extractive Text Summary Scores of Bidirectional Encoder Rep...
Comparing Evolved Extractive Text Summary Scores of Bidirectional Encoder Rep...Comparing Evolved Extractive Text Summary Scores of Bidirectional Encoder Rep...
Comparing Evolved Extractive Text Summary Scores of Bidirectional Encoder Rep...
University of Maribor
 

Recently uploaded (20)

SAR of Medicinal Chemistry 1st by dk.pdf
SAR of Medicinal Chemistry 1st by dk.pdfSAR of Medicinal Chemistry 1st by dk.pdf
SAR of Medicinal Chemistry 1st by dk.pdf
 
Micronuclei test.M.sc.zoology.fisheries.
Micronuclei test.M.sc.zoology.fisheries.Micronuclei test.M.sc.zoology.fisheries.
Micronuclei test.M.sc.zoology.fisheries.
 
Sharlene Leurig - Enabling Onsite Water Use with Net Zero Water
Sharlene Leurig - Enabling Onsite Water Use with Net Zero WaterSharlene Leurig - Enabling Onsite Water Use with Net Zero Water
Sharlene Leurig - Enabling Onsite Water Use with Net Zero Water
 
ANAMOLOUS SECONDARY GROWTH IN DICOT ROOTS.pptx
ANAMOLOUS SECONDARY GROWTH IN DICOT ROOTS.pptxANAMOLOUS SECONDARY GROWTH IN DICOT ROOTS.pptx
ANAMOLOUS SECONDARY GROWTH IN DICOT ROOTS.pptx
 
Oedema_types_causes_pathophysiology.pptx
Oedema_types_causes_pathophysiology.pptxOedema_types_causes_pathophysiology.pptx
Oedema_types_causes_pathophysiology.pptx
 
Randomised Optimisation Algorithms in DAPHNE
Randomised Optimisation Algorithms in DAPHNERandomised Optimisation Algorithms in DAPHNE
Randomised Optimisation Algorithms in DAPHNE
 
Deep Software Variability and Frictionless Reproducibility
Deep Software Variability and Frictionless ReproducibilityDeep Software Variability and Frictionless Reproducibility
Deep Software Variability and Frictionless Reproducibility
 
20240520 Planning a Circuit Simulator in JavaScript.pptx
20240520 Planning a Circuit Simulator in JavaScript.pptx20240520 Planning a Circuit Simulator in JavaScript.pptx
20240520 Planning a Circuit Simulator in JavaScript.pptx
 
Thornton ESPP slides UK WW Network 4_6_24.pdf
Thornton ESPP slides UK WW Network 4_6_24.pdfThornton ESPP slides UK WW Network 4_6_24.pdf
Thornton ESPP slides UK WW Network 4_6_24.pdf
 
Nucleophilic Addition of carbonyl compounds.pptx
Nucleophilic Addition of carbonyl  compounds.pptxNucleophilic Addition of carbonyl  compounds.pptx
Nucleophilic Addition of carbonyl compounds.pptx
 
The debris of the ‘last major merger’ is dynamically young
The debris of the ‘last major merger’ is dynamically youngThe debris of the ‘last major merger’ is dynamically young
The debris of the ‘last major merger’ is dynamically young
 
BREEDING METHODS FOR DISEASE RESISTANCE.pptx
BREEDING METHODS FOR DISEASE RESISTANCE.pptxBREEDING METHODS FOR DISEASE RESISTANCE.pptx
BREEDING METHODS FOR DISEASE RESISTANCE.pptx
 
Travis Hills' Endeavors in Minnesota: Fostering Environmental and Economic Pr...
Travis Hills' Endeavors in Minnesota: Fostering Environmental and Economic Pr...Travis Hills' Endeavors in Minnesota: Fostering Environmental and Economic Pr...
Travis Hills' Endeavors in Minnesota: Fostering Environmental and Economic Pr...
 
The binding of cosmological structures by massless topological defects
The binding of cosmological structures by massless topological defectsThe binding of cosmological structures by massless topological defects
The binding of cosmological structures by massless topological defects
 
bordetella pertussis.................................ppt
bordetella pertussis.................................pptbordetella pertussis.................................ppt
bordetella pertussis.................................ppt
 
Cytokines and their role in immune regulation.pptx
Cytokines and their role in immune regulation.pptxCytokines and their role in immune regulation.pptx
Cytokines and their role in immune regulation.pptx
 
Equivariant neural networks and representation theory
Equivariant neural networks and representation theoryEquivariant neural networks and representation theory
Equivariant neural networks and representation theory
 
ESR spectroscopy in liquid food and beverages.pptx
ESR spectroscopy in liquid food and beverages.pptxESR spectroscopy in liquid food and beverages.pptx
ESR spectroscopy in liquid food and beverages.pptx
 
8.Isolation of pure cultures and preservation of cultures.pdf
8.Isolation of pure cultures and preservation of cultures.pdf8.Isolation of pure cultures and preservation of cultures.pdf
8.Isolation of pure cultures and preservation of cultures.pdf
 
Comparing Evolved Extractive Text Summary Scores of Bidirectional Encoder Rep...
Comparing Evolved Extractive Text Summary Scores of Bidirectional Encoder Rep...Comparing Evolved Extractive Text Summary Scores of Bidirectional Encoder Rep...
Comparing Evolved Extractive Text Summary Scores of Bidirectional Encoder Rep...
 

Pythagorean theorem

  • 1. Name :- karan balchandani Std :- 10th Subject :- maths Topic :- euclid’s theorem
  • 2. 1 Euclid's proof 2 Euler's proof 3 Erdős' proof 4 Furstenberg's proof 5 Some recent proofs 5.1 Pinasco 5.2 Whang 6 Proof using the irrationality of π
  • 3. Euclid's theorem is a fundamental statement in number theory that asserts that there are infinitely many prime numbers. There are several well- known proofs of the theorem.
  • 4. Euclid offered the following proof published in his work Elements (Book IX, Proposition 20),[1] which is paraphrased here. Consider any finite list of prime numbers p1, p2, ..., pn. It will be shown that at least one additional prime number not in this list exists. Let P be the product of all the prime numbers in the list: P = p1p2...pn. Let q = P + 1. Then q is either prime or not: If q is prime, then there is at least one more prime than is in the list. If q is not prime, then some prime factor p divides q. If this factor p were on our list, then it would divide P (since P is the product of every number on the list); but p divides P + 1 = q. If p divides P and q, then p would have to divide the difference[2] of the two numbers, which is (P + 1) − P or just 1. Since no prime number divides 1, this would be a contradiction and so p cannot be on the list. This means that at least one more prime number exists beyond those in the list.
  • 5. This proves that for every finite list of prime numbers there is a prime number not on the list, and therefore there must be infinitely many prime numbers. Euclid is often erroneously reported to have proved this result by contradiction, beginning with the assumption that the set initially considered contains all prime numbers, or that it contains precisely the n smallest primes, rather than any arbitrary finite set of primes.[3] Although the proof as a whole is not by contradiction (it does not assume that only finitely many primes exist), a proof by contradiction is within it, which is that none of the initially considered primes can divide the number q above.
  • 6. Another proof, by the Swiss mathematician Leonhard Euler, relies on the fundamental theorem of arithmetic: that every integer has a unique prime factorization. If P is the set of all prime numbers, Euler wrote that: The first equality is given by the formula for a geometric series in each term of the product. To show the second equality, distribute the product over the sum: in the result, every product of primes appears exactly once and so by the fundamental theorem of arithmetic the sum is equal to the sum over all integers. The sum on the right is the harmonic series, which diverges. Thus the product on the left must also diverge. Since each term of the product is finite, the number of terms must be infinite; therefore, there is an infinite number of primes.
  • 7. Paul Erdős gave a third proof that relies on the fundamental theorem of arithmetic. First note that every integer n can be uniquely written as where r is square-free, or not divisible by any square numbers (let s2 be the largest square number that divides n and then let r=n/s2). Now suppose that there are only finitely many prime numbers and call the number of prime numbers k. Fix a positive integer N and try to count the number of integers between 1 and N. Each of these numbers can be written as rs2 where r is square-free and r and s2 are both less than N. By the fundamental theorem of arithmetic, there are only 2k square-free numbers r (see Combination#Number of k-combinations for all k) as each of the prime numbers factorizes r at most once, and we must have s<√N. So the total number of integers less than N is at most 2k√N; i.e.:
  • 8. In the 1950s, Hillel Furstenberg introduced a proof using point-set topology. See Furstenberg's proof of the infinitude of primes.
  • 9. Juan Pablo Pinasco has written the following proof.[4] Let p1, ..., pN be the smallest N primes. Then by the inclusion–exclusion principle, the number of positive integers less than or equal to x that are divisible by one of those primes is Pinasco
  • 10.
  • 11. Euclid Greek mathematician – “Father of Geometry” Developed mathematical proof techniques that we know today Influenced by Plato’s enthusiasm for mathematics On Plato’s Academy entryway: “Let no man ignorant of geometry enter here.” Almost all Greek mathematicians following Euclid had some connection with his school in Alexandria
  • 12. Euclid’s Elements Written in Alexandria around 300 BCE 13 books on mathematics and geometry Axiomatic: began with 23 definitions, 5 postulates, and 5 common notions Built these into 465 propositions Only the Bible has been more scrutinized over time Nearly all propositions have stood the test of time
  • 13. Preliminaries: Definitions Basic foundations of Euclidean geometry Euclid defines points, lines, straight lines, circles, perpendicularity, and parallelism Language is often not acceptable for modern definitions Avoided using algebra; used only geometry Euclid never uses degree measure for angles
  • 14. Preliminaries: Postulates Self-evident truths of Euclid’s system Euclid only needed five Things that can be done with a straightedge and compass Postulate 5 caused some controversy
  • 15. Preliminaries: Common Notions Not specific to geometry Self-evident truths Common Notion 4: “Things which coincide with one another are equal to one another” To accept Euclid’s Propositions, you must be satisfied with the preliminaries
  • 16. Early Propositions Angles produced by triangles Proposition I.20: any two sides of a triangle are together greater than the remaining one This shows there were some omissions in his work However, none of his propositions are false Construction of triangles (e.g. I.1)
  • 17. Early Propositions: Congruence SAS ASA AAS SSS These hold without reference to the angles of a triangle summing to two right angles (180˚) Do not use the parallel postulate
  • 18. Parallelism and related topics Parallel lines produce equal alternate angles (I.29) Angles of a triangle sum to two right angles (I.32) Area of a triangle is half the area of a parallelogram with same base and height (I.41) How to construct a square on a line segment (I.46)
  • 19. Pythagorean Theorem: Euclid’s proof Consider a right triangle Want to show a2 + b2 = c2
  • 20. Pythagorean Theorem: Euclid’s proof Euclid’s idea was to use areas of squares in the proof. First he constructed squares with the sides of the triangle as bases.
  • 21. Pythagorean Theorem: Euclid’s proof Euclid wanted to show that the areas of the smaller squares equaled the area of the larger square.
  • 22. Pythagorean Theorem: Euclid’s proof By I.41, a triangle with the same base and height as one of the smaller squares will have half the area of the square. We want to show that the two triangles together are half the area of the large square.
  • 23. Pythagorean Theorem: Euclid’s proof When we shear the triangle like this, the area does not change because it has the same base and height. Euclid also made certain to prove that the line along which the triangle is sheared was straight; this was the only time Euclid actually made use of the fact that the triangle is right.
  • 24. Pythagorean Theorem: Euclid’s proof Now we can rotate the triangle without changing it. These two triangles are congruent by I.4 (SAS).
  • 25. Pythagorean Theorem: Euclid’s proof We can draw a perpendicular (from A to L on handout) by I.31 Now the side of the large square is the base of the triangle, and the distance between the base and the red line is the height (because the two are parallel).
  • 26. Pythagorean Theorem: Euclid’s proof Just like before, we can do another shear without changing the area of the triangle. This area is half the area of the rectangle formed by the side of the square and the red line (AL on handout)
  • 27. Pythagorean Theorem: Euclid’s proof Repeat these steps for the triangle that is half the area of the other small square. Then the areas of the two triangles together are half the area of the large square, so the areas of the two smaller squares add up to the area of the large square. Therefore a2 + b2 = c2 !!!!
  • 28. Pythagorean Theorem: Euclid’s proof Euclid also proved the converse of the Pythagorean Theorem; that is if two of the sides squared equaled the remaining side squared, the triangle was right. Interestingly, he used the theorem itself to prove its converse!
  • 29. Other proofs of the Theorem Mathematician Proof Chou-pei Suan-ching (China), 3rd c. BCE Bhaskara (India), 12th c. BCE James Garfield (U.S. president), 1881
  • 30. Further issuesControversy over parallel postulate Nobody could successfully prove it Non-Euclidean geometry: Bolyai, Gauss, and Lobachevski Geometry where the sum of angles of a triangle is less than 180 degrees Gives you the AAA congruence