Med ord kan dette uttrykkes som at «». Læresetningen er oppkalt etter den greske matematikeren Pytagoras, selv om formelen var kjent før hans tid. Det kan ikke verifiseres at Pytagoras kjente til bevis for setningen.