Pagina:Lezioni di analisi matematica.pdf/269

Da Wikisource.

integrali 253

dove evidentemente le sono polinomii omogenei di primo grado nelle costanti da determinarsi , , , , , ... . Se

,

la nostra uguaglianza diventa

(3)

Le (3) sono effettivamente un sistema di nove equazioni lineari nelle nove incognite , , ....., ; le quali ora proveremo, si possono risolvere con la regola di Cramer.

Infatti, se la regola di Cramer non fosse applicabile alle (3), il determinante dei coefficienti delle nove incognite in tali equazioni sarebbe nullo. E in tal caso per il teorema del § 27 alle equazioni omogenee che si deducono dalle precedenti (3) sostituendo lo zero al posto delle , si potrebbe soddisfare con valori non tutti nulli delle incognite. Se le sono nulle, anche sarebbe nullo. Quindi, poichè le (3) sono equivalenti alle (2) e (2)bis, si potrebbe soddisfare identicamente alla (2) supponendo identicamente nullo, e le , , ....., , nno tutte nulle. Dimostreremo che ciò è assurdo.

Infatti, se così fosse, da (2) si dedurrebbe in tali ipotesi:

.


Se passiamo al limite per , il primo membro tende a un limite finito; altrettanto dovrà accadere al secondo membro. E quindi è .

Il secondo membro diventa per infinito del primo (e non del secondo) ordine1; altrettanto dovrà avvenire del primo membro. E quindi è divisibile per . Ma in tal caso il primo membro è finito per . Altrettanto deve avvenire al secondo membro. E quindi .

Il secondo membro è infinito del primo (e non del terzo) ordine nei punti (complessi) che annullano . Come sopra se ne dedurrà che è divisibile per e quindi che .

D'altra parte il polinomio di quarto grado può essere divisibile per e per , soltanto se è divisibile per il loro prodotto, che è un polinomio di quinto grado; cioè soltanto se tutte le <math<b</math> sono nulle. È dunque impossibile che , se qualcuna delle nostre incognite , , ..... è differente da zero.

Il nostro teorema risulta così dimostrato; e si vede in più che gli addendi creati sono determinati in modo univoco.

2° Noi dunque sapremo integrare ogni frazione, se sappiamo integrare

) ogni polinomio ;

  1. Quando naturalmente si assuma come infinito principale.