Соотношение в том или ином виде предположительно было известно различным древним цивилизациям задолго до нашей эры; первое геометрическое доказательство приписывается Пифагору. Утверждение появляется как Предложение 47 в «Началах» Евклида[⇨].
Также может быть выражена как геометрический факт о том, что площадь квадрата, построенного на гипотенузе, равна сумме площадей квадратов, построенных на катетах. Верно и обратное утверждение[⇨]: треугольник, сумма квадратов длин двух сторон которого равна квадрату длины третьей стороны, является прямоугольным.
Существует ряд обобщений данной теоремы[⇨] — для произвольных треугольников, для фигур в пространствах высших размерностей.
В древнекитайской книге «Чжоу би суань цзин», относимой к периоду V—III веков до н. э., приводится треугольник со сторонами 3, 4 и 5, притом изображение можно трактовать как графическое обоснование соотношения теоремы[3]. В китайском сборнике задач «Математика в девяти книгах» (X—II веков до н. э.) применению теоремы посвящена отдельная книга.
Общепринято, что доказательство соотношения дано древнегреческимфилософом Пифагором (570—490 до н. э.). Имеется свидетельство Прокла (412—485 н. э.), что Пифагор использовал алгебраические методы, чтобы находить пифагоровы тройки[⇨][4], но при этом в течение пяти веков после смерти Пифагора прямых упоминаний о доказательстве его авторства не находится. Однако когда такие авторы, как Плутархи Цицерон, пишут о теореме Пифагора, из содержания следует, будто авторство Пифагора общеизвестно и несомненно[5][6]. Существует предание, сообщённое Диогеном Лаэртским, согласно которому Пифагор якобы отпраздновал открытие своей теоремы гигантским пиром, заклав на радостях сотню быков[7].
Приблизительно в 400 году до н. э., согласно Проклу, Платон дал метод нахождения пифагоровых троек, сочетающий алгебру и геометрию. Около в 300 года до н. э. в «Началах» Евклида появилось старейшее аксиоматическое доказательство теоремы Пифагора
Основная формулировка содержит алгебраические действия — в прямоугольном треугольнике, длины катетов которого равны {\displaystyle a} и {\displaystyle b}, а длина гипотенузы — {\displaystyle c}, выполнено соотношение:
{\displaystyle a^{2}+b^{2}=c^{2}}.
Возможна и эквивалентная геометрическая формулировка, прибегающая к понятию площади фигуры: в прямоугольном треугольнике площадь квадрата, построенного на гипотенузе, равна сумме площадей квадратов, построенных на катетах. В таком виде теорема сформулирована в Началах Евклида.
Обратная теорема Пифагора — утверждение о прямоугольности всякого треугольника, длины сторон которого связаны соотношением {\displaystyle a^{2}+b^{2}=c^{2}}. Как следствие, для всякой тройки положительных чисел {\displaystyle a}, {\displaystyle b} и {\displaystyle c}, такой, что {\displaystyle a^{2}+b^{2}=c^{2}}, существует прямоугольный треугольник с катетами {\displaystyle a} и {\displaystyle b} и гипотенузой {\displaystyle c}.