После того, как теорему сформулировали и доказали первый раз, её можно доказать десятками или сотнями способов, но это всё вторично и не особо интересно.
Так что, пока, на первом месте доказательство от Евклида: площади квадратов = параллелограммов = прямоугольников в составе квадрата. Быть может, кто-то найдёт более раннее доказательство, и это будет весьма и весьма интересно.