Frakzio sinpletako deskonposaketa

Aljebran, **frakzio sinpletako deskonposaketa** (hau da, zenbakitzailea eta izendatzailea polinomialak diren zatiki bat edo batzuk), zenbakitzaile polinomial baten (agian zero) eta izendatzaile sinpleagoa baten arteko zatiketa bat edo batzuk adierazten dituen eragiketa bat da.

Frakzio sinpletako deskonposaketaren garrantzia honako honetan datza: funtzio arrazionalak dituzten konputazio ezberdinetarako algoritmoak eskaintzen ditu, besteak beste, antideribatuen kalkulu esplizitua, Taylor serie hedapenak, Z-transformatu alderantzizkoak eta Laplace alderantzizkoak. Kontzeptua 1702an aurkitu zuten Johann Bernoulli eta Gottfried Leibnizek modu independentean.

Sinbolikoki, funtzio arrazionalen frakzio sinpletako deskonposaketa horrela irudikatzen da: f(x)/g(x), non f 
 eta g polinomioak diren, eta bere espresioa honakoa da: 

f(x)/g(x) = p(x) + \sum_{j} f_j(x)/g_j(x), 

j bakoitzerako, g_j(x) izendatzailea polinomio irreduzible baten potentzia izanik (hau da, faktorizatu ezin daitekeen maila positiboko polinomioa), eta aldiz, f_j(x) zenbakitzailea aipatutako polinomio irreduzible hori baina maila txikiagoko polinomioa izanik. 

Kalkulu esplizitua egitean, zakarragoa den deskonposaketa egitea nahiago izaten da, eta berau polinomio irreduziblea karraturik gabeko polinomio baten ordezkatzean oinarritzen da. Kalkulu honek, faktorizatu beharreko polinomioa, askoz errazagoa den karraturik gabeko polinomio baten ordezkatzea ahalbidetzen du. Hau nahikoa izango da aplikazio gehienetan, eta honen bidez, koefiziente irrazionalak erabiltzea ekidin daiteke, hasierako polinomioen koefizienteak zenbaki osoak edo arrazionalak izanik.

## Prozedura 
Demagun bi polinomio ditugula, P(x) eta Q(x) = (x - \alpha_1)  (x - \alpha_2) ...(x-\alpha_n), non \alpha_j konstante desberdinak diren eta  degP  n, hau da, P polinomioaren maila n baina txikiagoa den. Orokorrean, zatiki sinpleak honakoa suposatuz lortzen dira,

P(x)\over Q(x) =c_1\over x - \alpha_1+c_2\over x - \alpha_2+...+c_n\over x - \alpha_n,

eta c_j konstanteak lortuz. Azken horiek, berdinketarako koefizienteak erabiliz lortzen dira.

Askoz zuzenagoa den kalkulua, Lagrange-n interpolazioarekin dago zuzenki loturik, eta zehazki honetan oinarritzen da:

P(x)\over Q(x)=\sum_{i=1}^n P(\alpha_i)\over Q\prime(\alpha_i)1\over (x-\alpha_i)

non Q\prime Q polinomioaren deribatua den. 1\over x-\alpha_i-ren koefizienteak P/Q-ren hondarrak dira.

Guzti hau, ordea, ezin daiteke kasu guztietan aplikatu, eta ondorioz, hainbat modifikazio aplikatu behar dira: 

* deg P\leq deg Q bada, beharrezkoa izango da P eta Q-ren arteko zatiketa Euklidearra aplikatzea.P(x)-ri, P(x) = E(x) Q(x) + R(x), balioa emanik, non deg R P(x)\over Q(x)=E(x)+R(x) \over Q(x), eta ondoren R(x) hondarraren faktorizazioa aurkitu beharko da (honek definizioak esan bezala, deg R x^2 + 1 \over (x+2)(x-1)(x^2+x+1)=a\over x+2+b \over x-1+cx+d \over x^2+x+1
* Demagun Q(x) = (x-\alpha)^r dela. Orduan, Q(x) ondorengo moduan deskonposatuko da:                                                                                     P(x)\over Q(x)=P(x)\over (x-\alpha)^r=c_1\over x - \alpha+c_2\over (x-\alpha)^2+
...+c_r \over (x-\alpha)^r

### Adibidea 
Prozedura honen aplikazioa adibide baten bitartez eman daiteke. Adibidez, (3x+5)/(1-2x)^2 honako modu honetara deskonposa daiteke:

3x+5 \over (1-2x)^2=A \over (1-2x)+B \over (1-2x)^2

Izendatzaileak "garbituz" honela geldituko litzateke: 3x+5 = B + A (1-2x)

x-ren eta gai askearen arabera ezarriz:

5 = A + B

3 = -2A

Ekuzio hauetatik A-ren eta B-ren balioa atera daiteke, A = -3/2 eta B = 13/2. Eta beraz, deskonposaketa honela geldituko litzateke: 

3x + 5 \over (1-2x)^2=-3/2 \over (1-2x)+13/2 \over (1-2x)^2

## Kanpo estekak