Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a...

42
Solving Third Degree Polynomial Equations Michel Beaudin, [email protected] Frédérick Henri, [email protected] École de technologie supérieure, Montréal, Québec, Canada TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd 2017-01-17 1

Transcript of Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a...

Page 1: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Solving Third Degree Polynomial EquationsMichel Beaudin, [email protected]

Frédérick Henri, [email protected]

École de technologie supérieure, Montréal, Québec, Canada

TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd 2017-01-17 1

Page 2: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Abstract

Starting with some concrete examples, we use TI-NspireCX CAS to solve third degree polynomial equations withreal coefficients. Then we compare the answers obtainedto the ones provided by other CAS.

Using Cardano’s method or François Viète’s formulas, wecreate a homemade function allowing Nspire to produceclear and compact answers for the solutions of a thirddegree polynomial equation: "Everything should be madeas simple as possible, but not simpler".

TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd 2017-01-17 2

Page 3: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Table of contents

1. Two examples showing CAS imperfections

2. An algorithm to beautify the solutions

3. Solving a third degree polynomial equation with 1 realroot

4. Solving a third degree polynomial equation with 3 realroots

5. Implementation of a new TI-Nspire function

6. Conclusion

2017-01-17 3TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

Page 4: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Two examples showing CAS imperfections –first exampleConsider the following third degree polynomial function

Since :a. the derivative of the function is strictly positive ;

b. and ;

we infer that the function has a single real root locatedbetween and .

Let’s look at the graph of the function to confirm this.2017-01-17 4TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

Page 5: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Two examples showing CAS imperfections –first example

2017-01-17 5TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

Page 6: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Two examples showing CAS imperfections –first exampleLet’s compare the solutions we obtain when we solve theequation

using 4 different CAS:

MapleTM,

MathematicaTM,

TI-NspireTM and

DeriveTM.2017-01-17 6TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

Page 7: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Two examples showing CAS imperfections –first exampleWith MapleTM: 12 4 4 5 24 4 514 4 4 5 14 4 5 12 I 3 12 4 4 5 24 4 514 4 4 5 14 4 5 12 I 3 12 4 4 5 24 4 5

2017-01-17 7TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

Page 8: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Two examples showing CAS imperfections –first exampleWith MathematicaTM:

21 5 12 1 512 1 i 3 12 1 5 1 i 32 1 512 1 i 3 12 1 5 1 i 32 1 5

2017-01-17 8TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

Page 9: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Two examples showing CAS imperfections –first exampleWith TI-NspireTM:

2 5 32 5 3 2 5 3 2 · 25 15 1 · 2 2 5 1 2 · 2 2 5 1 · 5 1 · 2 2 · 4 · 316 i5 15 1 · 2 2 5 1 2 · 2 2 5 1 · 5 1 · 2 2 · 4 · 316 i

2017-01-17 9TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

Page 10: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Two examples showing CAS imperfections –first exampleWith DeriveTM (notice the simplicity of these solutions):

4 5 42 4 5 424 5 44 4 5 44 i 3 4 5 44 3 4 5 444 5 44 4 5 44 i 3 4 5 44 3 4 5 44

2017-01-17 10TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

Page 11: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Two examples showing CAS imperfections –second exampleConsider now this other simple third degree polynomialfunction

Having 2 critical points, we may expect this function tohave 3 real roots.

Let’s look at the graph of the function to confirm this.

2017-01-17 11TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

Page 12: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Two examples showing CAS imperfections –second example

2017-01-17 12TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

Page 13: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Two examples showing CAS imperfections –second exampleAgain, let’s compare the solutions we obtain when wesolve the equation

using 4 different CAS:

MapleTM,

MathematicaTM,

TI-NspireTM and

DeriveTM.2017-01-17 13TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

Page 14: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Two examples showing CAS imperfections –second exampleWith MapleTM (it’s hard to believe these are real values)12 4 4I 3 24 4I 3

14 4 4I 3 14 4I 3 12 I 3 12 4 4I 3 24 4I 314 4 4I 3 14 4I 3 12 I 3 12 4 4I 3 24 4I 3

2017-01-17 14TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

Page 15: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Two examples showing CAS imperfections –second exampleWith MathematicaTM:

112 1 i 3 12 1 i 31 i 32 1 i 3 12 12 1 i 3 1 i 3

12 1 i 3 12 1 i 3 1 i 32 1 i 32017-01-17 15TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

