create account

Euclidean and non-euclidean geometry by romualdd

View this thread on: hive.blogpeakd.comecency.com
· @romualdd · (edited)
$8.22
Euclidean and non-euclidean geometry
<div class="text-justify">

# Parallel postulate

The keynote for this text — the parallel postulate, called the Euclid's fifth postulate:

<blockquote>If a line segment intersects two straight lines forming two interior angles on the same side that sum to less than two right angles, then the two lines, if extended indefinitely, meet on that side on which the angles sum to less than two right angles. </blockquote>


<div class"pull-right">https://cdn.steemitimages.com/DQmdMoFBFziTbivawmiJTPZYRTPtDKt1X1L4NnE7hatanZ4/obraz.png</div>


How to define a straight line parallel to the other straight line? When the two straight lines are parallel? A trivial thing, right? Not completely. Mathematicians have been thinking about this problem for over 2,000 years. It is basically nothing new, that the most elementary things are the most difficult to define in a clear way. So it was this time. The problem was whether the parallel postulate is result from the previous postulates put forward by Euclid (about 300 BC) and extended by Archimedes, or is it an independent postulate? If the first case occurs, the parallel postulate can be omitted without harming the theory. If there is a second case — it has to be clearly defined. In both cases, clear proof should be provided. The solution to this problem appeared in the nineteenth century, however, in the mathematical world from the seventeenth, there was a passionate discussion.


There are moments characterized by such a huge attention in a field, that the same thought is formulated by several people simultaneously and independently of each other. Newton and Leibniz are considered fathers of differential and integral calculus (small digression: this is a big mistake. Mathematicians have long been interested in the problem of finding a tangent to a given curve - the basic task of differential calculus and finding a field covered by a given curve - the basic task of integral calculus. Newton and Leibniz found a connection between these two issues and introduced a uniform method to mathematics). Let's move on. Fermat and Descartes independently discovered analytical geometry. Dimension theory was formulated by Menger and Urysohn.

https://steemitimages.com/DQmYpRtjvavRBAeoYaapNwtpTEDNm6BmvmuJePtVuyyv87X/math-1777917_1920.jpg

# Non-Euclidean geometry

Euclid's critics began to appear strongly in the 17th and 18th centuries: Italian mathematician G. Saccheri, Swiss mathematician J. H. Lambert and Frenchman A. M. Legendre. Their contribution consisted mainly in the confrontation with tradition of Euclidean geometry, they did not formulate a new geometry. They consistently developed a geometry called absolute geometry, Euclid's geometry, devoid of the postulate of parallelism. Mathematics had to wait until the nineteenth century for a brave step that formulated the Bolivian-Lobaczewski's non-Euclidean geometry — from the names of the creators. The Hungarian mathematician Janos Bolyai (1802 — 1860) and the Russian mathematician Mikołaj Iwanowicz Łobaczewski (1793 — 1856) decided that they would formulate a geometry in which the postulate of parallelism is denied. It is also worth mentioning here that the German mathematician Carl Friedrich Gauss (1777 — 1855) came to these results much earlier, but he never published them for fear of criticizing ideas so different from those commonly accepted. Gauss lost the priority of discovering non-Euclidean geometry for Łobaczewskiego and Bolyai. Gauss's misgivings, however, were right. The work of Russian and Hungarian mathematicians was widely recognized as scientific pathologies and even referred to as satire directed against mathematics. It did not last long, however — as often happens — appreciation in the scientific world came after the death of the creators. Felix Klein in 1871 formulated the basic idea of ​​the noncontradiction of Bolyai-Łobaczewski's geometry, in 1899 David Hilbert carried out a full proof of the consistency of Euclid's geometry, in 1903 in a similar manner proves the noncontradiction of Bolyai-Lobaczewski's geometry. From this point, both geometries are equally correct in terms of logic.


# Gauss's experiment
Bolyai-Łobaczewski's geometry implies a number of new, seemingly absurd, claims — for example, the sum of internal angles in a triangle can be less than 180 degrees. Carl Friedrich Gauss decided to check it out.

https://steemitimages.com/0x0/https://steemitimages.com/DQmTSys8eUz1uFjKDDW1eBe2hxSBytsYuegnY5YqZWjLkSm/landscape-1622739_1920.jpg

He went to the mountains with measuring instruments. He measured the angles in the triangle, which consists of three distant mountain peaks. The result was unambiguous. The sum of the internal angles came almost exactly 180 degrees (within the limits of the error of the instruments). So did this experiment again bury the non-Euclidean geometry that began to germinate? Nothing similar. The Euclidian geometry is in a sense the borderline case of Bolyai-Lobaczewski's geometry. It is obvious that the irrationality in mathematics implies huge limits e.g. in metrology. It is clear that the circumstances in which we do measurements are not perfect. Thus, a problem arises, for which we have no influence — we can not distinguish between a borderline case and its approximation. Even in very close proximity.

