Falsk rot

En falsk rot är en rot som uppkommer vid ekvationslösning, men som vid närmare påseende inte är en lösning till den ursprungliga ekvationen. Om ursprungsproblemet är att finna lösningar till en ekvation M, och denna under lösningen ekvationen genomgår en förändring, vanligen en kvadrering eller motsvarande, som resulterar i en ekvation N, och någon av lösningarna för ekvationen N inte satisfierar ekvationen M, så säges den lösningen vara en falsk sådan. 

Vid ekvationslösning utförs ofta operationer på likheten för att modifiera ekvationen till en enklare. Dessa modifieringar måste ske ekvivalent med ursprungsekvationen för att vi säkert ska veta att rötterna överensstämmer. När (kvadrat)rotekvationer löses händer det ofta att leden kvadreras, vilket innebär att ekvivalensen kan ha tappats och rötter som inte löser ekvationen kan ha uppkommit. Detta beror på att när ett uttryck kvadreras ges samma resultat oberoende av tecknet framför uttrycken i ekvationen.

Kvadrering
En falsk rot kan uppstå genom att en ekvation kvadreras just eftersom vetskapen om uttryckens tecken försvinner då. Om vi till exempel har likheten   och sedan kvadrerar denna ges  som har två lösningar, nämligen  och . Eftersom ekvationen  endast satisfieras av just att  är , innebär det att roten  inte uppfyller originalekvationen och är således en falsk rot. 

Kvadrering av leden vid ekvationslösning är en operation som behövs för att lösa vissa typer av ekvationer. Exempel på detta är vanligen rotekvationer. Betrakta följande ekvation som vi söker reella rötter till.

Genom att kvadrera båda sidor här ges ekvationen

som sedan kan omformuleras till 

med lösningarna/rötterna

 och .

I ursprungsekvationen gäller det att följande olikheter måste gälla eftersom roten ur ett positivt reellt tal är positivt. Olikheterna är   och   vilka ställer följande krav på , nämligen . genom denna analys så medför detta att roten  kan förkastas och den enda sanna roten till rotekvationen ovan är . 

Ett annat exempel är ekvationen 

där kvadrering medför följande 

,

som är ekvivalent med

.

Andragradsekvationen ovan kan lösas med hjälp av kvadratkomplettering eller eventuellt med PQ-formeln. Roten till ekvationen ovan är  , en så kallad dubbelrot. Huruvida denna är falsk eller inte måste kontrolleras. Istället för att föra resonemanget ovan, så är en metod att testa äktheten för denna rot att substituera den i ursprungsekvationen och se om roten uppfyller den. 

 och  .

Vi ser här att högerledet inte är lika med vänsterledet. Således saknar ekvationen  lösningar.

Multiplikation, samt rationella funktioner och ekvationer med absolutbelopp

En annan typ av falska rötter är de som kan uppstå vid multiplikation med 0 samt hanterandet av rationella funktioner.

Om man multiplicerar en ekvation med 0 på båda sidor så kommer båda sidor att vara lika, oberoende av vad som stod där innan, eftersom någonting begränsat multiplicerat med 0 alltid är just 0 och multiplikation med noll saknar en så kallad invers funktion.

Om man till exempel tar ekvationen 
 
som bara har lösningen att x är just 1. Men om båda sidor sedan multipliceras med 0 fås:

Där  kan anta vilket värde som helst, och ändå uppfylla ekvationen, just eftersom, som nämnts tidigare: multiplikation med 0 är alltid 0. Detta innebär alltså att samtliga  i ekvationen  uppfyller den. Därför ges oändligt antal falska rötter.  

När en Rationell funktion skall lösas kan det också hända att någon/några av lösningarna är en falsk rot genom att den lösningen någonstans i originalekvationen ger en division med 0. Till exempel ekvationen:

som löses genom:
.
Men om  stoppas in i originalekvationen så fås  vilket inte är sant, ty division med 0 är ej definierat. Eftersom ursprungsekvationen inte är definierad för  så gäller endast omskrivningarna som gjorts för de  som inte är . Alltså ser vi att ekvationen saknar rötter. 

Ibland när ekvationer innehållande absolutbelopp löses, kan man stöta på falska rötter. Ett exempel skulle vara ekvationen 

som löses genom en falluppdelning där vi får 

samt 

. 

Genom att nu lösa ekvationen på olika delintervall av den reella axeln har vi först på intervallet  ekvationen 

. 

På intervallet där  ges ekvationen 

och slutligen ges ekvationen  

på intervallet där . 

Genom att studera rötterna som vardera ekvation bidragit till ges tre kandidater, ,  och . Dock förfaller det sig så att roten  är en falsk rot, eftersom ekvationen  bara gäller precis då . Alltså uppfyller inte  förutsättningen och är då falsk.

Referenser

Noter 

Algebra