Page 16: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Two examples showing CAS imperfections –second exampleWith TI-NspireTM :

cos 2 ·9 sin 2 ·9 · 31cos 2 ·9 sin 2 ·9 · 3 1

cos 2 ·9 sin 2 ·9 · 3 1cos 2 ·9 sin 2 ·9 · 32017-01-17 16TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

Page 17: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Two examples showing CAS imperfections –second exampleWith DeriveTM (again, so much simpler):

2 · cos 292 · cos 92 · sin 18

2017-01-17 17TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

Page 18: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

An algorithm to beautify the solutions

Our goal is to create a new function for TI-Nspire thatfinds the roots of a third degree polynomial functionwhile:

a. avoiding the presence of radicals in thedenominators of the roots;

b. avoiding needless occurrence of in the real rootsand using, instead, trig expressions for the roots;

The next slide presents the algorithm we will implement.

2017-01-17 18TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

Page 19: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Transform into a 6th degree polynomial equation

An algorithm to beautify the solutions

2017-01-17 19TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

Choose a 3rd degree function

Get rid of the 2nd degree term

Apply a trigonometric substitution

Ascertain the number of real roots

Transform into a 2nd degree polynomial equation

Select one solution of the previous equation

Compute the 3 cubic roots of this solution

Compute the roots of the original function

1 real root 3 real roots

Solve the equation

Compute the roots of the original function

Page 20: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Let’s use our algorithm to solve a third degree polynomialequation that possesses a single real root.

To solve the equation, we will need to accomplish 8 steps,as seen in the algorithm’s organigram.

Solving a third degree polynomial equation with 1 real root

2017-01-17 20TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

START 2 43 5 6 7 8

Page 21: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Solving a third degree polynomial equation with 1 real rootStep #1 – Pick a 3rd degree polynomial function

SELECT A 3RD DEGREE POLYNOMIAL FUNCTION IN THE FORM OF.

Let’s apply our algorithm to solve the equation

As we will see, this function only possess a single realroot.

2017-01-17 21TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

START 2 43 5 6 7 8

Page 22: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Solving a third degree polynomial equation with 1 real rootStep #2 – Get rid of the 2nd degree term

DEFINE BY SUBSTITUTING FOR AND THENDIVIDING BY .

Since 5 , we obtain:

2017-01-17 22TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

START 2 43 5 6 7 8

Page 23: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Solving a third degree polynomial equation with 1 real rootStep #3 – Ascertain the number of real roots

REWRITE IN THE FORM OF WHERE

AND .

Since , we find that

and .

2017-01-17 23TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

START 2 43 5 6 7 8

Page 24: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Solving a third degree polynomial equation with 1 real rootStep #3 – Ascertain the number of real roots

IF , THERE IS A SINGLE REAL SOLUTION. OTHERWISE,THERE ARE 3 REAL SOLUTIONS.

Since and , .

We conclude that our equation only has a single realsolution.

2017-01-17 24TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

START 2 43 5 6 7 8

Page 25: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Solving a third degree polynomial equation with 1 real rootStep #4 – Transform the equation into a 6th degreepolynomial equation

DEFINE BY SUBSTITUTING FORIN AND THEN MULTIPLYING BY .

Since , we find:

2017-01-17 25TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

START 2 43 5 6 7 8

Page 26: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Solving a third degree polynomial equation with 1 real rootStep #5 – Transform the equation into a 2nd degreepolynomial equation

DEFINE BY SUBSTITUTING FOR IN.

Since , we find:

2017-01-17 26TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

START 2 43 5 6 7 8

Page 27: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Solving a third degree polynomial equation with 1 real rootStep #6 – Select 1 of the 2 solutions of the 2nd degreepolynomial equation

SOLVE THE EQUATION AND SELECT

THE SOLUTION .

After solving , we select the

solution · .

2017-01-17 27TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

START 2 43 5 6 7 8

Page 28: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Solving a third degree polynomial equation with 1 real rootStep #7 – Compute the cubic roots of the chosen solution

SINCE AND , SOLVE THE EQUATION

.

Solving · , we find 3 solutions that we note, and .

2017-01-17 28TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

START 2 43 5 6 7 8

Page 29: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Solving a third degree polynomial equation with 1 real rootStep #7 – Compute the cubic roots of the chosen solution

The solutions of the equation · are:

9 · 401 191 · 269 · 401 191 · 212 9 · 401 191 · 3 · 2129 · 401 191 · 212 9 · 401 191 · 3 · 2122017-01-17 29TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

