Partialbråksuppdelning: fyra lösta exempel med kontroll

Ett rationellt uttryck kan verka svårare att integrera än det blir efter uppdelning. Exempelvis kan skrivas som två bråk vars primitiva funktioner är logaritmer. Den viktiga svårigheten är att välja rätt form innan konstanterna räknas ut. Saknas en term kan senare algebra inte reparera uppställningen.
Vi går igenom fyra egna exempel: olika linjära faktorer, en upprepad linjär faktor, en irreducibel andragradsfaktor och ett bråk som först kräver division. Varje svar kontrolleras genom att termerna sätts ihop igen. OpenStax Calculus, volym 2, §3.4 beskriver gradvillkoret och faktorformerna. Om du först vill förstå integralen, läs vår guide till integraler. Här arbetar vi med algebran.
Jämför graderna och faktorisera nämnaren
Skriv funktionen som . Partialbråksuppdelning börjar med ett äkta bråk: . Om villkoret inte gäller, dividera med , behåll polynomkvoten och dela upp det äkta restbråket. Kvoten får inte gömmas i okända konstanter.
Faktorisera sedan över de reella talen. Faktorerna bestämmer formen redan innan koefficienterna beräknas:
| Faktor i nämnaren | Termer som behövs |
|---|---|
| Olika linjära | |
| Upprepade linjära | |
| Irreducibel andragradsfaktor |
Uppställningen är en identitet för varje tillåtet , inte bara en likhet vid en bekväm punkt. När nämnarna tagits bort kan konstanterna hittas på två kompletterande sätt: sätt in nollställen till linjära faktorer så att termer försvinner, som i exempel 1 och 2, eller utveckla båda sidor och jämför koefficienten för varje potens av , som i exempel 3. Ett nollställe ger ibland genast en konstant men ersätter sällan all koefficientjämförelse när en andragradsfaktor finns kvar. Kontrollera också de återstående koefficienterna även om flera insättningar verkar ge alla tal. Därför upptäcks den saknade termen i exempel 2: den förkortade formen kan inte uppfylla alla koefficienter samtidigt. Felet gäller strukturen, inte valet av insatt värde. Några vanliga testvärden ger bara ett ändligt ekvationssystem; efter lösningen måste identiteten gälla för alla . Fullständig återsammansättning visar det.
En irreducibel andragradsfaktor saknar reella linjära faktorer. Täljaren över den ska från början vara linjär, även om beräkningen senare ger . Behåll också de värden där den ursprungliga nämnaren är noll. Två uttryck som är lika där båda är definierade blir inte definierade i en tidigare pol. En snabb faktorkontroll förhindrar många formfel.
Exempel 1: två olika linjära faktorer
Dela upp . Täljaren har grad ett och nämnaren grad två, så division behövs inte. Sätt
Multiplikation med nämnaren ger polynomidentiteten . Punkterna är uteslutna från det ursprungliga bråket men får sättas in i denna polynomidentitet. Med får vi och . Med får vi och .
Sätt ihop termerna igen:
Likheten gäller för . Ett enda numeriskt test är svagare: två felaktiga uttryck kan råka stämma vid en punkt. Här stämmer hela täljarpolynomet.
Exempel 2: en upprepad faktor kräver två termer
För behövs båda potenserna av :
Multiplicera med : . Vid är . Vid är , alltså . Koefficienten för ger och . En oberoende kontroll med -koefficienten ger .
När de tre täljarna läggs ihop fås
Alltså är för . En avsiktligt felaktig form är , som saknar termen med första potensen. Den gemensamma täljaren skulle vara . -koefficienten kräver , men konstanten kräver . Motsägelsen visar en saknad term, inte bara ett svårt ekvationssystem. Den fullständiga formen fungerar.
Exempel 3: linjär täljare över en irreducibel andragradsfaktor
Betrakta . Eftersom saknar reell rot får faktorn förbli av andra graden. Formen är
Efter att nämnarna eliminerats står . Vid : , så . Koefficientjämförelse ger och , sedan och . Konstanten stämmer också: . Att blev noll är ett resultat, inte skäl att gissa en konstant täljare i början.
Kontrollen är . Därmed för . För integrering är detta praktiskt: derivatan av är , så den andra termen kan integreras med substitution efter en koefficientjustering. En upprepad andragradsfaktor skulle kräva en egen linjär täljare för varje potens.
Exempel 4: dividera ett oäkta bråk först
I har båda polynomen grad två. Polynomdivision, eller att subtrahera nämnaren en gång, ger
Dela bara upp resten: . Vid får vi och . Vid får vi och . Alltså
Sätt ihop hela svaret, inklusive ettan. De äkta bråken ger . Med ettan återställs täljaren . Om ettan glöms bort stämmer kontrollen av resten, men inte det ursprungliga bråket.
Integrera ett svar och kontrollera med derivata
Återgå till exempel 3. På vart och ett av intervallen som skiljs av integrerar vi termvis:
Derivatan är . Absolutbeloppet behövs kring ; är positivt för reella . Konstanten kan vara olika på åtskilda intervall. Den sista kontrollen fångar integrationsfel, som en tappad faktor två, vilka en riktig uppdelning inte avslöjar.
Om integralen också kräver en annan teknik visar exempel på partiell integration hur en primitiv funktion kontrolleras efter flera steg. Laplacetransformer är ännu ett skäl att kunna algebran: invers transform börjar ofta med en rationell uppdelning. I Math Zen kan faktorisering och derivator övas var för sig innan de förenas i en längre integral.
Snabb kontroll före nästa uppgift
Jämför grader, dividera vid behov, faktorisera nämnaren, skriv en term för varje nödvändig potens, lös polynomidentiteten och sätt ihop hela uttrycket igen. Våra fyra fall kräver olika former, men samma slutkontroll. Om den misslyckas, undersök först formen och sedan räkningen. Ett löst system reparerar inte en saknad term.
Beteendet nära ett uteslutet värde ger en extra ledtråd. I exempel 1 styr termen med nämnare divergensen nära ; utan den kan den ursprungliga polen inte återskapas. En upprepad faktor kan divergera kraftigare än en term med bara första potensen. Den algebraiska återsammansättningen är ändå det slutliga beviset, eftersom en enda pol inte avslöjar varje fel koefficient.
Vanliga frågor
- När måste jag dividera polynom först?
- När täljarens grad är minst lika stor som nämnarens. Efter polynomdivisionen delar du bara upp det äkta bråket från resten.
- Varför behövs varje potens av en upprepad faktor?
- För (x-a)^m behövs nämnare från x-a till (x-a)^m. Om en term saknas kan koefficientidentiteten bli omöjlig.
- Hur kontrollerar jag uppdelningen?
- Skriv termerna med den ursprungliga nämnaren och förenkla den gemensamma täljaren. Den måste vara identisk med den ursprungliga täljaren som polynom, inte bara vid ett valt värde.


