Här används kvadratkomplettering för att härleda en allmän lösningsformel, den så kallade ”a,b,c-fomeln”, som tillämpas på ekvationer av andra graden. Detta inlägg visar att CAS också kan användas i matematiska resonemang och bevisföringar.
En fil med det visade innehållet kan laddas ned här.