Теорема вообще — это некое предположение, которое можно доказать путём логических рассуждений с помощью аксиом (утверждений, не требующих доказательств в рамках некоторой теории).
Если известен человек, который теорему сформулировал и (желательно) доказал, она может носить его имя. В данном конкретном случае — имя древнегреческого философа Пифагора, которому приписывается её формулировка и доказательство.
Теорема Пифагора может быть выражена различными способами.
Например, словами:
а можно — чертежом:
можно и алгебраическим выражением — формулой:
Так что, строго говоря, нельзя утверждать, что теорема Пифагора — это формула. В этом утверждении столько же правды, как, скажем в выражении «»Азбука — это таблица».
Формула — это всего лишь одна из форм записи теоремы, способ её изложения на «алгебраическом языке», простой и наглядный. Но не она сама.