Riyazi isbat

Pifaqor teoreminin həndəsi isbatı

Riyazi isbat — elm aləmində qəbul olunmuş aksiom və qaydalar əsasında, ardıcıl məntiqi nəticələrdən istifadə edərək, müəyyən riyazi fərziyyənin doğru olmasını göstərmək deməkdir. Riyaziyyatda isbat fərziyyə müddəalar teorem adlanırlar.

Misal üçün, fərz edək ki, "Düzbucaqlı üçbucaqda katetlərin kvadratları cəmi hipotenuzun kvadratına bərabərdir. Əgər a və b katetlər, c isə hipotenuz olarsa onda a² + b² = c² ". Bu fərziyyə həndəsi aksiom və qaydalar əsasında isbat edilmişdir (bax şəkilə) və Pifaqor (e.ə. 569–475-ci illər) teoremi adlanır.