Proof of Math Challenge #1 [DE/EN]

avatar
(Edited)

[EN]

Welcome to the new challenge series for your brain!

Sometimes I have to doubt my own brain. I was sitting here thinking long and hard what content could be actually good for the proof of brain tag. Maybe some sort of riddle? But looking at how sophisticated riddles people like @one.alfa or @friendlymoose make, there was already good content on hive that I would have to compete with.

Just now I had the enlightenment: Mathematical Proofs. I studied math for a few semesters and I was actually quite good at doing Proofs which is all you do as a mathematician. I have posted Proofs on hive in the past and while they only garnered medium attention, I think setting up a challenge with prizes will lead to a lot more normal people engaging, who haven't already studied math, physics or IT .

I will make a separate post about the Beauty of Proofs and how to do them. But for those who already know what I am talking about: correctness is of course the condition to qualify but what counts is the beauty of the Proof. And more importantly how I evaluate the beauty. I prefer number-based Proofs over graphical Proofs and text-based Proofs over number-based Proofs. At least in general.

ThatGermanBrain.png

proofofbrainio allowed me to use this lovechild of our avatars


This weeks Challenge


Proof the sentence of Pythagoras:
a²+b²=c²


Prize Money


First place: 10 POB
Second place: 5 POB

Entries are accepted until 6 days after this post has been punlished. You can comment your Proof or make a separate Post that you link in the comments.

[DE]

Willkommen zum neuen Gewinnspiel mit Grips!

Manchmal zweifel ich auch an meinem Grips, wenn ich daran denke wie lange ich mir den Kopf darüber zerbrochen habe, was ich für Proof of Brain für Content machen. War auch die ganze Zeit in die Richtung Gewinnspiel am Denken, aber da gibts ja schon viel Zeug auf der Kette.

Dann hats mich getroffen: Mathematische Beweise. Ich hab mal ein bisschen Mathe studiert und war mal echt gut in Beweisführung. Ich bin davon überzeugt, dass die Fähigkeit mathematisch zu beweisen, einen eine ganz andere Sichtweise auf die Mathematik gibt und das logische Denken schärft. Mit einem Gewinnspiel kann ich jetzt auch hoffentlich endlich die motivieren sich mit dem Thema zu befassen, die den ganzen Schmarn nicht schon aus dem IT Studium kennen.

Ich werde einen separaten Post darüber schreiben, wie man einen Beweis führt und warum es sowas wie Schönheit in kalten mathematischen Beweisen geben kann. In meiner Challenge wird auch nach Schönheit beurteilt, Korrektheit ist lediglich eine Grundvoraussetzung. Für die, die wissen wovon ich rede: ich finde formelle Beweise besser als Grafische und Informelle besser als Formelle. Jedenfalls als Faustregel.


Die Challenge der Woche


Beweise den Satz des Pythagoras:
a²+b²=c²


Preisgeld

Erster Platz: 10 POB
Zweiter Platz: 5 POB

Einsendeschluss ist 6 Tage nach Veröffentlichung dieses Posts. Ihr könnt euren Beweis in die Kommentare schreiben oder einen eigenen Post machen, den ihr in den Kommentaren verlinkt.


Posted via proofofbrain.io



0
0
0.000
45 comments
avatar
(Edited)

I would like to exclude myself from the prize but have a go for fun if that's ok ;)

lets take a diffrent approach, how do define distance between any two points (x1,y1) and (x2,y2) ? ((X2-x1)^2 + (y2-y1)^2))^0.5 = distance

Or distance ^2 = (X2-x1)^2 + (y2-y1)^2)

In a right angle triangle , distance is C, the difference between x points is length a and y points is length b

0
0
0.000
avatar

Once you enter a comment you have entered the Challenge! Muahahhahahahah!

You are doing the classic beginner mistake of using Pythagoras to prove itself. You can calculate the distance on a coordination field this way because you know Pythagoras is true not the other way around.

Do you understand what I am saying? It is a rough hurdle to take, dw.

0
0
0.000
avatar

Ok fine then, I'll use relatively next time ;p no I get what your saying just never relasied pythagoras lead to this !

0
0
0.000
avatar

Tbh I dont have a Pythagoras Proof in my head. I just know that there are dozens of different ways to prove it and it is generally seen as a proof for beginners. I always struggled with it myself because geometry and graphical proofs are not my forte.

Maybe I can give you one or two of my favorites Proofs so you know what I am talking about, they are my favorite because they are so easy:

There is an unlimited amount of prim numbers.

You can prove it by thinking about what would happen if you know all prim numbers p1,p2,p3...., pn.
Now you multiply all primnumbers to the Number P. If you look at P-1 it is not devidable by any prim number since P is dividable by all of them.--> (P-1) must be a primnumber itself but is not part of p1,p2,p3,...,pn.

Since you lead the assumption of knowing all Prim Numbers to a logical fallacy you now know that there has to be an unlimited amount of Primnumbers.

0
0
0.000
avatar

Makes sense assuming the set is infinite right?

0
0
0.000
avatar