START 2 43 5 6 7 8

Page 30: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Solving a third degree polynomial equation with 1 real rootStep #8 – Compute the roots of the original function

USING THE 3 ROOTS OF THE FUNCTION , COMPUTE THE 3ROOTS OF THE FUNCTION .

Since , we compute the 3 roots of :

2017-01-17 30TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

START 2 43 5 6 7 8

Page 31: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Solving a third degree polynomial equation with 1 real rootStep #8 – Compute the roots of the original function

USING THE 3 ROOTS OF THE FUNCTION , COMPUTE THE 3ROOTS OF THE FUNCTION .

Since , we compute the 3 roots of :

2017-01-17 31TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

START 2 43 5 6 7 8

Page 32: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Let’s use our algorithm to solve a third degree polynomialequation that possesses 3 real roots.

To solve the equation, we will need to accomplish only 6steps, as seen in the algorithm’s organigram.

Solving a third degree polynomial equation with 3 real roots

2017-01-17 32TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

START 2 43 5 6

Page 33: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Solving a third degree polynomial equation with 3 real rootsStep #1 – Pick a 3rd degree polynomial function

SELECT A 3RD DEGREE POLYNOMIAL FUNCTION IN THE FORM OF.

Let’s apply our algorithm again to solve the equation

As we will see, this function only possess 3 real roots.

2017-01-17 33TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

START 2 43 5 6

Page 34: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Solving a third degree polynomial equation with 3 real rootsStep #2 – Get rid of the 2nd degree term

DEFINE BY SUBSTITUTING FOR AND THENDIVIDING BY .

Since , we obtain:

2017-01-17 34TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

START 2 43 5 6

Page 35: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Solving a third degree polynomial equation with 3 real rootsStep #3 – Find the number of real roots

REWRITE IN THE FORM OF WHERE

AND .

Since , we find that

and .

2017-01-17 35TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

START 2 43 5 6

Page 36: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Solving a third degree polynomial equation with 3 real rootsStep #3 – Ascertain the number of real roots

IF , THERE IS SINGLE REAL SOLUTION. OTHERWISE,THERE ARE 3 REAL SOLUTIONS.

Since and , .

We conclude that our equation has 3 real solutions.

2017-01-17 36TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

START 2 43 5 6

Page 37: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Solving a third degree polynomial equation with 3 real rootsStep #4 – Apply a substitution

DEFINE BY SUBSTITUTING

FOR IN , WHERE .

Since , we find:

2017-01-17 37TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

START 2 43 5 6

Page 38: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Solving a third degree polynomial equation with 3 real rootsStep #5 – Solve the equation

COMPUTE THE 3 ROOTS OF :

, AND .

And so we find:

2017-01-17 38TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

START 2 43 5 6

Page 39: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Solving a third degree polynomial equation with 3 real rootsStep #6 – Compute the roots of the original function

USING THE 3 ROOTS OF THE FUNCTION , COMPUTE THE 3ROOTS OF THE FUNCTION .

Since , we compute the 3 roots of:

2017-01-17 39TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

START 2 43 5 6

Page 40: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Solving a third degree polynomial equation with 3 real rootsStep #6 – Compute the roots of the original function

USING THE 3 ROOTS OF THE FUNCTION , COMPUTE THE 3ROOTS OF THE FUNCTION .

Since , we compute the 3 roots of :4 3 2 · sin 4 34 3 2 · sin 4 34 3 2 · sin 4 32017-01-17 40TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

START 2 43 5 6

Page 41: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

This new function has been implemented by MichelBeaudin and can be downloaded. Go to

https://cours.etsmtl.ca/seg/mbeaudin/

And save the TI-Nspire CX CAS library “Kit_ETS_MB” intoMyLib. The name of the function is “compact_cubic”.

Live examples: on the TI-Nspire CX CAS file.

Implementation of a new TI-Nspire function

2017-01-17 41TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd

Page 42: Solving Third Degree Polynomial Equations · 2. An algorithm to beautify the solutions 3. Solving a third degree polynomial equation with 1 real root 4. Solving a third degree polynomial

Teaching mathematics using CAS is, as far as we areconcerned, an excellent opportunity for mathematicsteachers to stay enthusiastic even though the curriculumhas been quite the same for the several past years!

Conclusion

2017-01-17 42TIME 2016, UNAM, Mexico City, Mexico, June 29th - July 2nd