Bir dik üçgende, hipotenüs ile dik kenarların uzunlukları arasındaki ilişkiyi ifade eden teoremdir.^[1] Başka bir tanımı da şöyle yapılabilir: Bir dik üçgenin iki dik kenarının uzunluklarının kareleri toplamı hipotenüsün uzunluğunun karesine eşittir. Matematiksel olarak a²+b²=c² şeklinde gösterilir. Bu teorem adını ünlü Yunan filozofu Pisagor'dan alır.