you assume the set is finite and known, but you get a new prim that is not part of the set even though it should be. There is the contradiction which lets you know the assumption must be wrong.

Of course you could then argue that primnumbers might be therefore finite and unknown and there is just no way to know them all. But thats quite trivial.

0
0
0.000
avatar

I don't really understand what the challenge is?
It is the Pythagorean theorem where a and b are the legs. c would be the hypotenuse.


Posted via proofofbrain.io

0
0
0.000
avatar

yes. I didn't want to tackle the whole 'what is a proof'-topic in this post because it is a tough nut to crack.

I will do a follow up post where I explain the concept in detail, but for now feel free to ask anything.

0
0
0.000
avatar

...but for now feel free to ask anything.

Are triangles the same as squares?

0
0
0.000
avatar

no

0
0
0.000
avatar

bugger - that's where I've been going wrong..

0
0
0.000
avatar

I will make another post to try to get more mathematical midwits like you on board.

I think you are one of the people that would actually appreciate higher mathematics for it's logic and coherentness.

0
0
0.000
avatar

If this is somehow a REALLY clever criticism of my title, I meant to write Proof in Math is subset of Proof of Brain, but Markdown wouldnt let me import the sign for that!

0
0
0.000
avatar

Ok new idea assuming area all ready given for a square and triangle. Ok imagine 4 identical triangles, each with an area of ab/2 because they are right angles(×we will use this layer). We arrange the triangles into a square shape so c faces outwards on all sides.

We now have a square with a second smaller sqaure cut out inside it. We know one thing already, the area of this shape is 4 triangles worth , 4 x ab/2 to be exact or 2ab

We also know the area of this shape is the outer square is c x c or c^2 minus the inner square undefined

C^2 minus inner square = 2ab

The inner square is made up of the length A less length b which buts against it. So it is (a-b)^2

Plugging it back in you get

C^2 -(a-b)^2 = 2ab

Which unfolds into c^2 = a^2 + b^2

0
0
0.000
avatar

Correct!

I had to put the graphics on a side tab to get it... :D .But yes this one of the more popular Proofs for Pythagoras and you explained it really well, to a degree where I understood and even if you googled it, you made sure you understood it as well.

Thank you for participating!

0
0
0.000
avatar

Thanks didn't google but I did have an advantage... I did a physics degree:p so just had to sit down and push triangles around for awhile until I found a different formula (area) that I could build on

0
0
0.000
avatar

Thanks for clarifying it was either you googeling and having a REALLY fast understanding of the topic or you are one of those guys who actually finished their stem degree and are a step ahead of me ;). I mean mentally, like I said I hate geometry, but I have seen people being good at it and instantly seeing proofs that I wont see for hours. !LUV

0
0
0.000
avatar

That's why I didn't want the prize :) I didn't know the proof but I did know who to push around a problem till something falls out

0
0
0.000
avatar

Its OK. I just wanted to see how much interest there is and how many here can already do proofs.

It seems I should have started off by making a post (once again) explaining the concept of proofing before.

0
0
0.000
avatar

Ich bin raus, vor 10 Jahren hätte ichs glaube noch gekonnt.

0
0
0.000
avatar

Ach komm schon... die guten alten grauen Zellen wieder etwas in Schwung bringen :)

0
0
0.000
avatar

Ich werde mal überlegen, aber ich glaube das wird nichts.

Langt dir 3²+4²=5² 😁😁😁

0
0
0.000
avatar

das ist ein Anekdote die eigentlich gar nichts mit dem Pythagoras zu tun hat :D

Du kannst natürlich auch googeln und mir einen Beweis von dort verkaufen. Einfach nur noch mal nen Beweis anschauen und üben wie mans denn nochmal macht. Dann fällts dir beim nächsten Beweis leichter selbst auf was zu kommen :)

0
0
0.000
avatar

Ja hatte schon gegoogelt, um mir es mam anzugucken aber meine gehirnzellen arbeiten momentan nicht so. Dabei hatte ich Matheleistung und war immer gut drin.
Ich werde alt :(

0
0
0.000
avatar

Diesen Stoff machst du erst ab der Uni. Aber wenn du LK hattest, kann ich dich vielleicht ja echt noch begeistern. Du musst halt erstmal alles vergessen was du weißt und fängst komplett von vorne an. Du definierst die natürlichen Zahlen durchs Zählen und baust dann die verschiedenen Zahlensystem darauf auf. Jede Regel (wir nennen das dann Satz) wird bewiesen.

Ich werde die Tage mal nochmal übers Beweisen und hohe Mathematik schreiben, gerade auch damit Anfänger eine Chance haben. Mathe an der Uni ist übrigens das Siebefach mit teilweise absurden Durchfallquoten.

0
0
0.000
avatar

Ja doch Beweisen hatten wir auch schon im Abi, der Lehrer hat immer damit angefangen und dann aufgaben dazu.
Und hatte auch Mathe an der FH, wobei ich glaube das hatten wir tatsächlich nicht bewiesen. Ehrlich gesagt kann ich mich nur noch an Ibtegrale und an Fibunacci erinnern. Ist versamt lang her.

0
0
0.000
avatar
(Edited)

Dann bist du wohl noch älterer Jahrgang, wir haben nichts im Abi bewiesen und das war auch normal.

An der FH macht man i.d.R. keine Beweise, da werden angewandte Sachen für Ingenieure und so unterrichtet.

Ich mach die Tage mal einen Artikel zur Schönheit der Mathematik, vielleicht hol ich dich damit ja ins Boot. Und bis dahin kannst mal überlegen warum 0.999...= 1 gilt. Also 'Null Komma Periode neun gleich eins'

0
0
0.000
avatar

Joa jung bin ich nicht, aber auch nicht mega alt, auch wenn ich mich manchmal so fühle :(

Hmmm wie gesagt ich weiß kaum noch was, würde keine Polynomdivision mehr hinbekommen, keine Kurvendiskussion...

Aber dir auch ein Rätsel

1+1=10

Ist simpel wenn man es weiß ;)

0
0
0.000
avatar

1+1=10

Dualsystem. Über andere Systeme bzw Körper reden wir auch viel :).

