1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson...

28
1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou, near České Budějovice

Transcript of 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson...

Page 1: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

1

Unexpected answers offered by computer algebra systems to

school equations

Eno Tõnisson

University of Tartu

Estonia

CADGME 2010 Hluboká nad Vltavou, near České Budějovice

Page 2: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

2

Plan

• Background

• Unexpected answers

• CASs

• Equations– Quadratic– Trigonometric

• Could the unexpected answer be useful? How?

Page 3: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

3

Background• CASs

– In the beginning were designed mainly to help professional users of mathematics

– Nowadays more suitable for schools

• There are still some differences. • How do different CASs solve problems?• Michael Wester. Computer Algebra

Systems. A Practical Guide. 1999– 542 problems – 68 as usually taught at schools – another 34 advanced math classes.

Page 4: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

4

Page 5: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

5

Unexpected answer• Differently than

– student/teacher/textbook – expects/waits for/presents

• Expectations could vary– curriculum– teacher– textbook

• Not incorrect but according to different standards

• Classification and mapping of the unexpected answers• What are the equations/answers that have more didactical

potential?

Page 6: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

6

CASs• (Relatively) easily available

– OpenAxiom– Maxima– Sage (Maxima??)– WIRIS– WolframAlpha

• Quite different– Computer Algebra System– Open Scientific Computation Platform– Computational Knowledge Engine– …

• If necessary it is possible to use some of them • We do not compose the rating. We do not focus on

shortcomings.

Page 7: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

7

Commands

• Command solve– first choice for solving equations

• equation solution process answer– solution process (answer) is impressionable

by change of command, additional arguments, form of argument

• solve radicalSolve

– small difference in the expression could change the situation

• 1 1.0

Page 8: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

8

Equations

• linear

• quadratic

• fractional

• equations that contain an absolute value

• irrational

• exponential

• logarithmic

• trigonometric

• literal equations

Page 9: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

9

Plan for particular equation type

• Initial set of examples– textbook etc. classification

• sometimes simple, sometimes more complicated

– simpler non-trivial examples• sometimes a bit more complicated

– expressive examples from literature

• Solving the example equations by all CASs• Tentative mapping

– "zoom" if needed– detail the boundaries if needed

• Special focus on the phenomena that are (could be) more meaningful to students and teachers

Page 10: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

10

Classification of Quadratic Equations

• Natural (textbook) classification is suitable as a base.

• Classification by – (manual) solution process

– number of (real) solutions

02 bxax 02 cax 02 cbxax

042 acb 042 acb042 acb

Page 11: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

11

Quadratic Equations

Type Example Phenomena

form (fraction)

±, form (radical)

form (radical)

multiplicity

imaginary

02 qpxx

042 acb

02 cbxax

02 cax

02 bxax

042 acb

042 acb

01710 2 xx

082 2 x

022 xx

0542 2 xx

0122 xx

Page 12: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

12

Phenomena from Quadratic Equations

• Form of the solution, equivalence of solutions– decimal fraction – common fraction– form of solution

• Imaginary numbers, domain• Equal solutions, multiplicity of solutions

• or

• Choice of command – solve

042 acb

1x 1,1 21 xx

Page 13: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

13

Form

• Radical

Page 14: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

14

Imaginary

• no solution • includes i• includes• includes decimal numbers and i

7

Page 15: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

15

Trigonometric Equations

• Different range – only sin, cos, tan– or also cot– or even sec, cosec – how complicated?

• Different order (in textbooks) – all basic equations at first, then more complicated– basic equations with sine at first, then more

complicated with sine, then basic with cosine etc etc • General solution, one solution or solutions in the

interval– Find all solutions in the interval [0;2π)

• Radians or degrees

Page 16: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

16

Classification of Trigonometric Equations• Different classifications are possible

• Basic equations – "nice" answer – "not-so-nice" answer– impossible (in school)

• Advanced equations ("one-function")– more complicated argument – factorization– quadratic equations – biquadratic equations

• More advanced ("function-change")– change function – homogeneous– …

0sin x 2

3cos x 1cot x

10

1sin x 1.0sin x

2sin x 2cos x

2

2)6

2cos(

x

0)sin1(sin xx03sin2sin 2 xx

222 )sin2()2(cos2 xx

0cos3sin2 xx

4cot3tan xx

013tan33tan2 24 xx

Page 17: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

17

Basic trigonometric equations

Type Example Phenomena

"Nice" answer choice of solutionnumber of solutionsapproximate-exactwhen inverse function

"Not-so-nice" answer

choice of solutionnumber of solutionsapproximate-exactwhen inverse function

Impossible when inverse function

0sin x

2

3cos x

10

1sin x

2cos x

Page 18: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

18

Phenomena from Basic Trigonometric Equations

• choice of solution

• number of solutions– 1 / 2 / infinitely

• approximate-exact

• when inverse function is in the answer

4

4

3

Page 19: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

19

Number of solutions

• one solution

• one solution and warning

• two solutions

• general solution

Page 20: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

20

Added by advanced trigonometric equations

• Solutions are more complicated, checking correctness is more difficult– Textbook CAS

• Biquadratic (trigon.) equation could be too complicated for the CAS

– could be possible to solve by parts

013tan33tan2 24 xx

0132 24 tt

nx

nx n

2)1(

Page 21: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

21

Page 22: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

22

Page 23: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

23

From other equations

• Mainly same phenomena– equivalence– number domain– approximate-exact– branches

• Symbolic expressions in case of literal equation

• Sometimes a CAS could not solve the equation

Page 24: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

24

So?

• What phenomena could appear?• When the phenomenon appears?• So what?

– ignore– avoid– explain– use

• even evoke

• unexpected didactic, instructive

Page 25: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

25

Why equations at all?

• The 12th ICMI Study The Future of the Teaching and Learning of Algebra – The activities of school algebra can be said to be of

three types: • generational

– forming of expressions and equations

• transformational– rule-based activities: collecting like terms, solving equations,

simplifying expressions etc, etc

• global/meta-level– problem solving, modelling, noticing structure, justifying,

proving etc

Page 26: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

26

Pilot Study / Pilot Course???

• Course for – students– pre-service teachers– in-service teachers

• Topics– equivalence– number domain– approximate-exact– branches

• The topics are very important but could be somewhat behind the scenes

• Detailed mapping gives good examples

• Something for everyday maths teaching?

Page 27: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

27

Unexpected answer in instrumentation

• Instrument = Artifact + Schemes and Techniques

• Unexpected answer?– instrumental genesis– orchestration

• As a base for discussion?– "Real life" example

• Computer tells that …

Page 28: 1 Unexpected answers offered by computer algebra systems to school equations Eno Tõnisson University of Tartu Estonia CADGME 2010 Hluboká nad Vltavou,

28

• There could be more than one (correct?) answer!

• In mathematics???!!!!