View source for Talk:Pythagorean theorem

{{ArticleHistory
|collapse=yes

|action1=RBP
|action1date=January 19, 2004
|action1link=Wikipedia:Featured article candidates/Pythagorean theorem
|action1result=kept

|action2=FAR
|action2date= 23:05, 20 Mar 2004 (UTC)
|action2link=Wikipedia:Featured article removal candidates/Pythagorean theorem
|action2result=demoted

|action3=GAN
|action3date=9 December 2005
|action3result=listed
|action3oldid=30677447

|action4=GAR
|action4date=6 October 2007
|action4result=kept
|action4oldid=162844082

|topic=Math
|currentstatus=FFA/GA
}}
{{WikiProject banner shell |class=GA |vital=yes |collapsed=yes |1=
{{WikiProject Mathematics |priority=top}}
}}
{{Spoken Wikipedia request|Lionsdude148|Important}}

{{User:MiszaBot/config
| algo = old(365d)
| archive  = Talk:Pythagorean theorem/Archive %(counter)d
| counter  = 7
| maxarchivesize  = 150K
| archiveheader  = {{Automatic archive navigator}}
| minthreadstoarchive = 1
| minthreadsleft = 10
}}
{{Archive box |search=yes |bot=Lowercase sigmabot III |age=12 |units=months |auto=yes }}

== Why Zimba proof was deleted? ==

Why short Zimba trigonometric proof (main idea) from this revision https://en.wikipedia.org/w/index.php?title=Pythagorean_theorem&oldid=1149322678#Jason_Zimba_trigonometric_proof%5B25%5D  was deleted?
@[[User:David Eppstein|David Eppstein]] [[User:Kamil Kielczewski|Kamil Kielczewski]] ([[User talk:Kamil Kielczewski|talk]]) 19:14, 11 April 2023 (UTC)

:There are literally hundreds of proofs of the theorem, maybe thousands. Picking out and including only one of these, sourced only to its primary publication, makes no sense, because there is no clear selection criterion for it that would not also cause us to also include hundreds of other proofs. We should only include proofs with significant historical recognition, not recent flash-in-the-pan media hype and even more not primary sourced but otherwise non-notable proofs vaguely connected to recent flash-in-the-pan media hype. —[[User:David Eppstein|David Eppstein]] ([[User talk:David Eppstein|talk]]) 19:39, 11 April 2023 (UTC)