0
0
0.000
avatar

👍 das war ja leicht :)

0
0
0.000
avatar

Jetzt mal ein Problem aus der Informatik:

Angenommen du hast 20 Meinzelmännchen. 10 mit blauen Hut. 10 mit rotem Hut. Die sitzen alle in einem komplett dunklen Raum. Draußen auf dem Paradeplatz sollen sie sortiert nach Farben in einer Reihe antreten, so dass die Blauen links und die Roten rechts stehen aber alle in einer Reihe. Sie dürfen draußen nicht reden und nicht auf die Farbe ihrer eigenen Mütze gucken.

Wie müssen sich die Meinzelmännchen im dunklen Raum absprechen damit sie sortiert auf dem Platz antreten kömmen?

Hinweis: Sie verlassen den Raum einzeln nacheinander.

0
0
0.000
avatar

Sie sprechen sich so ab, dass jeder sich in der "Mitte" (zwischen den blauen und roten) einreiht sobald min. 1 blau und ein roter da stehen. Solange das nicht der Fall ist stellt man sich so hin als wäre man das gegenteil von dem was da steht.

0
0
0.000
avatar

moah, nicht schlecht! Scheinst ja doch noch nicht ganz so verkalkt zu sein ;)

0
0
0.000
avatar

Ja sowas ist ja leicht ;)

0
0
0.000
avatar

Dann sollten Beweise dir auch nicht schwer fallen, jedenfalls sobald du mal ein bisschen drin bist.

0
0
0.000
avatar

Working on a proof by exhaustive search, but this challenge might end before my proof is complete 😂


Posted via proofofbrain.io

0
0
0.000
avatar

You have almost a whole week, so take your time. Looking forward to your proof!

0
0
0.000
avatar

It was just a joke... exhaustive search would mean checking that the statement holds true for every possible right angled triangle.

I rather quite like Euclid's construction of this proof, but don't just want to copy.

Might think about it a while and try put together a real proof that doesn't involve checking an infinite number of triangles...


Posted via proofofbrain.io

0
0
0.000
avatar

exhaustive search

I took it literally and thought you searched the web for a solution for hours and are exhausted by now, xD.

It is quite tough to come up with an original proof when you already know one, but I would appreciate it.

I heard it is still a lively competition to try and come up with new ways of proving Pythagoras

0
0
0.000
avatar

Haha. Coole Idee. Aber wir sind hier alle nur um uns gegenseitig einzureden, dass wir ein Gehirn haben. Nicht um es wirklich zu beweisen. :D

Ich hab Mathe für Wirtschaftswissenschaftler 1 und 2 gemacht. Aber so sehr vermisse ich es nicht.
Ein paar Schach-Puzzle oder Rätsel wären auch eine gute Idee, für die Nichtmathematiker.


Posted via proofofbrain.io

0
0
0.000
avatar

Aber wir sind hier alle nur um uns gegenseitig einzureden, dass wir ein Gehirn haben.

Jaja, das gute alte Echo Chamber hive. Wie sie alle den POB Markt stürmen um endlich ein Beweis für ihr Hirn zu haben :D.

Mathe für Wirtschaftler ist keine Universitätsmathematik. Ist jetzt kein böses Vorurteil oder so, aber ihr macht einfach was ganz anderes. Glaub mal selbst Informatiker die an der Schule mal Mathe-Asse waren stönen bei uns wofür se denn den Schwachsinn alles brauchen.

Ich werde die Tage mal einen Artikel zur Schönheit der Mathematik machen. Es hat auch was mit Logik und Weltverständnis zu tun. Vielleicht holts dich ja ab. Anders als das 1x1 in der Schule lernen kann das hier echt Spaß machen. Außerdem können die arroganten STEMler nicht mehr auf dir rumhacken, wenn du Uni-Mathe verstehst. Ist immerhin das schwerste Fach.

0
0
0.000