Who proved Pythagoras's theorem? (Q6169869)

This is a well-argued speculative reconstruction of early Greek proofs of the Pythagorean theorem. Given that, in \textit{A commentary on the first book of Euclid's Elements} Proclus writes that he admired ``those who first became acquainted with the truth of this theorem'', and that he ``marvel[s] more at the writer of the \textit{Elements}, not only because he established it by a most lucid demonstration, but because he insisted on the more general theorem by the irrefutable arguments of science in the sixth book'', the author concludes that the proofs in I.47 and VI.31 of Euclid's \textit{Elements} not only could not have been the original ones (VI. 31 needed Eudoxus' theory of proportion), but that they must have been somehow ``refutable''. He concludes, by analysing Hippocrates' quadrature of the lunes and Aristotle's definition of proportionality in \textit{Topics}, 158b, that the original proof must have been one using the concepts of length and area, by way of ``geometric algebra''. Pre-Eudoxian geometry being less rigorous, lacking proper definitions of the notions of length and area and based on Aristotle's problematic definition of proportion, the pre-Eudoxian proof could have been looked upon, in light of Eudoxus' achievement, as ``refutable''.