::I agree with David Eppstein; the Zimba proof is insufficiently noteworthy.  —[[User:Quantling|<span class="texhtml"><i>Q</i></span>uantling]]&nbsp;([[User talk:Quantling|talk]]&nbsp;&#124;&nbsp;[[Special:Contributions/Quantling|contribs]]) 19:49, 11 April 2023 (UTC)
::The criterion for it is that is very short, simple and use only calculations without involving geometry (in direct way) like other proofs. So it can be very useful especially for people who hat not goot geometrical intuition (so we are dealing here with usability for a wider audience)
::In the other side, for historical point of view, this is also first known trigonometrical proof. [[User:Kamil Kielczewski|Kamil Kielczewski]] ([[User talk:Kamil Kielczewski|talk]]) 20:02, 11 April 2023 (UTC)
:::The claims of being especially simple or of being the first non-circular trigonometric proof need secondary sources. We cannot make those claims based only on the original primary publication. —[[User:David Eppstein|David Eppstein]] ([[User talk:David Eppstein|talk]]) 20:06, 11 April 2023 (UTC)
::::The information about "first non-circular  trigonometric  proof" was not included into deleted proof (in the same way like "primality" (in some way) of the some other proofs on this page). 
::::Simplicity is obvious because tricky part is only adding zero by: x-(x-y) (and use some old known formulas) - I doubt anyone will describe such obvious things in an article. [[User:Kamil Kielczewski|Kamil Kielczewski]] ([[User talk:Kamil Kielczewski|talk]]) 20:19, 11 April 2023 (UTC)
:::::This is missing the point. Arguments here for why it's a good proof are not what is needed to justify its inclusion. If nobody has written secondary sources singling it out as a good proof, we cannot include it. —[[User:David Eppstein|David Eppstein]] ([[User talk:David Eppstein|talk]]) 20:26, 11 April 2023 (UTC)
::::::Ok, here is secondary source which mention that this is first trigonometric proof:
::::::"OTHER TRIGONOMETRIC PROOFS ON PYTHAGORAS THEOREM", N. Luzia, 2015, https://arxiv.org/pdf/1502.06628.pdf [[User:Kamil Kielczewski|Kamil Kielczewski]] ([[User talk:Kamil Kielczewski|talk]]) 20:37, 11 April 2023 (UTC)
::::::::That is not reliably published. And it has no depth in its coverage of the Zimba publication. —[[User:David Eppstein|David Eppstein]] ([[User talk:David Eppstein|talk]]) 20:54, 11 April 2023 (UTC)
::It was the first proof of PT to use trig. to get there. And this has been confirmed by whatever mathematical societies matter in the US. It was an achievement recognized by many academic bodies, so I'm pretty sure that if it wasn't accurate, it would have come to light by now. Honestly, half of your reasoning sounds petty and bitter. [[Special:Contributions/46.33.96.32|46.33.96.32]] ([[User talk:46.33.96.32|talk]]) 16:15, 1 November 2024 (UTC)

The Zimba proof relies on the angle-addition formula for sines.  However with that formula and {{math|1=''γ'' = ''α'' + ''β''}}, the result is more immediate: one can insert {{math|1=sin ''α'' = cos ''β'' = ''a''/''c''}}, {{math|1=cos ''α'' = sin ''β'' = ''b''/''c''}}, and {{math|1=sin ''γ'' = 1}} into {{math|1=sin ''γ'' = sin ''α'' cos ''β'' + sin ''β'' cos ''α''}} to give {{math|1=1 = (''a''/''c''){{sup|2}} + (''b''/''c''){{sup|2}}}}.  —[[User:Quantling|<span class="texhtml"><i>Q</i></span>uantling]]&nbsp;([[User talk:Quantling|talk]]&nbsp;&#124;&nbsp;[[Special:Contributions/Quantling|contribs]]) 20:26, 12 April 2023 (UTC)
:Pythagorean theorem dates from more than 1,000 years; trigonometry date from more than 500 years. Since them, hundred of great mathematicians have studied their relationship. So it is very unlikely that something really new can be found on this subject. So, for mentioning Zimba's proof, one requires a secondary source that attests that this is really new. This is really unlikely that this will ever occur for the following reason. The fundational principle on which is based trigonometry is that the [[trigonometry#Trigonometric ratios|trigonometric ratios]] depend only on one acute angle of a right triangle, and do not depend on the size of the riangle. This is directly used in the proofs of {{alink|Proof using similar triangles}} and {{alink|Trigonometric proof using Einstein's construction}}. Any other trigonometric proof must use this foundational principle. All the proofs suggested in this talk page use this foundational principle and some other trigonometric properties. This makes them definively less interesting and less elegant than the proofs that are already there. So, they have a low encyclopedic value and do not deserve to be mentioned. [[User:D.Lazard|D.Lazard]] ([[User talk:D.Lazard|talk]]) 21:39, 12 April 2023 (UTC)
:in your proof you use a,b,c (from geometry object - triangle) - but Zimba use only two arbitrary angles x and y (without involving geometry in direct way like you). [[User:Kamil Kielczewski|Kamil Kielczewski]] ([[User talk:Kamil Kielczewski|talk]]) 09:49, 14 April 2023 (UTC)
::If you don't want {{mvar|a}}, {{mvar|b}} and {{mvar|c}}, the shorter-than-Zimba proof gets even shorter.  With the angle-addition formula for sines and {{math|1=''γ'' = ''α'' + ''β''}}, the result is immediate: one can insert {{math|1=cos ''β'' = sin ''α''}}, {{math|1=sin ''β'' = cos ''α''}}, and {{math|1=sin ''γ'' = 1}} into {{math|1=sin ''γ'' = sin ''α'' cos ''β'' + sin ''β'' cos ''α''}} to give {{math|1=1 = sin{{sup|2}} ''α'' + cos{{sup|2}} ''α''}}. —[[User:Quantling|<span class="texhtml"><i>Q</i></span>uantling]]&nbsp;([[User talk:Quantling|talk]]&nbsp;&#124;&nbsp;[[Special:Contributions/Quantling|contribs]]) 13:35, 14 April 2023 (UTC)
:::<math>\sin\gamma=1</math> cannot be used because the trigonometric definition of sine as ration of opposite side to hypotenuse does not apply, namely, you cannot have two right angles inside a right triangle! Zimba was careful to note that trigonometric functions of angles <math>0</math> or <math>\frac{\pi}{2}</math> cannot be directly used. [[User:Danko Georgiev|Danko Georgiev]] ([[User talk:Danko Georgiev|talk]]) 11:36, 15 April 2023 (UTC)
:::In your proof, you assume that sin α = cos β and sin γ = sin(α + β)=1 - I'm not sure that this assumptions are independent of Pythagorean theorem - you also didn't explain where you got these assumptions from? (from geometry - triangle?). Zimba assumptions was weaker than your - he use arbitrary x and y angles and assume only that 0 < y < x < pi/2. (so he did not have to refer to any geometrical figure). This is why Zimba proof is quite interesting and qualitative different from other proofs. [[User:Kamil Kielczewski|Kamil Kielczewski]] ([[User talk:Kamil Kielczewski|talk]]) 14:48, 14 April 2023 (UTC)
::::As I see it, the opposite of {{mvar|α}} is the adjacent of {{mvar|β}} (and vice-versa) when they are from a right triangle, so {{math|1=sin ''α'' = cos ''β''}} and {{math|1=cos ''α'' = sin ''β''}} follow immediately from the definitions that Zimba gives for {{math|sin}} and {{math|cos}}.  Zimba uses that {{mvar|α}} (well, "{{mvar|x}}" in his notation) is from a right-triangle when he argues that {{math|1= sin{{sup|2}} ''α'' + cos{{sup|2}} ''α'' = 1}} leads to {{math|1=(''a''/''c''){{sup|2}} + (''b''/''c''){{sup|2}}}}.  (In contrast, instead of {{math|1=''β'' = ''π''/2 − ''α''}}, Zimba uses an unrelated angle "{{mvar|y}}".)
::::I see that Zimba argues that {{math|sin}} and {{math|cos}} as he defines them are defined only on the open interval {{math|(0, ''π''/2)}}, but not at {{math|0}} or at {{math|''π''/2}}.  I'm not sure why he couldn't have simply specified the value of those functions at those points and then shown that the subtraction formulas still work when one or more of their inputs are in this expanded domain.  Perhaps he considered that less elegant than the approach he did take.
::::I am curious.  Does Zimba claim to be the first to observe that the angle-subtraction formulas for sine and cosine can be proved without assuming the Pythagorean theorem?  Does Zimba claim to be the first to observe that the subtraction formulas can be used to prove {{math|1= sin{{sup|2}} ''α'' + cos{{sup|2}} ''α'' = 1}}?  Does Zimba claim to be the first to put these two thoughts together?  Does Zimba claim that his approach is distinct from previous approaches because he avoided using {{math|sin}} and {{math|cos}} at {{math|0}} and {{math|''π''/2}}?  —[[User:Quantling|<span class="texhtml"><i>Q</i></span>uantling]]&nbsp;([[User talk:Quantling|talk]]&nbsp;&#124;&nbsp;[[Special:Contributions/Quantling|contribs]]) 16:22, 14 April 2023 (UTC)
:::::You use sin, cos and γ, α, β with asumption sin α = cos β and sin γ = sin(α + β)=1
:::::He use sin, cos and angles x,y with asumption 0 < y < x < pi/2.
:::::I think that if your sin/cos funtions are the same as Zimba sin/cos functions (at least in (0,pi/2)) then whe shoud not refer to they definitions when we compare proofs - because you both uses same functions. 
:::::Zimba only shows that functions sin/cos can be defined independent of Pythagorean theorem, to be sure that using them in proofs is allowed. 
:::::But back to the proofs themselves - his proof is just pure symbolic and base only on sin/cos properties (substraction formulas) (which is somehow beautiful), your proof (I supose) need to relate to some triangle.
:::::I'm not sure that Zimba was first - but if not, then should exists similar results before him. But so far I haven't found any [[User:Kamil Kielczewski|Kamil Kielczewski]] ([[User talk:Kamil Kielczewski|talk]]) 17:32, 14 April 2023 (UTC)
::::::Yes, we'd need a secondary source to make any claim that a proof was 'first'. We can't rely on what editors happen to have found themselves. [[User:MrOllie|MrOllie]] ([[User talk:MrOllie|talk]]) 17:53, 14 April 2023 (UTC)
:::::::Yep, but deleted proof ([https://en.wikipedia.org/w/index.php?title=Pythagorean_theorem&oldid=1149322678#Jason_Zimba_trigonometric_proof%5B25%5D here]) not contains information that it was first. [[User:Kamil Kielczewski|Kamil Kielczewski]] ([[User talk:Kamil Kielczewski|talk]]) 18:02, 14 April 2023 (UTC)
::::::::You claimed it was first further up this page. But the text in the article itself presented no indication that it is noteworthy - Which is why it got deleted. Subjective claims about simplicity and simplifying things on the talk page might be a fun diversion, but the only way a mention could stay in the article is with good support from secondary sourcing - and not in the form of self-published arxiv stuff. - [[User:MrOllie|MrOllie]] ([[User talk:MrOllie|talk]]) 18:06, 14 April 2023 (UTC)
:::::::::{{reply to|Kamil Kielczewski}} Regarding "his proof is just pure symbolic ... your proof (I supose) need to relate to some triangle."  He uses triangles, but I suppose that you mean ''right'' triangles.  Yes, agreed, he gets all the way to {{math|1= sin{{sup|2}} ''x'' + cos{{sup|2}} ''x'' = 1}} without referring to a right triangle, though he needs a right triangle for the next step, to get to {{math|1=(''a''/''c''){{sup|2}} + (''b''/''c''){{sup|2}} =  1}}.  {{reply to|MrOllie}} Agreed!  —[[User:Quantling|<span class="texhtml"><i>Q</i></span>uantling]]&nbsp;([[User talk:Quantling|talk]]&nbsp;&#124;&nbsp;[[Special:Contributions/Quantling|contribs]]) 18:15, 14 April 2023 (UTC)
::::::::::yep, agree [[User:Kamil Kielczewski|Kamil Kielczewski]] ([[User talk:Kamil Kielczewski|talk]]) 18:37, 14 April 2023 (UTC)
:::::::@[[User:D.Lazard|D.Lazard]] @[[User:MrOllie|MrOllie]] I found a solution to this impasse.
:::::::Currently in the article in the [https://en.wikipedia.org/wiki/Pythagorean_theorem#Algebraic_proofs Algebraic proofs] section there is a proof based on [http://www.cut-the-knot.org/pythagoras/index.shtml#4 this source] - so you consider this source to be reliable.
:::::::Well, Zimba's proof has also been included in this source which you found reliable (because you allowed this source to be used on this page for many years) [https://www.cut-the-knot.org/pythagoras/TrigProof.shtml here].
:::::::In both proofs in this source there is information about who is considered to be the first author of the proof (12th century Hindu mathematician Bhaskara, and Jason Zimba) - although in both proofs on Wikipedia this information is not provided.
:::::::Therefore, it can be consistently assumed that information about Zimba's proof is based on reliable sources (unless you have double standards) [[User:Kamil Kielczewski|Kamil Kielczewski]] ([[User talk:Kamil Kielczewski|talk]]) 08:14, 15 April 2023 (UTC)
::::::::The fact that a proof is sourced from a unreliable source does not means that there are not reliable sources for this proof. In fact, the Cut-the-knot page for the algebraic proof refers to several older sources (one is almost 2,000 years old). On the other hand, the Cut-the-knot page for Zimba's article refers only to Zimba's article.
::::::::Also, comparing Zimba's proof with that of {{alink|Trigonometric proof using Einstein's construction}}, I cannot see any advantage of Zimba's proof: both use the definition of sine and cosine given in [[Trigonometric ratios]] and similarity of right triangles. The latter is simple and direct, while Zimba's proof requires an elaborated geometrical construction and the proof of an auxiliary trigonometric formula.
::::::::Also, the last sentence of Zimba's introduction suggest that his aim is to prove the [[Pythagorean trigonometric identity]] without using the [[Pythagorean theorem]], rather that proving the [[Pythagorean theorem]] without using [[Pythagorean trigonometric identity]]. This suggests that his article is not primarily about a proof of the [[Pythagorean theorem]]. In any case, {{alink|Trigonometric proof using Einstein's construction}} can be easily modified for proving both simultaneously.
::::::::These are technical reason for not including Zimba's proof, but, again, the main reason for not including it is that inclusion requires [[WP:Notability]], and Zimba's article is not notable enough for being mentioned. [[User:D.Lazard|D.Lazard]] ([[User talk:D.Lazard|talk]]) 10:02, 15 April 2023 (UTC)
::::::The definition of trigonometric functions given in [[Trigonometric ratios]] is standard from centuries on, and is independent from Pythagorean theorem. So, Zimba's definition has nothing new. As Pythagorean theorem is about right triangles, it is impossible to provide a proof that does not involve any right triangle. The trigonometric proof given in the article does not require subtraction formula or any other trigonometric identity. [[User:D.Lazard|D.Lazard]] ([[User talk:D.Lazard|talk]]) 18:20, 14 April 2023 (UTC)
:::::::I'm surprised by what you write - can you provide a link (or explain it) to a trigonometric proof which not require any other trigonometric identity? [[User:Kamil Kielczewski|Kamil Kielczewski]] ([[User talk:Kamil Kielczewski|talk]]) 18:35, 14 April 2023 (UTC)
::::::::Look at {{alink|Trigonometric proof using Einstein's construction}}. [[User:D.Lazard|D.Lazard]] ([[User talk:D.Lazard|talk]]) 10:05, 15 April 2023 (UTC)
:::::::{{tq|i=yes| standard from centuries on,}} – To be precise, this definition dates from about the middle of the 18th century, and became standard somewhere around the middle of the 19th century. –[[user:jacobolus|jacobolus]] [[User_talk:jacobolus|(t)]] 18:46, 14 April 2023 (UTC)


== Relation to the cross product ==

The section {{slink|Pythagorean theorem|Relation to the cross product}} gives true math, but it isn't closely enough related to the Pythagorean theorem.  Specifically,
# Because the sides of length {{mvar|a}} and {{mvar|b}} are perpendicular to each other the value of {{math|'''a''' · '''b'''}} is always zero.
# The right-hand side, {{math|‖'''a'''‖ ‖'''b'''‖}}, doesn't look anything like the Pythagorean theorem's {{math|''c''{{isup|2}}}}.
We could improve this by changing occurrences of {{mvar|b}} to {{mvar|c}}.  In that case the equation {{math|1=('''a''' · '''c'''){{sup|2}} + ‖'''a''' × '''c'''‖{{sup|2}} = (‖'''a'''‖ ‖'''c'''‖){{sup|2}}}}, would be {{math|1=''(aa)''{{sup|2}} + ''(ab)''{{sup|2}} = ''(ac)''{{sup|2}}}}.  I'd make the change to the text, but I don't know how to make the corresponding change to the graphic.  Help!  —[[User:Quantling|<span class="texhtml"><i>Q</i></span>uantling]]&nbsp;([[User talk:Quantling|talk]]&nbsp;&#124;&nbsp;[[Special:Contributions/Quantling|contribs]]) 16:38, 13 April 2023 (UTC)
:I suggest to remove this section. I have never heard of a relationship between Pythagorean theorem and the cross product, and I do not see in the section any indication of such a relationship. [[User:D.Lazard|D.Lazard]] ([[User talk:D.Lazard|talk]]) 17:12, 13 April 2023 (UTC)
::Given that the norm of a cross product is a sine times the vector lengths and the dot product is a cosine times the vector lengths, it is pretty straightforward to plug these into a Pythagorean theorem.  I'd do it with {{math|'''c'''}} instead of {{math|'''b'''}}, but otherwise it works.  However, big picture, I am neutral as to whether this is sufficiently noteworthy and interesting; if no other editor chimes in, don't let me stop you from deleting the section.  (But if there is some support, maybe let's mend it rather than end it.)  Thanks —[[User:Quantling|<span class="texhtml"><i>Q</i></span>uantling]]&nbsp;([[User talk:Quantling|talk]]&nbsp;&#124;&nbsp;[[Special:Contributions/Quantling|contribs]]) 13:41, 14 April 2023 (UTC)
::There are at least a couple relevant relationships. First, for any two Euclidean vectors <math>a</math> and <math>b,</math> the [[geometric algebra|geometric product]] is <math>ab = a \wedge b + a \cdot b,</math> and these parts satisfy <math>|ab|^2 = |a \wedge b|^2 + |a \cdot b|^2.</math>
::Relatedly, if you start with two vectors which are perpendicular <math>a\cdot b  = 0,</math> then you have <math>(a + b)^2 = a^2 + b^2.</math> –[[user:jacobolus|jacobolus]] [[User_talk:jacobolus|(t)]] 18:31, 14 April 2023 (UTC)

== Algebraic Proofs: edit request to number and  rearrange the diagram ==

I don't have time now, tho maybe i'll do this myself later. 
(1) All figures should be numbered, and referred to by number in the text, not just in  this section but over the entire article. A good way would be to number sections and do Figure 1-1, 1-2, 2-1, etc. so renumbering does not have to occur as much when edits are done. 

(2) There is a two-panel diagram here with an upper and a lower panel. But the text talks about the lower panel first, then the upper, which is confusing. The diagram should be cut in half and made into two, rearranged in the logical order. [[User:Editeur24|editeur24]] ([[User talk:Editeur24|talk]]) 14:20, 14 April 2023 (UTC)

:The problem with numbering the figures in semi-popular Wikipedia articles is that the numbering very rarely stays up to date as many Wikipedians make slight changes here and there. It takes someone constantly checking to maintain the numbering. Per the manual of style, sections "[should] not be numbered or lettered as an outline". –[[user:jacobolus|jacobolus]] [[User_talk:jacobolus|(t)]] 19:46, 14 April 2023 (UTC)

== New trigonometric proof ==

This [https://www.youtube.com/watch?v=p6j2nZKwf20 video] by ''polymathematic'' demonstrates a trigonometric proof of the Pythagorean theorem recently discovered by Calcea Johnson and Ne'Kiya Jackson, two high school students at St. Mary's Academy in New Orleans, who recently presented it at the (2023?) Spring Southeastern Sectional Meeting of the [[American Mathematical Society]]. They used a pure (mostly) trigonometric proof, using what they call a "waffle cone" geometric construction to arrive at the equation a<sup>2</sup> + b<sup>2</sup> = 2ab / sin (2a) = c<sup>2</sup>. It would be nice to add this to the article, in the "Trigonometric Proofs" section. (I'm not sure how to present this proof myself.) —&nbsp;[[User:Loadmaster|Loadmaster]] ([[User talk:Loadmaster|talk]]) 22:57, 23 April 2023 (UTC)

:See multiple long discussions above, starting at {{slink||Proof using trigonometry}} —[[User:David Eppstein|David Eppstein]] ([[User talk:David Eppstein|talk]]) 07:16, 24 April 2023 (UTC)
::Archived discussion is [[Talk:Pythagorean_theorem/Archive 7#Proof using trigonometry|here]]. —&nbsp;[[User:Loadmaster|Loadmaster]] ([[User talk:Loadmaster|talk]]) 23:20, 30 October 2024 (UTC)

== "[[:Pythagoras' theorem proof (rational trigonometry)]]" listed at [[Wikipedia:Redirects for discussion|Redirects for discussion]] ==

The redirect <span class="plainlinks">[//en.wikipedia.org/w/index.php?title=Pythagoras%27_theorem_proof_(rational_trigonometry)&redirect=no Pythagoras' theorem proof (rational trigonometry)]</span> has been listed at [[Wikipedia:Redirects for discussion|redirects for discussion]] to determine whether its use and function meets the [[Wikipedia:Redirect|redirect guidelines]]. Readers of this page are welcome to comment on this redirect at '''{{slink|Wikipedia:Redirects for discussion/Log/2023 April 29#Pythagoras' theorem proof (rational trigonometry)}}''' until a consensus is reached.<span style="font-family:Segoe Script">[[User:Jay| Jay]]</span><span style="font-size:115%">[[User talk:Jay| 💬]]</span> 06:59, 7 May 2023 (UTC)

== Semi-protected edit request on 7 May 2023 ==

{{edit semi-protected|Pythagorean theorem|answered=yes}}
Please, move the first formula on the page to go right after the first paragraph (if you view the page on a mobile device now, you will not see the formula where it should be). [[User:Germanivanov0719|Germanivanov0719]] ([[User talk:Germanivanov0719|talk]]) 18:11, 7 May 2023 (UTC)

: I don't understand the request. Can you elaborate? –[[user:jacobolus|jacobolus]] [[User_talk:jacobolus|(t)]] 18:25, 7 May 2023 (UTC)
::I don't understand either. When I view the article on a mobile device (using the Android app on my phone) I do see the formula where it should be, immediately below the first paragraph and above the (minimized) infobox. —[[User:David Eppstein|David Eppstein]] ([[User talk:David Eppstein|talk]]) 18:30, 7 May 2023 (UTC)
:::I don't know how to minimize the infobox, and I'm using the default theme. Could you try using the DevTools to decrease the view width to see if that breaks it (you need to reload the page after you change the view)? I've tested it on my Android phone and on macOS, both with Chrome, and I have the same problem. [[User:Germanivanov0719|Germanivanov0719]] ([[User talk:Germanivanov0719|talk]]) 18:39, 7 May 2023 (UTC)
::Try opening the page on a phone. The first paragraph end with "...often called the '''Pythagorean equation''':", and instead of the the equation you will see this box with information about the theorem. The formula will be below that box. [[User:Germanivanov0719|Germanivanov0719]] ([[User talk:Germanivanov0719|talk]]) 18:31, 7 May 2023 (UTC)
:::This seems like a Mediawiki problem. The infobox is at the top of the page in the source, and the equation immediately follows the paragraph. I think Mediawiki's mobile view perhaps special-cases the leading image or infobox to move it after the first paragraph? Not sure if there's a good workaround to force the equation to stay with the paragraph. We could perhaps try adding a paragraph break earlier so that the sentence stays with the equation. –[[user:jacobolus|jacobolus]] [[User_talk:jacobolus|(t)]] 18:42, 7 May 2023 (UTC)
::::I tried making such a change. We can discuss whether it's worth it to make article content compromises for this, or if there's some other work around, and possibly revert that change. Does that at least fix the problem? –[[user:jacobolus|jacobolus]] [[User_talk:jacobolus|(t)]] 18:50, 7 May 2023 (UTC)
:::::Yes, now the formula is after the paragraph, which is after the infobox. [[User:Germanivanov0719|Germanivanov0719]] ([[User talk:Germanivanov0719|talk]]) 18:55, 7 May 2023 (UTC)

== Reverse mathematics perspective ==

Seems like everybody has this backwards.  The Pythagorian
theorem is a generalization of empirical observations, probably going
back to ancient monument construction.  Observations that all
right triangles satisfy the Pythagorean theorem to within precision
of the methods available in ancient times, no matter where or 
when the measurements are made, provides inductive support
for the homogeneity, 
isotropy, and scale-invariance of the world.  
We can deduce the parallel postulate and other important
elements of geometry from the Pythagorean theorem.  Doesn't this seem like it makes
more sense than trying to empirically verify
the parallel-postulate?  And at very large scales empirical support
for the Pythagorean theorem
fails, leading naturally to other geometries.   Maybe somebody with greater wiki
expertise could add a section on reverse mathematics
atleast mentioning this perspective.   The article introduction
asserts that there are many ways to "prove" the Pythagorean theorem, but gives no clear acknowledgement of the parallel postulate or alternatives upon which proofs should be critiqued. [[User:Uscitizenjason|Uscitizenjason]] ([[User talk:Uscitizenjason|talk]]) 19:13, 8 January 2024 (UTC)

:If you want this perspective to be represented in the article, you are going to need to find published and scholarly sources that express the same sentiments. We cannot add material based purely on the musings of random Wikipedia editors. —[[User:David Eppstein|David Eppstein]] ([[User talk:David Eppstein|talk]]) 21:07, 8 January 2024 (UTC)
::Well, the idea of using axioms that were empirically motivatable was part of the spirit of [[Birkhoff's axioms]] of geometry, although he chose to use similar triangles rather than the Pythagorean theorem. [[User:Uscitizenjason|Uscitizenjason]] ([[User talk:Uscitizenjason|talk]]) 18:57, 12 January 2024 (UTC)
:::I'd say the "idea of using axioms that were empirically motivatable" was most of the spirit of Euclid's axioms (and various alternatives over the following centuries).
:::In any event, it is certainly the case that you could reshuffle your set of axioms to include the Pythagorean relation, if you wanted to. I'm not sure to what extent, if any, discussing this point is super useful in the context this page. –[[user:jacobolus|jacobolus]] [[User_talk:jacobolus|(t)]] 21:02, 12 January 2024 (UTC)
:Until the middle of the 19th century, all axioms of mathematics were abstractions of empirical experiments. You are talking of the relationship between the parallel postulate and the Pythagorean theorem. It is true that for proving the Pythagorean theorem, one needs the parallel postulate or something equivalent. But the converse is not true, since the Pythagorean requires a notion of distance. In particular, in an [[affine space]], the parallel postulate is verified, but there is no notion of right angle.
:I understand your "reverse perspective" as the study of the axioms that are needed for proving some theorems. [[Emil Artin]]'s book [[Geometric Algebra (book)|''Geometric algebra'']] is a rather complete study of this kind of questions. [[User:D.Lazard|D.Lazard]] ([[User talk:D.Lazard|talk]]) 20:39, 12 January 2024 (UTC)
::The page on the [[parallel postulate]] claims that the Pythagorean theorem is equivalent to the fifth postulate.  I've added a brief blurb to this effect in the Pythagorean theorem article.  —[[User:Quantling|<span class="texhtml"><i>Q</i></span>uantling]]&nbsp;([[User talk:Quantling|talk]]&nbsp;&#124;&nbsp;[[Special:Contributions/Quantling|contribs]]) 20:49, 12 January 2024 (UTC)
:::That's in conjunction with postulate 3 saying you can draw circles (and various other assumptions left unstated by the ''Elements'', such as that a circle intersects every line through its center). –[[user:jacobolus|jacobolus]] [[User_talk:jacobolus|(t)]] 21:05, 12 January 2024 (UTC)

== Simple algebraic proof using similar triangles ==


[[File:Pythagorean theorem triangles.png|thumb|]]

Looking at the hypotenuse and height of the three [[similarity (geometry)|similar]] triangles, we can write the following products and ratios relationships, then multiply them:


a·a' +  b·b'  =  c·c'    (products = 2 x areas)

a/a' =  b/b'  =  c/c'    (ratios)

{{Equation box 1
|equation = <math>a^2  +  b^2  =  c^2</math>
|cellpadding=10
|border
|border colour = #333
|background colour = #fff}}


Dividing them naturally also gives us:  a'<sup>2</sup> + b'<sup>2</sup> = c'<sup>2</sup> 


[note to self: add reliable sources here]


[[User:Weallwiki|Weallwiki]] ([[User talk:Weallwiki|talk]]) 16:20, 7 March 2024 (UTC)

:This page doesn't need more proofs, unless they are (a) published in reliable sources, and (b) in some way particularly notable or interesting, as described in reliable sources. We already have more than enough proofs to make the general point that the possible list of proofs is endless. With that said though, this is a fine proof. Nice work. If you can find some website that attempts to comprehensively list as many proofs as possible, you could submit this there. (Unfortunately [[Alexander Bogomolny]] died a few years ago, so I don't think [https://www.cut-the-knot.org/pythagoras/ cut-the-knot.org/pythagoras/] is taking new submissions.) –[[user:jacobolus|jacobolus]] [[User_talk:jacobolus|(t)]] 16:57, 7 March 2024 (UTC)
:This is fairly simple, so I like that.  I see that the triangles are similar, but we'd want to explain that.  I do hope you find a [[WP:RS|reliable source]] that shows that this is sufficiently [[WP:N|notable]]. —[[User:Quantling|<span class="texhtml"><i>Q</i></span>uantling]]&nbsp;([[User talk:Quantling|talk]]&nbsp;&#124;&nbsp;[[Special:Contributions/Quantling|contribs]]) 17:41, 7 March 2024 (UTC)
:Thanks for the great feedback so far, will look into making these improvements.  [[User:Weallwiki|Weallwiki]] ([[User talk:Weallwiki|talk]]) 21:21, 7 March 2024 (UTC)

== Create an article for proof of Pythagorean theorem's only ==

Note that the article [[Pythagorean theorem]] should focus on explaining the Pythagorean theorem. However, at this point, the article also contains lots of proof of this theorem. In that case, should both sections [[Pythagorean theorem#Proofs using constructed squares]] and [[Pythagorean theorem#Other proofs of the theorem]] be split into the article [[Proofs of Pythagorean theorem]]? The fact I have discussed in the [[WT:GAN]], and IMO this regards [[WP:GACR|GACR2a]] and GACR3b. [[User:Dedhert.Jr|Dedhert.Jr]] ([[User talk:Dedhert.Jr|talk]]) 10:20, 12 March 2024 (UTC)

:I have no clear opinion whether the article must be split. However, here are some comments.
:* The sections on proofs are presently in the middle of the explanations of the theorem, its consequences and its applications. Readers interested in these aspects of the theorem have thus to skip a wall of text that can be interesting in the whole for very few readers only. So, an immediate very useful action would be to move these sections toward the end of the article, possibly with a link in the lead.
:* The sections on proofs require to be restructured and largely rewritten. Presently they appear as an [[WP:indiscriminate]] list, and, often, the headings do not give the needed information on the specifity of the proof method.
:* It seems that the main reason for a split is that, without a split, much more work is needed to reach the good-article status. I do not know whether tis is a good reason for a split
:[[User:D.Lazard|D.Lazard]] ([[User talk:D.Lazard|talk]]) 13:12, 12 March 2024 (UTC)
::I don't think a split is necessary. There's not so much material here that it can't fit in a single article, and proofs are obviously one of the main things to discuss about a theorem. The sections on proofs should definitely be better organized for narrative flow. This kind of list that slowly accretes inconsistent items without curation is pretty common among popular older pages. I just tried to do some cleanup on the somewhat similar list of derivations at [[quadratic formula]].
::I don't think making readers skim past roughly the current quantity of text about various proofs is necessarily a problem – the proofs are important and insightful – but we should make some effort to make reading through the text pleasant and comprehensible. More important in my opinion is to find clear sources for every proof, ideally mention who first made each proof and link to the original, make the formatting and illustrations a bit more orderly and maybe more consistent in style.
:: A couple more notes: Even if the article is split at least 5–6 different proofs should be covered in detail on the main page, taking roughly as much space they currently take. I'm concerned that an explicit article about proofs would become an indiscriminate grab-bag of mediocre crap, and it would be harder to push back against adding this or that arbitrary proof that anyone wants to include. –[[user:jacobolus|jacobolus]] [[User_talk:jacobolus|(t)]] 14:39, 12 March 2024 (UTC)
:::I agree in spirit that some proofs should remain behind, with a pointer to the (new) main article that has those and additional proofs.  I might haggle over whether it should be 5–6 vs. 2–3 that survive in the present article, but that's just details.
:::Yes, the new article could become a grab-bag, but I think that that is okay.  If the user has come looking for proofs, let's give them proofs.  We'll have some minimum standards of course, but we can make the threshold a ''little'' lower than it is for proofs that are presently in this article. —[[User:Quantling|<span class="texhtml"><i>Q</i></span>uantling]]&nbsp;([[User talk:Quantling|talk]]&nbsp;&#124;&nbsp;[[Special:Contributions/Quantling|contribs]]) 16:27, 12 March 2024 (UTC)
::::I think the grab-bag articles should generally be avoided where it's relatively straightforward to do so. They typically end up turning into substantially useless unreadable sludge. In the case where there is some important reference material involved, e.g. [[list of trigonometric identities]], some readers might be willing to wade through that to find a point they are looking for (though I question how many), but for something like a list of proofs this doesn't seem that valuable to me. I would instead just direct readers to [https://www.cut-the-knot.org/pythagoras/ cut-the-knot.org/pythagoras], Loomis (1968) [https://archive.org/details/pythagoreanpropo0000loom_b2m3 ''The Pythagorean Proposition''] ([https://files.eric.ed.gov/fulltext/ED037335.pdf alternate scan]), etc. –[[user:jacobolus|jacobolus]] [[User_talk:jacobolus|(t)]] 16:35, 12 March 2024 (UTC)
:::::If the alternative way is keeping them in the article, the scenario I imagined would probably restructure sections in which the article presents the statement of theorem and its converse firstly and then a single proof of the theorem, and add the link, redirecting the latter section. [[User:Dedhert.Jr|Dedhert.Jr]] ([[User talk:Dedhert.Jr|talk]]) 12:27, 13 March 2024 (UTC)
:'''Support split:''' I would like to see that split.  I think that readers who are looking for multiple proofs can be substantially different from readers who are looking to learn non-proof aspects of the Pythagorean theorem.  I think that fully supporting both goals, now and into the future, will make a single article too long and too hard to navigate.  —[[User:Quantling|<span class="texhtml"><i>Q</i></span>uantling]]&nbsp;([[User talk:Quantling|talk]]&nbsp;&#124;&nbsp;[[Special:Contributions/Quantling|contribs]]) 15:26, 12 March 2024 (UTC)
:'''Comment:''' The new article's title might be [[Proofs of the Pythagorean theorem]].  —[[User:Quantling|<span class="texhtml"><i>Q</i></span>uantling]]&nbsp;([[User talk:Quantling|talk]]&nbsp;&#124;&nbsp;[[Special:Contributions/Quantling|contribs]]) 16:33, 12 March 2024 (UTC)
:I am inclined against this, on general following-the-sources grounds. In my experience, the texts that cover the Pythagorean theorem at an introductory level don't just apply it; they prove it in one or more ways. We'd be the oddballs if we separated the proofs out entirely. Doing mundane cleanup and readability-improvement work on the material currently in the article seems more important. [[User:XOR&#39;easter|XOR&#39;easter]] ([[User talk:XOR&#39;easter|talk]]) 18:49, 12 March 2024 (UTC)
::I'm inclined against this on somewhat different grounds: having an article specifically devoted to collecting proofs of the theorem seems likely to grow into a huge indiscriminate collection of proofs, something that I do not think would make for a good encyclopedia article. It would be a cruft magnet. That sort of thing is only marginally effective at keeping the cruft out of the main article and instead encourages the accumulation of more cruft. Instead, keeping it only in this one article maintains the pressure to stay at roughly the amount of content that we already have: a properly sourced statement that there are huge numbers of proofs that you can find in certain books, and a small (and I hope carefully-curated) selection of proofs. —[[User:David Eppstein|David Eppstein]] ([[User talk:David Eppstein|talk]]) 19:41, 12 March 2024 (UTC)
:::I remember that the list of all proofs may be suggested to relocate them into the WikiBooks. If this is a good idea, maybe we can add the link in the external link. However, I prefer to hear from others. [[User:Dedhert.Jr|Dedhert.Jr]] ([[User talk:Dedhert.Jr|talk]]) 12:36, 13 March 2024 (UTC)

:'''Support split'''. As others here will know, there has been much discussion about when and whether proofs should be included in mathematics articles (see for example: [[Wikipedia talk:WikiProject Mathematics/Proofs]], [[Wikipedia talk:WikiProject Mathematics/Proofs/Archive 1]], [[Wikipedia talk:WikiProject Mathematics/Proofs/Archive 1]], as well as [https://en.wikipedia.org/w/index.php?title=Special:Search&limit=500&offset=0&ns0=1&prefix=Wikipedia+talk%3AWikiProject+Mathematics&search=proofs this search list]). I've been involved in many of these, and I believe the general consensus has been that ''most proofs have little encyclopedic value''. But some do (e.g. the irrationality of the [[Square root of 2]], [[Cantor's diagonal argument]], [[Gödel's incompleteness theorems]]), and I also believe that some proofs of the Pythagorean theorem do too, but certainly not all (or at least not in this article). However this theorem is unique in that there have been so ''many'' proofs discovered (or created ;-)), so that, to me, an article devoted to them seems warranted. Of course, as {{u|jacobolus}} points out above we need reliable sources for every proof we publish, and it seems to me that rigid enforcement of this would deal with the "cruft" problem. [[User:Paul August|Paul August]] [[User_talk:Paul August|&#9742;]] 13:43, 13 March 2024 (UTC)
::Proofs aren't particularly helpful for validating most statement in most encyclopedia articles. In articles about a broad topic or field of study it's sometimes worth having a short proof or two ''as illustrative examples'' rather than as validation for claims made. But in an article ''about a theorem'' a proof or proofs are obviously directly relevant. Indeed I would hope every article about a theorem should include at least some kind of proof sketch or motivating idea, and articles about theorems famous for their multiple proofs should describe or include the most noteworthy ones (to the extent practical; obviously some proofs are extremely long or technical). Clearly ''all'' (infinitely many) proofs of the Pythagorean theorem can't be in scope here, but the proofs can be categorized into 4–5 broad groups, and 1–3 notable examples from each group should be included on this page, irrespective of what material is included on other articles. Many are quite short or can be expressed pictorially. –[[user:jacobolus|jacobolus]] [[User_talk:jacobolus|(t)]] 15:04, 13 March 2024 (UTC)
:*'''Support split''' per above discussion.
:[[User:Youprayteas|Youprayteas]] [[User talk:Youprayteas|<sup>talk</sup>]]<sup>/</sup>[[Special:Contributions/Youprayteas|<sup>contribs</sup>]] 13:28, 14 April 2024 (UTC)

I can see an interest of (some) readers to have comprehensive collection of proofs, which doesn't fit into this article. But imho Wikipedia is not the appropriate place for that, there are other options within in Wikimedia to provide such a collection to readers. One could integrate it into existing Wikibook projects for proofs or set up a dedicated Wikibook project just for this collection. As an external option there is the [https://proofwiki.org ProofWiki] project. Our article should offer links to such collections in the external links section.--[[User:Kmhkmh|Kmhkmh]] ([[User talk:Kmhkmh|talk]]) 23:08, 13 March 2024 (UTC)

:<blockquote>... there are other options within in Wikimedia to provide such a collection to readers.</blockquote>
:This may be the way to go.  I am not familiar with these other ways.  For example, I consider Wikipedia to be fairly reliable because there are many good editors keeping an eye out for quality; are these other options as reliable in practice and by reputation?  Because, if not, I'd like there to be a reliable collection in Wikipedia itself in [[Proofs of the Pythagorean theorem]].  —[[User:Quantling|<span class="texhtml"><i>Q</i></span>uantling]]&nbsp;([[User talk:Quantling|talk]]&nbsp;&#124;&nbsp;[[Special:Contributions/Quantling|contribs]]) 14:32, 14 March 2024 (UTC)
::Yes but there is the rub. Wikipedia is fairly reliable and you have good editors keeping an eye because we restrict our content. That exactly a reason to avoid long proofs or list of long proves as their verification takes more time/resources and they are less likely to be checked in detail by other editors.--[[User:Kmhkmh|Kmhkmh]] ([[User talk:Kmhkmh|talk]]) 05:26, 16 March 2024 (UTC)

== Trigometric proofs ==

There are also some trigometric proofs of the theorem.  These could be mentioned.  [[User:Bubba73|Bubba73]] <sup>[[User talk:Bubba73|You talkin' to me?]]</sup> 01:03, 6 May 2024 (UTC)

:Trigonometry is based on Pythagorean theorem. Therefore, a trigonometric proof should be [[circular reasoning|circular]]. Nevertheless, if you know a trigonometric proof that is not circular and ''has been reliably published'', is could be added. [[User:D.Lazard|D.Lazard]] ([[User talk:D.Lazard|talk]]) 08:16, 6 May 2024 (UTC)
::Trigonometry is not inherently based on the Pythagorean theorem. Much of it is, but nowhere near the entirety. After all, the field preceded Pythagoras ([[seked]]). [[User:Dan Wang|Dan Wang]] ([[User talk:Dan Wang|talk]]) 15:21, 9 May 2024 (UTC)
:::Whether the seqed is part of trigonometry is a semantic dispute rather than a historical/factual one. The seqed is not relevant to the type of "trigonometry" intended when someone says "trigonometric proof of the Pythagorean theorem". By any definition that includes the seqed as "trigonometry", most of Book I of Euclid's Elements should likewise count as "trigonometry", including the Pythagorean theorem itself. By typical definitions of trigonometry, however, the subject involves some relation between lines and circular arclengths or angle measures, and really starts with Hipparchus; centuries-older approaches from Egypt and Mesopotamia are a kind of "proto-trigonometry" at best. –[[user:jacobolus|jacobolus]] [[User_talk:jacobolus|(t)]] 15:26, 9 May 2024 (UTC)
:There has been some previous discussion about this topic. See {{slink|Talk:Pythagorean_theorem/Archive_7#Proof_using_trigonometry}} and {{slink||Why Zimba proof was deleted?}}. –[[user:jacobolus|jacobolus]] [[User_talk:jacobolus|(t)]] 16:11, 6 May 2024 (UTC)