# Proof of Math Challenge #1 [DE/EN]

in Proof of Brain2 months ago (edited)

# 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.

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.

# 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

Sort:
2 months ago (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

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.

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

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.

Makes sense assuming the set is infinite right?

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.

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

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!

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

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

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

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.

Hi @failingforwards, you were just shared some LUV thanks to @thatgermandude. Having at least 5 LUV in your wallet enables you to give up to 3 LUV per day, for free. See the LUV tokens in your wallet at https://hive-engine.com or learn about LUV at https://peakd.com/@luvshares

Congrats you won 10 POB

Thank you! Great comp :)

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

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.

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

Posted via proofofbrain.io

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

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

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

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

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.

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

Are triangles the same as squares?

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!

No, it was just me being being silly...

Posted via proofofbrain.io

no

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

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.

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

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

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

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

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 :)

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 :(

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.

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.

2 months ago (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'