For small distances (e.g. several-dozen kilometers) deviations in the hyperbolic geometry are so small that they are within the limits of measurement error. So Gaussian experience have been not revealing. For small figures, both geometries give the same results. However, if we did experiments on relatively large distances (several dozen-several hundred million kilometers — for example to describe the universe), it would turn out that Euclid's geometry fails. This whole story is analogous to the classical mechanics of Newton and the relativistic mechanics of Einstein. Both approaches are convergent for small distances and speeds. However, if the values grow to huge numbers ​​— we have significant differences.

<hr>

Graphics and photos:
[1] generated in Texmaker
[[2]](https://pixabay.com/pl/matematyka-sze%C5%9Bcian-geometria-1777917/)
[[3]](https://pixabay.com/pl/krajobraz-g%C3%B3ry-wilderness-panorama-1622739/)

<hr>
References:

1. Borsuk K., W. Szmielew — Podstawy geometrii, PWN, Warszawa 1970.
2. Courant R., H. Robbins — Co to jest matematyka, PWN, Warszawa 1967.

</div>
👍  , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , and 201 others
properties (23)
authorromualdd
permlinkeuclidean-and-non-euclidean-geometry
categorysteemstem
json_metadata{"tags":["steemstem","mathematics","science","history","maths"],"image":["https://cdn.steemitimages.com/DQmdMoFBFziTbivawmiJTPZYRTPtDKt1X1L4NnE7hatanZ4/obraz.png","https://steemitimages.com/DQmYpRtjvavRBAeoYaapNwtpTEDNm6BmvmuJePtVuyyv87X/math-1777917_1920.jpg","https://steemitimages.com/0x0/https://steemitimages.com/DQmTSys8eUz1uFjKDDW1eBe2hxSBytsYuegnY5YqZWjLkSm/landscape-1622739_1920.jpg"],"links":["https://pixabay.com/pl/matematyka-sze%C5%9Bcian-geometria-1777917/","https://pixabay.com/pl/krajobraz-g%C3%B3ry-wilderness-panorama-1622739/"],"app":"steemit/0.1","format":"markdown"}
created2018-08-16 21:56:48
last_update2018-08-16 22:03:21
depth0
children7
last_payout2018-08-23 21:56:48
cashout_time1969-12-31 23:59:59
total_payout_value6.322 HBD
curator_payout_value1.902 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length6,423
author_reputation13,652,074,114,198
root_title"Euclidean and non-euclidean geometry"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id68,432,033
net_rshares6,342,100,622,888
author_curate_reward""
vote details (265)
@bid.bot ·
Bid.Bot Upvote
<table>
<tr>
<td>
<center>

<p/>

![bid.bot](https://steemitimages.com/u/bid.bot/avatar/small)
</center>

</td>
<td>

##### Promotion with Instant ROI. For Awesome Bloggers!

</td>
</tr>
</table>

<table>
<tr>
<td>

##### Yeah!

<p><p/>

You just got a 66% upvote from me, courtesy of @justtryme90. I am the **All-In-One**, Upvoting and Anonymous Flagging BidBot.


</td>
<td>

##### Top Profitability

<p><p/>

I'm able to **calculate and proxy** the most **profitable bids** for the best bidbots out there, so **you don't have to!** Place your bids via <a href="https://bidbot.me">https://bidbot.me</a>.

</td>
</tr>
</table>

properties (22)
authorbid.bot
permlinkeuclidean-and-non-euclidean-geometry-comment
categorysteemstem
json_metadata{}
created2018-08-18 02:48:06
last_update2018-08-18 02:48:06
depth1
children0
last_payout2018-08-25 02:48:06
cashout_time1969-12-31 23:59:59
total_payout_value0.000 HBD
curator_payout_value0.000 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length629
author_reputation19,745,488,675,947
root_title"Euclidean and non-euclidean geometry"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id68,558,910
net_rshares0
@mathowl · (edited)
$0.03
Nice post. In the case of Bolyai-Lobachevsky geometry the parallel lines postulate gets replaced by a new postulate. Maybe it is nice to write something about this as well :)
👍  ,
properties (23)
authormathowl
permlinkre-romualdd-euclidean-and-non-euclidean-geometry-20180816t230613489z
categorysteemstem
json_metadata{"tags":["steemstem"],"app":"steemit/0.1"}
created2018-08-16 23:06:15
last_update2018-08-16 23:07:42
depth1
children1
last_payout2018-08-23 23:06:15
cashout_time1969-12-31 23:59:59
total_payout_value0.025 HBD
curator_payout_value0.006 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length174
author_reputation44,993,635,814,620
root_title"Euclidean and non-euclidean geometry"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id68,436,580
net_rshares25,245,553,705
author_curate_reward""
vote details (2)
@romualdd ·
Thanks. Yeah, that's good idea, I have to check it and prepare some graphics :)
properties (22)
authorromualdd
permlinkre-mathowl-re-romualdd-euclidean-and-non-euclidean-geometry-20180817t072915823z
categorysteemstem
json_metadata{"tags":["steemstem"],"app":"steemit/0.1"}
created2018-08-17 07:29:18
last_update2018-08-17 07:29:18
depth2
children0
last_payout2018-08-24 07:29:18
cashout_time1969-12-31 23:59:59
total_payout_value0.000 HBD
curator_payout_value0.000 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length79
author_reputation13,652,074,114,198
root_title"Euclidean and non-euclidean geometry"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id68,471,937
net_rshares0
@steemitboard ·
Congratulations @romualdd! You have completed the following achievement on Steemit and have been rewarded with new badge(s) :

[![](https://steemitimages.com/70x80/http://steemitboard.com/notifications/votes.png)](http://steemitboard.com/@romualdd) Award for the number of upvotes

<sub>_Click on the badge to view your Board of Honor._</sub>
<sub>_If you no longer want to receive notifications, reply to this comment with the word_ `STOP`</sub>



**Do not miss the last post from @steemitboard:**
[SteemitBoard and the Veterans on Steemit - The First Community Badge.](https://steemit.com/veterans/@steemitboard/steemitboard-and-the-veterans-on-steemit-the-first-community-badge)

> Do you like [SteemitBoard's project](https://steemit.com/@steemitboard)? Then **[Vote for its witness](https://v2.steemconnect.com/sign/account-witness-vote?witness=steemitboard&approve=1)** and **get one more award**!
properties (22)
authorsteemitboard
permlinksteemitboard-notify-romualdd-20180818t234653000z
categorysteemstem
json_metadata{"image":["https://steemitboard.com/img/notify.png"]}
created2018-08-18 23:46:51
last_update2018-08-18 23:46:51
depth1
children2
last_payout2018-08-25 23:46:51
cashout_time1969-12-31 23:59:59
total_payout_value0.000 HBD
curator_payout_value0.000 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length904
author_reputation38,975,615,169,260
root_title"Euclidean and non-euclidean geometry"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id68,646,468
net_rshares0
@romualdd ·
STOP
properties (22)
authorromualdd
permlinkre-steemitboard-steemitboard-notify-romualdd-20180819t075529533z
categorysteemstem
json_metadata{"tags":["steemstem"],"app":"steemit/0.1"}
created2018-08-19 07:55:30
last_update2018-08-19 07:55:30
depth2
children1
last_payout2018-08-26 07:55:30
cashout_time1969-12-31 23:59:59
total_payout_value0.000 HBD
curator_payout_value0.000 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length4
author_reputation13,652,074,114,198
root_title"Euclidean and non-euclidean geometry"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id68,674,972
net_rshares0
@steemitboard ·
Notifications have been disabled. Sorry if I bothered you.
To reactivate notifications, drop me a comment with the word `NOTIFY`
properties (22)
authorsteemitboard
permlinksteemitboard-notify-romualdd-20180819t120707000z
categorysteemstem
json_metadata""
created2018-08-19 12:07:06
last_update2018-08-19 12:07:06
depth3
children0
last_payout2018-08-26 12:07:06
cashout_time1969-12-31 23:59:59
total_payout_value0.000 HBD
curator_payout_value0.000 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length129
author_reputation38,975,615,169,260
root_title"Euclidean and non-euclidean geometry"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id68,691,645
net_rshares0
@steemstem ·
post_voted_by
<center> https://cdn.discordapp.com/attachments/354723995037466624/463380522928963599/steemSTEM.png</center> <br><br> This post has been voted on by the steemstem curation team and voting trail.  <br> <br>There is more to SteemSTEM than just writing posts, check <a href="https://steemit.com/steemstem/@steemstem/being-a-member-of-the-steemstem-community">here</a> for some more tips on being a community member. You can also join our discord <a href="https://discord.gg/BPARaqn">here</a> to get to know the rest of the community!
properties (22)
authorsteemstem
permlinkre-euclidean-and-non-euclidean-geometry-20180817t033609
categorysteemstem
json_metadata""
created2018-08-17 03:36:09
last_update2018-08-17 03:36:09
depth1
children0
last_payout2018-08-24 03:36:09
cashout_time1969-12-31 23:59:59
total_payout_value0.000 HBD
curator_payout_value0.000 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length530
author_reputation262,017,435,115,313
root_title"Euclidean and non-euclidean geometry"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id68,454,741
net_rshares0