58
VIII. Funkcja pierwotna (całka nieoznaczona)
zbadać przypadek, gdy również 4q’—p'2 > 0. Wówczas q > 0, q' > 0 i 4\' qq' > pp' i mamy po kolei (')
= (4?-p2)(4«'-p'2) + 4 (pVq'-p' \tq )2 > (4q-p2)(4q'- p’2).
Tutaj dwa razy występuje znak nierówności słabej, ale równość nie może mieć miejsca w obu wypadkach jednocześnie: jeśli q ^ q\ to równość na pewno nie zachodzi w pierwszym przypadku, jeśli zaś q = q', to na pewno nie zachodzi w drugim. Tak więc nierówność (141), a wraz z nią (14), została udowodniona.
Wykonując podstawienie, przekształcimy całkę do postaci
gdzie P (r) jest wielomianem stopnia 2m— 1, a A > 0. Stosując znowu (dla m > 1) rozkład ułamka właściwego
P{t)
na ułamki proste dojdziemy do sumy całek postaci
W szczególnym przypadku, gdy p = p', redukcję wyrażeń stopnia pierwszego osiągamy jeszcze prościej — przez podstawienie x = t—pjl, i bezpośrednio dochodzimy do całki o wskazanej przed chwilą postaci.
Otrzymana całka rozkłada się w sposób naturalny na dwie:
Ar cc t dt r dt
Pierwszą z nich można łatwo obliczyć stosując podstawienie u = \/at2+f}. Do drugiej można zastosować znane nam już podstawienie Abela
a t
Na mocy (11) mamy
dt
du
a—u
2 >
Ponieważ --Ą— > ^qq'.