The Portal Wiki

Editing Chapter 2: An ancient theorem and a modern question

Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to your username, along with other benefits.

The edit can be undone. Please check the comparison below to verify that this is what you want to do, and then publish the changes below to finish undoing the edit.

Latest revision Your text
Line 2: Line 2:


<span class="button">[[1 The roots of science| << Previous Chapter]]</span> <span class="button">[[The Road to Reality| Table Of Contents]]</span> <span class="button">[[3 Kinds of numbers in the physical world| next chapter >> ]]</span>
<span class="button">[[1 The roots of science| << Previous Chapter]]</span> <span class="button">[[The Road to Reality| Table Of Contents]]</span> <span class="button">[[3 Kinds of numbers in the physical world| next chapter >> ]]</span>
== Preliminaries ==
* Know how to visually represent addition, subtraction, multiplication, and powers
**[https://betterexplained.com/articles/rethinking-arithmetic-a-visual-guide/ Rethinking Arithmetic: A Visual Guide]
* Know what squares (powers of two) and square roots are
** [https://www.mathsisfun.com/square-root.html Squares and Square Roots]
*Know what logarithms are
**[https://www.youtube.com/watch?v=zzu2POfYv0Y Logarithms, Explained]
* Know what an equation and the solution of an equation is (note that an equation can have more than one solution!)
* Now tie it all together
** [https://www.youtube.com/watch?v=sULa9Lc4pck Triangle of Power]
* And quick a introduction to radians
** [https://www.youtube.com/watch?v=HACNCy0clO0&feature=emb_logo What are radians? Simply explained]


== Community Explanations ==
== Community Explanations ==


=== Translation ===
Translation
In Euclidean geometry, a [https://www.mathwarehouse.com/transformations/translations-in-math.php translation] is a geometric transformation that moves every point of a figure or a space by the same distance in a given direction.
In Euclidean geometry, a translation is a geometric transformation that moves every point of a figure or a space by the same distance in a given direction.
 
Exponents2
Exponentiation can be thought of as repeated multiplication. meaning:
23= 222
and
25= 22222
adding them together we also see that
2325= 22222222
 
The additive property of exponentiation tells us that we can also write it this way
23+5=2+25
 
Now, you may notice that this doesn’t help if we’re asking about 212or 2-1
How do you repeatedly multiply something 212or 2-1times? so for numbers other than the counting numbers, we need a different clear explanation (To be Expanded)
 


[[File:Triangle-translation-shape-only-animation (1).gif|thumb|Triangle ABC becomes triangle A'B'C' under the transformation called "translation".]]
Better explained: understanding exponents
Exponents on Khan academy


=== Exponents ===
Pythagorean Theorem | A2 + B2 = C2
Exponents can be thought of as repeated multiplication, meaning:
“for any right-angled triangle, the square of the length of the hypotenuse (the side opposite the right angle) is equal to the sum of the squares of the lengths of the other two sides”
test your or learn more in Khan academy
Pythagorean Theorem on better explain
6 animated proofs


<math> 2^3 = 2 \cdot 2 \cdot 2 </math>


and:


<math> 2^5 = 2 \cdot 2 \cdot 2 \cdot 2 \cdot 2 </math>
Euclidean geometry
This is the fancy name for the basic geometry we’re familiar with. to be expanded.


Multiplying these together we also see that:
Euclidean Postulates
1. A straight line segment can be drawn joining any two points.
2. Any straight line segment can be extended indefinitely in a straight line.
3. Given any straight line segment, a circle can be drawn having the segment as radius and one endpoint as center.
4. All right angles are congruent.
5. If two lines are drawn which intersect a third in such a way that the sum of the inner angles on one side is less than two right angles, then the two lines inevitably must intersect each other on that side if extended far enough. This postulate is equivalent to what is known as the parallel postulate.


<math> 2^3 \cdot 2^5 = 2 \cdot 2 \cdot 2 \cdot 2 \cdot 2 \cdot 2 \cdot 2 \cdot 2  = 2^8</math>
Euclid's fifth postulate cannot be proven as a theorem, although this was attempted by many people. Euclid himself used only the first four postulates ("absolute geometry") for the first 28 propositions of the Elements, but was forced to invoke the parallel postulate on the 29th. In 1823, Janos Bolyai and Nicolai Lobachevsky independently realized that entirely self-consistent "non-Euclidean geometries" could be created in which the parallel postulate did not hold. (Gauss had also discovered but suppressed the existence of non-Euclidean geometries.)


This is known as the additive property of exponentiation. It can be written as:
video explanation


<math> 2^3 \cdot 2^5 = 2^{3+5} </math>
Radians and pi
pi is introduced in the book as the sum of all angles of a triangle, which is 180. this might be confusing to those who know that  = 3.14...
The explanation for this is simple, in this case  is simply used as a shorthand for R - Where R stands for radian.
An arc of a circle with the same length as the radius of that circle subtends an angle of 1 radian (roughly 57.29). Adding three radians together brings you almost 180 degrees around. radians bring you exactly 180 degrees around. The circumference subtends an angle of 2π radians.
To summarize:
1 redian = 1r = 57.29
  57.29 = r =180
As a shorthand  = 180


Or more generally:


<math> 2^a \cdot 2^b = 2^{a+b} </math>
Hyperbolic Geometry
    One class of models of Euclidean geometry minus the parallel postulate. Hyperbolic triangles have less than 180° (while spherical triangles have more than 180° - these are not talked about for now). to be expanded


Now, you may notice that this doesn't help if we are interested in numbers like <math>2^{\frac{1}{2}}</math> or <math>2^{-1}</math>. These cases are covered in the recommended section if you are interested but are not strictly necessary for understanding this chapter.
Johann Heinrich Lambert formula for calculating the area of a hyperbolic triangle
In this formula:
pi = 180
= the area of the triangle
C is some constant. This constant depends on the ‘units’ that are chosen in which lengths and areas are to be measured. We can always scale things so that C = 1.
In contrast to euclidean geometry where the angels of a triangle alone don’t tell you anything about its size - In hyperbolic geometry if you know the sum of the angels of a triangle, you can calculate its area with the above formula. Wikipedia (couldn’t find exercises for this on khan academy, if someone can find exercises anywhere please share them)


=== Pythagorean Theorem <math>a^2 + b^2 = c^2</math> ===
For an animated experience of hyperbolic geometry you can play the game Hyperrogue available for android and desktop (free version or paid version)


''For any right-angled triangle, the square of the length of the hypotenuse (the side opposite the right angle) is equal to the sum of the squares of the lengths of the other two sides.''


Here are some [https://www.youtube.com/watch?v=COkhrDbNcuA animated proofs] as well as a [https://www.khanacademy.org/math/basic-geo/basic-geometry-pythagorean-theorem/geo-pythagorean-theorem/e/pythagorean_theorem_1 quiz] to test your understanding.


[[File:Screenshot from 2020-06-14 18-38-08.png|thumb|The squares with side lengths equal to the two shortest sides of the triangle have the same area as the square with side lengths equal to the longest side of the trangle.]]


=== Euclidian Geometry ===


This is the fancy name for the basic geometry we are familiar with where parallel lines do not intersect. The rules or "postulates" of Euclidian geometry are as follows.


[[File:Screenshot from 2020-06-14 18-55-40.png|thumb|Newton (1795–1805) 460 x 600 mm. Collection Tate Britain. Euclidean geometry is the study of mathematical objects that can be constructed by a straight edge and compass.]]
Representational Models
==== Euclidian Postulates ====
Conformal Disk (Beltrami-Poincare): shown on the left
Projective (Beltrami-Klein) shown in the middle
Hemispherical (Beltrami)
Hyperboloid (Mindowski-Lorenz) shown on the right


# A straight line segment can be drawn joining any two points.
# Any straight line segment can be extended indefinitely in a straight line.
# Given any straight line segment, a circle can be drawn having that segment as its radius.
# All right angles are congruent.
# If two lines are drawn which intersect a third in such a way that the sum of the inner angles on one side is less than two right angles, then the two lines inevitably must intersect each other on that side if extended far enough. This postulate is equivalent to what is known as the parallel postulate.


A good video explaining these postulates as well as what postulates ''are'' can be found [https://www.youtube.com/watch?v=gLMIFRLw9LU here].


Euclid's fifth postulate cannot be proven as a theorem (by assuming only the first four), although this was attempted by many people. Euclid himself used only the first four postulates ("absolute geometry") for the first 28 propositions of the Elements, but was forced to invoke the parallel postulate on the 29th. In 1823, Janos Bolyai and Nicolai Lobachevsky independently realized that entirely self-consistent "non-Euclidean geometries" could be created in which the parallel postulate did not hold. (Gauss had also discovered but suppressed the existence of non-Euclidean geometries.)


[[File:Euclid-woodcut-1584.jpg|thumb|Euclid, coloured woodcut, 1584.]]


=== Radians and <math>\pi</math> ===


<math>\pi</math> is introduced in the books as the sum of all angles of a triangles, which is <math>180^\circ</math>. This might be confusing to those who know that <math>\pi = 3.14 \cdots</math>.


The explanation for this is simple. <math>\pi</math> is simply used as a shorthand for <math>\pi R</math> where <math>R</math> stands for radian. An arc of a circle with the same length as the radius of that circle subtends an '''angle of 1 radian''' (roughly 57.29). Adding three radians together brings you almost '''180 degrees''' around. <math>\pi</math> radians brings you ''exactly'' 180 degrees around. The circumference subtends an angle of <math>2\pi</math>. To summarize:
<math> 1 Radian = 1R = 57.29^\circ </math>:
<math> \pi \cdot 57.29 = \pi r = 180^\circ </math>


So just remember, <math>\pi = 180^\circ</math>. Further explanations are given in the [[Preliminaries| preliminaries]] section.
Geodesic
a geodesic is a curve representing the shortest path between two points in a surface (a curved one, for example). It is a generalization of the notion of a "straight line" to a more general setting.


[[File:S-c45c4ef6993dba6ec59e8dbdaf35b55822acac41.gif|thumb|A radian of 1 is the angle which subtends an arc of length 1 on a unit circle, or equivalently, an arc length of r on a circle with radius r.]]
Stereographic Projection
Video (1:07)


==== Representational Models ====


* [https://en.wikipedia.org/wiki/Poincar%C3%A9_disk_model Conformal Disk] (Beltrami-Poincare)
Logarithms
* [https://en.wikipedia.org/wiki/Beltrami%E2%80%93Klein_model Projective] (Beltrami-Klein)
(becomes important in ch. 5, and stays important!)
* [https://en.wikipedia.org/wiki/Hyperboloid_model Hyperboloid] (Mindowski-Lorenz)
If you just came across the first instance of “log” in the book (section 2.4), continue until the end of the section (one page later), and then come back here.
Logarithms are introduced for the first time in this expression that describes the distance between two points in hyperbolic space. the logarithm used here is called the natural logarithm, see next section.  


==== Geodesic ====
Better explained: using logarithms in the real world
A [https://en.wikipedia.org/wiki/Geodesic geodesic] is a curve representing the shortest path between two points in a space. It is a generalization of the notion of a "straight line". In a "flat" space, the straight line is indeed the shortest distance between two points, but in a curved space, this no longer holds true; the shortest distance between two points inherits some of the curvature from the space in which it exists. Geodesics are well explained in the videos pertaining the hyperbolic geometry in the essential section.
Logarithms in khan academy


=== Hyperbolic Geometry ===
Natural logarithm e
The natural logarithm of a number is its logarithm to the base of the mathematical constant e. e is equal to 2.718… this is the logarithm used in the expression above.
better explained: demystifying the natural logarithm


A type of geometry which can emerge when the fifth postulate is no longer taken to be true. Objects like triangles obey different rules in this type of geometry. For instance, [https://en.wikipedia.org/wiki/Hyperbolic_triangle hyperbolic triangles] have angles which sum to '''less''' than <math>\pi</math> radians. In fact, we have we have a triangle with an area represented by <math>\triangle</math> and three angles represented by <math>\alpha, \beta, \gamma</math> then by the ''Johann Heinrich Lambert formula'':
Mathematical proofs
To be expanded
   
    On Proof And Progress In Mathematics - William P. Thurston


<math> \pi - (\alpha + \beta + \gamma) = C \triangle </math>
To learn some basic proving-things skills, you can read the book “how to prove it” by Daniel J. Velleman. You can read/download it here


where <math>C</math> is just some constant determined by the ''units'' by which we measure a give length or area. The ''units'' we use can always be chosen such that <math>C=1</math>.
Proof by contradiction


In contrast to euclidean geometry where the angels of a triangle alone don’t tell you anything about its size - in hyperbolic geometry if you know the sum of the angels of a triangle, you can calculate its area using the formula above.
Curvature


[[File:Aeef84ebc9b315a863ff5dbd293254b4.gif|thumb|Hyperogue is a video game that takes place on the hyperbolic plane.]]
3-Dimensional Hyperbolic Geometry (Hyperbolic Space)
Hyperbolic and other geometrical visualizations


== Preliminaries ==
* Know how to visually represent addition, subtraction, multiplication, and powers
**[https://betterexplained.com/articles/rethinking-arithmetic-a-visual-guide/ Rethinking Arithmetic: A Visual Guide]
* Know what squares (powers of two) and square roots are
** [https://www.mathsisfun.com/square-root.html Squares and Square Roots]
*Know what logarithms are
**[https://www.youtube.com/watch?v=zzu2POfYv0Y Logarithms, Explained]
* Know what an equation and the solution of an equation is (note that an equation can have more than one solution!)
* Now tie it all together
** [https://www.youtube.com/watch?v=sULa9Lc4pck Triangle of Power]
* And quick a introduction to radians
** [https://www.youtube.com/watch?v=HACNCy0clO0&feature=emb_logo What are radians? Simply explained]


== Essential ==
== Essential ==


* An addictive puzzle game where you do Euclidean constructions
* Fractional powers
** [https://www.euclidea.xyz/en/game/packs Euclidia]
** [https://medium.com/i-math/what-do-fractional-exponents-mean-1bb9bd2fa9a8 What Do Fractional Exponents Mean?]
* Follow a steppable motion graphic that proves the Pythagorean theorem
*  
** [https://timalex.github.io/royal-road/squareangle/ Squaring a triangle] by Community Contributor @TimAlex
 
* A video game set on a hyperbolic plane
===Interactive===
** [https://play.google.com/store/apps/details?id=com.roguetemple.hyperroid&hl=en_US HyperRogue] for Android
 
** [https://store.steampowered.com/app/342610/HyperRogue/ HyperRogue] on Steam
[https://timalex.github.io/royal-road/squareangle/ Pythagorean Theorem Proof] by Community Contributor @TimAlex
* Hyperbolic geometry with Numberphile
 
** [https://www.youtube.com/watch?v=u6Got0X41pY Playing Sports in Hyperbolic Space]
[https://www.euclidea.xyz/en/game/packs Euclidia]
** [https://www.youtube.com/watch?v=PnW5IRvgvLY Ditching the Fifth Axiom]
 
[https://mathcs.clarku.edu/~djoyce/java/elements/elements.html Euclid’s Elements]
 
===Videos===
 
[https://www.youtube.com/watch?v=u6Got0X41pY Playing Sports in Hyperbolic Space]
 
[https://www.youtube.com/watch?v=PnW5IRvgvLY Ditching the Fifth Axiom]


== Recommended ==
[https://www.youtube.com/watch?v=fNk_zzaMoSs&list=PLZHQObOWTQDPD3MizzM2xVFitgF8hE_ab The Essence of Linear Algebra]


* Understanding fractional and negative powers
===Books===
** [https://betterexplained.com/articles/understanding-exponents-why-does-00-1/ Understanding Exponents (Why does <math>0^0=1)</math>?]
 
** [https://medium.com/i-math/what-do-fractional-exponents-mean-1bb9bd2fa9a8 What Do Fractional Exponents Mean?]
[https://mathblog.com/pillars-geometry The Four Pillars of Geometry] by John Stillwell
** [https://medium.com/i-math/negative-exponents-reciprocals-and-the-decimal-system-revisited-f4f08894e285 Netaive Exponents and the Decimal System]
 
* A more in-depth description of the logarithms and exponents with applications
[https://mathblog.com/linear-algebra Linear Algebra Done Right] by Sheldon Axler
** [https://www.youtube.com/watch?v=cEvgcoyZvB4&t=1620s Logarithm Fundamentals]
 
* The natural number and the natural logarithm
== See More ==
** [https://www.youtube.com/watch?v=4PDoT7jtxmw What makes the natural log "natural"?]
* For those who want an additional explanation of radians
** [https://www.youtube.com/watch?v=tSsihw-xPHc Intro to Radians]
* For those who want an additional explanation of radians and are mad about it
** [https://www.youtube.com/watch?v=jG7vhMMXagQ Pi Is (still) Wrong.]
* Stereographic projections
** [https://www.youtube.com/watch?v=VX-0Laeczgk Stereographic projection]
** [https://www.youtube.com/watch?v=lbUOScpu0ws Further adventures in stereographic projects]
* A spot of linear algebra
** [https://www.youtube.com/watch?v=fNk_zzaMoSs&list=PLZHQObOWTQDPD3MizzM2xVFitgF8hE_ab The Essence of Linear Algebra]


== Further Exploration ==
<span class="button">[[1 The roots of science| << Previous Chapter]]</span> <span class="button">[[The Road to Reality| Table Of Contents]]</span> <span class="button">[[3 Kinds of numbers in the physical world| next chapter >> ]]</span>
* To understand what geometry really  <em> is </em>
** [https://mathblog.com/pillars-geometry The Four Pillars of Geometry] by John Stillwell
* A guide through Euclid's Elements
** [https://mathcs.clarku.edu/~djoyce/java/elements/elements.html Euclid’s Elements]
* A more in depth introduction to linear algebra
** [https://mathblog.com/linear-algebra Linear Algebra Done Right] by Sheldon Axler
== Art ==


[[File:Spiral6-4-large.jpg|thumb| Conformal mappings on the Poincare disk by Paul Nylander]]
[[Category:Road to Reality Chapter]]


* Gorgeous hyperbolic art
{{stub}}
** [http://bugman123.com/Hyperbolic/index.html Hyperbolic Geometry Artwork]
[[Category:Graph, Wall, Tome]]
[[Category:The Road to Reality]]
Please note that all contributions to The Portal Wiki may be edited, altered, or removed by other contributors. If you do not want your writing to be edited mercilessly, then do not submit it here.
You are also promising us that you wrote this yourself, or copied it from a public domain or similar free resource (see The Portal:Copyrights for details). Do not submit copyrighted work without permission!
Cancel Editing help (opens in new window)
Retrieved from "https://theportal.wiki/wiki/Chapter_2:_An_ancient_theorem_and_a_modern_question"