Pifagor teoremasi — taʼrifi, formulasi va geometrik isboti