[color=bb0033][color=#000000][b][url=http://aleph0.clarku.edu/~djoyce/elements/bookI/post1.html]Postulate 1[/url].[/b][/color][br][/color][color=#980000]To draw a straight line from any point to any point.[/color][br][color=bb0033][color=#000000][b][url=http://aleph0.clarku.edu/~djoyce/elements/bookI/post2.html]Postulate 2[/url].[/b][/color][br][/color][color=#980000]To produce a finite straight line continuously in a straight line.[/color][br][color=bb0033][color=#000000][b][url=http://aleph0.clarku.edu/~djoyce/elements/bookI/post3.html]Postulate 3[/url].[/b][/color][br][/color][color=#980000]To describe a circle with any center and radius.[/color][br][b][url=http://aleph0.clarku.edu/~djoyce/elements/bookI/post4.html]Postulate 4[/url].[/b][br][color=#1e84cc]That all right angles equal one another.[/color][br][b][color=bb0033][color=#000000][url=http://aleph0.clarku.edu/~djoyce/elements/bookI/post5.html]Postulate 5[/url].[/color][/color][/b][color=bb0033][br][color=#980000]That, if a straight line falling on two straight lines makes the interior angles on the same side[br] less than two right angles, the two straight lines, if produced indefinitely, meet on that side on[br] which are the angles less than the two right angles.[/color][/color][br]
[color=#a61c00]Vytvořit úsečku, která spojuje dva dané body.[/color]
[color=#cc0000][color=#a61c00]Danou úsečku na jedné i druhé straně prodloužit tak daleko, jak potřebujeme.[/color][br][/color]
[color=#a61c00]Vytvořit kruh o daném středu, na jehož obvodě leží daný bod.[/color]
[color=#1e84cc]Všechny pravé úhly sobě rovny jsou.[/color][br][br][i]Pozn.: P.Vopěnka řadí tento postulát mezi axiomy.[/i]
[b]Servítova formulace:[/b][br][color=#1e84cc]Nechť úsečka [i]u[/i] protíná úsečky [i]p,q[/i] tak, že na jedné straně úsečky [i]u[/i] je součet vnitřních úhlů [/color][math]\alpha[/math][color=#1e84cc],[/color][math]\beta[/math][color=#1e84cc], které svírají úsečky [i]p,q[/i] s úsečkou [i]u[/i], menší než dva pravé úhly. Potom na této straně jest prodloužit úsečky [i]p,q[/i] tak, aby se tato jejich prodloužení protla.[/color][br][br][b]Formulace pro účely výuky:[/b][br][color=#1e84cc]Jestliže úsečka protíná dvě úsečky tak, že na jedné straně je součet vnitřních přilehlých úhlů menší než dva pravé úhly, pak lze na této straně úsečky prodloužit tak, aby se tato jejich prodloužení protla.[/color]
První tři postuláty (vyznačené červeně) jsou vlastně návody na KONSTRUKCE. [url=https://cs.wikipedia.org/wiki/Eukleidovsk%C3%A1_konstrukce]Eukleidovskou konstrukcí[/url] rozumíme takovou konstrukci, jejíž jednotlivé kroky jsou prováděny výhradně dle postulátů 1-3.
[b]5. postulát[/b] bývá často nahrazován tzv. [url=https://en.wikipedia.org/wiki/Playfair's_axiom][b]Playfairovým[/b][/url][b] axiomem[/b]:[br][br][b]Playfairův axiom verze a) (slabší verze):[/b][br]Daným bodem neležícím na dané přímce lze vést [b]nejvýše jednu[/b] rovnoběžku. Toto tvrzení lze vyvodit (s použitím prvních 4 postulátů) z 5. postulátu. Naopak - vezmeme-li první čtyři postuláty a tuto slabší verzi Playfairova axiomu, lze odtud vyvodit 5. postulát. [br][br]Sloučí-li se tato slabší verze s tvrzením [b]I.31 [/b](které je [b]nezávislé na 5.postulátu[/b] a říká: Daným bodem neležícím na dané přímce lze vést [b]aspoň jednu[/b] rovnoběžku.), dostáváme silnější verzi:[br][br][b]Playfairův axiom verze b) (silnější verze):[/b][br][color=#1e84cc]Daným bodem neležícím na dané přímce lze vést [b]právě jednu[/b] rovnoběžku.[/color][color=#1e84cc][color=rgb(102, 102, 102)][br][color=#666666]Toto je formulace [color=#1e84cc][color=rgb(102, 102, 102)][color=#666666]známá[/color][/color][/color] ze SŠ učebnic.[br][br]Vezmeme-li pouze soustavu prvních čtyř axiomů (vynecháme 5. axiom), dostáváme tzv. [url=https://en.wikipedia.org/wiki/Absolute_geometry][b]absolutní[/b][/url] ([b]neutrální[/b]) [b]geometrii.[/b][br][br]5. postulát je ekvivalentní s [b]Playfairovým axiomem[/b] v tom smyslu, že obě soustavy:[br][/color][/color][/color][list][*]první 4 postuláty (absolutní geometrie) + [b]5. postulát[/b][/*][*]první 4 postuláty (absolutní geometrie) + [color=#1e84cc][color=rgb(102, 102, 102)][color=#666666][b]Playfairův axiom[/b][/color][/color][/color] [br][/*][/list]vytvářejí [b]tutéž soustavu tvrzení a důsledků (Eukleidovskou geometrii).[br][/b](Pozor, [url=https://en.wikipedia.org/wiki/Parallel_postulate]5. postulát[/url] není ale s [color=#1e84cc][color=rgb(102, 102, 102)][color=#666666]Playfairovým axiomem [/color][/color][/color]ekvivalentní [b]logicky[/b] - existují geometrie, ve kterých jeden je platný a druhý není)[br][br][b]Podrobnosti[/b]: Robin Hartshorne - Geometry- Euclid and Beyond ([url=http://www.math.unam.mx/javier/Hartshorne.pdf]PDF[/url]) - str.37- 40
Ve smyslu uvedeném v poznámce 2 jsou s 5.postulátem vedle Playfairova axiomu ekvivalentní také mnohá další tvrzení, např.:[br][list][*]Tvrzení I.32 - [b]Věta o součtu úhlů v trojúhelníku[/b] (2. část)[/*][*]Každému trojúhelníku lze opsat kružnici[/*][*]Existuje čtyřúhelník, jeho všechny vnitřní úhly jsou pravé.[/*][*]Tvrzení I.47[b] [/b]- [b]Pythagorova věta[/b][br][/*][/list]