You are viewing the historical archive of The Philosophy Forum.
For current discussions, visit the live forum.
Go to live forum

Visual math

frank May 29, 2020 at 23:20 9225 views 31 comments
@Banno

Thought you'd like this:

Pythagorean theorem

But which came first: the idea or the visualization?

My answer: the two are inextricably bound together. Pull them apart and you get nonsense. What's your answer?

Comments (31)

EnPassant May 30, 2020 at 20:48 #417873
Quoting frank
What's your answer?


Probably came from algebra x[sup]2[/sup] + y[sup]2[/sup] = z[sup]2[/sup]
3[sup]2[/sup] + 4[sup]2[/sup] = 5[sup]2[/sup]
frank May 30, 2020 at 23:44 #417917
Reply to EnPassant
The 3,4,5 probably came from a technique for building structures that have 90 degree angles. The basis for the Pythagorean Theorem is a practical "trick." I'm guessing the path from the trick to the theorem just came from playing with the components. Right?
EnPassant May 31, 2020 at 11:32 #418039
Quoting frank
I'm guessing the path from the trick to the theorem just came from playing with the components. Right?


Probably, yes. 'Geometry' means 'earth measuring' or words to that effect; geo = earth.
Andrew M May 31, 2020 at 12:08 #418052
Quoting frank
The 3,4,5 probably came from a technique for building structures that have 90 degree angles.


The Pythagorean Theorem is also useful for visualizing relativistic spacetime.

Consider the twin paradox. Suppose Alice stays at home in lockdown for a year while Bob evades lockdown and travels a round-trip distance of 0.6 light years (6 trillion kilometers). How much older is Bob when he returns (at the end of Alice's year in lockdown)?

Both Alice and Bob travel over the same length of spacetime. However Bob trades off some time for the space that he has traveled. This trade-off is visually represented by a right-angled triangle, like so:
"
/|
Alice's elapsed time = / | Bob's elapsed time?
1 year / | ?(1^2 - 0.6^2) =
/ | 0.8 years (9.6 months)
------
Bob's travel distance =
0.6 light years (in Alice's reference frame)
"


Quoting frank
But which came first: the idea or the visualization?


Sometimes the visualization comes later than the idea. For example, the rotational picture for complex numbers came later:

Carl Friedrich Gauss:That this subject [imaginary numbers] has hitherto been surrounded by mysterious obscurity, is to be attributed largely to an ill adapted notation. If, for example, +1, -1, and the square root of -1 had been called direct, inverse and lateral units, instead of positive, negative and imaginary (or even impossible), such an obscurity would have been out of the question.

Deleted User May 31, 2020 at 12:36 #418055
This user has been deleted and all their posts removed.
frank May 31, 2020 at 14:36 #418099
Reply to Andrew M Wow! So an idea can interfere with visualization? Change your ideas and new doors open for visualization?
frank May 31, 2020 at 14:39 #418101
Reply to tim wood Yep. My hypothesis was that the P. theorem, as we know it, was inspired by, but can't be fully explained by practical problems. Pure ideation was a necessary part of its emergence.
Deleted User May 31, 2020 at 15:14 #418117
This user has been deleted and all their posts removed.
Gnomon May 31, 2020 at 23:54 #418545
Quoting frank
But which came first: the idea or the visualization?

Unfortunately, the link has been taken down. But as an Architect, I'm familiar with the "practical trick", as Frank called it. For those interested in the pre-Pythagorean history of the theorem, Howard Bloom goes into extravagant detail on how the pragmatic rule-of-thumb was used long before anyone developed a theory to explain it mathematically, or to interpret its magic spiritually, or to build a mathematics cult upon its foundation.

The God Problem by Howard Bloom : 3. The Sorcery of Corners.
"It's called the pattern of Pythagorean triples . . . the powers of these triples are so close to summoning spirits from the ether that it's ridiculous".
https://www.amazon.com/God-Problem-Godless-Cosmos-Creates/dp/1633881423
frank June 01, 2020 at 00:00 #418549
Reply to Gnomon How is 3,4,5 divine?
jgill June 01, 2020 at 00:15 #418552
Years ago I occasionally taught History of Mathematics and I seem to recall that an ancient variety of the sine function was found on cuneiform tablets from roughly 3000BC.
Andrew M June 01, 2020 at 00:29 #418557
Quoting frank
Wow! So an idea can interfere with visualization? Change your ideas and new doors open for visualization?


In the case of complex numbers, the idea was sound but there was initially no visualization. It was just a technique that allowed mathematicians to solve special types of cubic equations but seemed otherwise mysterious.

Whereas the geometric interpretation provides insight. For example, Euler's identity

[math]e^{i \pi} + 1 = 0[/math]

can be visualized by subtracting 1 from both sides. Then -1 is equivalent to starting with 1 and growing laterally at a rate of pi.
Gregory June 01, 2020 at 02:11 #418594
Euclids 7th prop first book is a key to understanding this i think, although I don't understand his proof perfectly. The PT seems to work only when the right sides are seen to have a finite length greater than one 1. Of course they can be seen to be uncountably measured but that gets into the Cantor mire. My point is when you have "1 times one equals one" in a geometrical equation it doesn't make sense. So maybe the PT is even wrong when the rights sides are seen as one foot long
InPitzotl June 01, 2020 at 03:57 #418615
Quoting frank
Thought you'd like this


This visual proof is a bit more elegant:
User image

http://www.cut-the-knot.org/pythagoras#6

Simple version of proof: Given ABC with A as a right angle, construct its altitude AD. ABD, ADC, and ABC are all similar. Visually, the area of ABC=the area of ABD+ADC. Now picture ABD as a shape extending from AB, ADC as a similar shape extending from AC, and ABC as a similar shape extending from BC, and we have established that in this particular case, the area of two similar shapes extending from the sides equals the area of a similar shape extending from the hypotenuse. One can show that if this is true for one shape it's true for any shape ("exercise left to the reader"), thus it's true for squares, thus AB^2+AC^2=BC^2.
EnPassant June 01, 2020 at 10:29 #418842
Quoting InPitzotl
One can show that if this is true for one shape it's true for any shape


True. The spanner on the hypotenuse is equal to the sum of the spanners on the other two sides.
Gnomon June 01, 2020 at 17:29 #419021
Quoting frank
How is 3,4,5 divine?


Thag's Cult : Numbers, Pythagoras believed, were the elements behind the entire universe. He taught his followers that the world was controlled by mathematical harmonies that made up every part of reality. More than that, though, these numbers were sacred—almost like gods.
https://listverse.com/2017/04/26/10-strange-facts-about-pythagoras-mathematician-and-cult-leader/
frank June 01, 2020 at 18:33 #419058
Reply to Andrew M Reply to Gregory Reply to EnPassant Reply to InPitzotl

Could you guys share your philosophy of math with me? Specifically, is the beer of math made of practical problems and tricks with an emergent foam of ideas?

Or are ideas actually fundamental, like gods in the stratosphere, and practicalities are down here dimly reflecting those perfections?
EnPassant June 01, 2020 at 20:08 #419116
Quoting frank
Could you guys share your philosophy of math with me?


Numbers and the relationships between them are eternal truths. I'm sure God is aware of this. But math for God must be way beyond what we would even conceive of as math.

It is easy to create numbers.
Start with "/"
Iterate "//"
Reiterate "///"
etc "//////////////////..."

Partition each step:
/, //, ///,...
= 1, 2, 3,...
I'm sure God worked out this long before anyone else.

Once numbers exist mathematics (especially The Theory of Numbers) exists.
And once that exists, complexity exists.
Therefore God can be complex in terms of the contemplation of numbers.
And this answers Dawkins' assertion that God cannot be complex without a creator.
He can be complex by way of knowledge.
And once all this exists it is a matter of putting 'meat' on the abstract bones of mathematics.

Experience of reality in ordinary terms can awaken in our consciousness the mathematical order of reality because the world is intrinsically mathematical anyhow: induction awakens our powers of deduction. That, I think, is a big part of how science works.
frank June 01, 2020 at 20:48 #419125
Reply to EnPassant That's actually a beautiful picture of things. I think it leads to a problem of evil though. Do you have a solution?
EnPassant June 01, 2020 at 20:55 #419130
Quoting frank
That's actually a beautiful picture of things. I think it leads to a problem of evil though. Do you have a solution?


Thank you. Because good (being) exists, distortions of good exist. As St. Augustine said, evil is not a positive thing in itself. It is a lack of the good. The good is a perfect symphony. Evil is disharmony. But evil cannot exist without the good, without being, which is God.
EnPassant June 01, 2020 at 21:02 #419132
Quoting InPitzotl
This visual proof is a bit more elegant:


Very nice. I had not seen that one before.
Banno June 02, 2020 at 00:10 #419192
The fluid example seemed to me to show only one case.

User image
Much better, since it shows any case.
Andrew M June 02, 2020 at 13:18 #419505
Quoting frank
Could you guys share your philosophy of math with me?


Aristotelian realism. The world has a mathematical structure (form) that we can investigate.

The essay that @Wayfarer highlighted in the Aristotle thread is a good summary. It even mentions visualization:

Quoting The mathematical world - James Franklin
Our developed human intellectual abilities add two things to those simple perceptions. The first is visualisation, which allows us to understand necessary relations between mathematical facts. Try this easy mental exercise: imagine six crosses arranged in two rows of three crosses each, one row directly above the other. I can equally imagine the same six crosses as three columns of two each. Therefore 2 × 3 = 3 × 2. I not only notice that 2 × 3 is in fact equal to 3 × 2, I understand why 2 × 3 must equal 3 × 2.

EnPassant June 02, 2020 at 13:28 #419515
Quoting The mathematical world - James Franklin
imagine six crosses arranged in two rows of three crosses each, one row directly above the other. I can equally imagine the same six crosses as three columns of two each. Therefore 2 × 3 = 3 × 2. I not only notice that 2 × 3 is in fact equal to 3 × 2, I understand why 2 × 3 must equal 3 × 2.


This is an example of induction (observation) awakening our powers of deduction. Resulting in deducing the commutative nature of multiplication: 2 x 3 = 3 x 2.
Benkei June 02, 2020 at 17:56 #419651
For those who like geometry, check out the app xsection. It's starts off easy enough. I solved all of them in the end so if you get stuck, give me a holler. Except for the last two, which solutions I can't reproduce because it was luck when I did it.
EnPassant June 02, 2020 at 19:42 #419679
Quoting Benkei
check out the app xsection


Where is that?
Benkei June 02, 2020 at 19:52 #419682
Reply to EnPassant At least in the android store. Don't know about iPhone. They also made euclidea and pythagoras but those are two dimensional. That last one had really bad English though.
EnPassant June 02, 2020 at 19:57 #419683
Quoting Benkei
At least in the android store.


Thanks.
talminator2856791 July 30, 2020 at 07:40 #438516
Quoting EnPassant
Probably came from algebra x2 + y2 = z2
32 + 42 = 52


yes but that needs a proof to show that x^2 + y^2 = z^2. it needs a reason. however it could have been an observation, but not all x, y and z can satisfy this property for natural numbers. so most likely it was an observation, then the proof/reason came about for any x, y and z that satisfy. and there are many proofs for pythagoras, some are visual and some more algebraic or concrete and some are even just bi-products or specific cases of different ideas. a good example of that is ptolemy's theorem. ptolemy's theorem is more general than pythagoras theorem. it is the general case for any cyclic quadrilateral and pythagoras is just one of the infinitely many cases.
EnPassant July 30, 2020 at 09:01 #438533
Quoting talminator2856791
ptolemy's theorem


I had not heard of that. Very interesting. The Greeks did math by geometry so they may have discovered it geometrically first and then did the algebra.
Caldwell August 02, 2020 at 01:40 #439262
Quoting frank
But which came first: the idea or the visualization?


The Pythagorean Theorem is inherently empirical -- which helps the case of the proponents of the grounding of mathematics on a fundamental, physical, tangible form.