Orchestrating the FTC Conversation: Explore, Prove, Apply Brent Ferguson The Lawrenceville School, NJ BFerguson@Lawrenceville.org Purposes of today’s talk • To initiate some reflection on one of the ‘big ideas’ in mathematics (FTC) and to suggest that multiple, rigorous approaches will enhance understanding. • To show some ways in which we can stimulate interdisciplinary connections with FTC, and teach a few non-mathematical lessons along the way. • To share some tasks that bring attention to the importance of the idiosyncratic but useful notation and conventions of our discipline. This will help make the case that doing math well requires careful reading. Speaking of reading, here’s a gem …from over a century ago This excerpt (1911) precedes the cognitive science of today that has only served to verify the points Whitehead makes about working memory space, etc. Brilliant… From Introduction to Mathematics, A. N. Whitehead, which is vol. 15 of the “Home University Library of Modern Knowledge” series (1911) Sequence • Some language considerations • A classical approach: – – FTC-II generated by considering Euler’s linearization method for approximating functions, then a definition of the definite integral proving FTC-I using that definition • Making connections: Algebra I class, personal development, identity formation, and growth mindset The Fundamental Theorem? Let’s look at a familiar item first… • “The Distributive Property”: (“distribution” instead) – …of multiplication over addition? • π β π + π =? ≠ π β π + π β π – …of multiplication over multiplication? • π β π β π =? ≠ π β π β π β π – …of addition over multiplication? • π + π β π =? ≠ π + π β π + π – …of exponentiation over multiplication? • πβπ π =? ≠ π π β π π – …of exponentiation over addition? • π+π π =? ≠ ππ + π π – …of differentiation over addition? …over multiplication? It makes a difference if we take the time to disabuse, to explain, to point out the use of structure and notation! “The Fundamental Theorem” • …of Arithmetic: (unique factorization theorem) – every positive integer can be written uniquely in standard form as a product of primes. • …of Algebra: A polynomial of degree n has n roots. • …of Calculus: (1) integration and differentiation are inverse operations, and (2) antidifferentiation, evaluated at two inputs, can be used to calculate a definite integral. π= ∞ π=1 ππ ππ = π1 π1 β π2 π2 β π3 π3 β . . . where π1 = 2, π2 = 3, π3 = 5, etc. through all primes. ππ π₯ π + ππ−1 π₯ π−1 + ππ−2 π₯ π−2 + . . . + π1 π₯ + π0 = ππ β π₯ − π1 β π₯ − π2 β π₯ − π3 β . . . β π₯ − ππ for complex ππ . (1) π π₯ π ππ₯ π π‘ ππ‘ = π π₯ and (2) π π′ π π₯ ππ₯ = π π − π π Development of the Concept • Context for consideration: • Riemann Sums, using data from helmet speedometer. • This leads us to ask questions… https://www.youtube.com/watch?v=o2xmAWS4akE – How accurate was our answer? – Was it likely an under- or overestimate? – Can we do better? How (or why not)? • Definition time: the definite integral… FTC-II can emerge from a linearization (Euler’s π method*)… or simply by defining π π′ π₯ ππ₯ Since each π′ π‘π represents a rate at which π π‘ is changing at a particular time π‘π within a time interval βπ‘π , that means that each product π′ π‘π β βπ‘π is a small bit of change in the quantity π π‘ over the time interval βπ‘π . Then ππ=1 π′ π‘π β βπ‘π would be an estimate for βπ π‘ on a given interval π, π , the total (summed) change of π π‘ on π, π when it is divided into n smaller subintervals. Want a better estimate? Use a larger n. Want an exact calculation? Consider ‘taking it to the limit’ for larger and larger n: ∞ π=1 π′ π‘π β βπ‘π , or more properly…(drumroll) FTC-II emerges…first! π βπ π‘ ππ [π, π] = lim π→∞ π=1 π′ π‘π β βπ‘π π Then letting π π′ π‘ ππ‘ = lim ππ=1 π′ π‘π β βπ‘π π→∞ π means that π π′ π‘ ππ‘ = βπ π‘ ππ [π, π], which (by definition of β) =π π −π π . FTC-I emerges next, by proof… π₯ π π If we let π΄ π₯ = π‘ ππ‘, the accumulated signed-area between the t-axis and π¦ = π π‘ on the interval π, π₯ , we can investigate π΄′ π₯ , the rate at which π΄ π₯ changes with respect to x. (insert here: proof by formal limit definition of derivative A’(x)) Result: π π₯ π′ π ππ₯ π π₯ π π ππ₯ π‘ ππ‘ = π π₯ . Of course, by FTC-II, π ππ₯ π‘ ππ‘ = π π₯ − π π = π′ π₯ , as expected … and this approach helps us with other forms. Observations… • Differentiation and integration are inverse functions. (This is a big deal!) • The independent variables t & x are a bit tricky. • Order of operations matters. Things get a little funky if you switch it around (let’s look at some examples). Fun with the F.T.C. (a) π π₯ 2 1 π‘ π ππ 2 ππ₯ 3 π‘ (b) π₯ π 3 ππ‘ (c) 5 π 3 ππ‘ ππ‘ π‘ π ππ 1 π‘2 ππ‘ π‘ 2 π ππ 1 π‘2 ππ‘ 2 (d) π 5 2 1 π‘ π ππ 2 ππ₯ 3 π‘ (e) π π₯3 2 1 π‘ π ππ 2 ππ₯ 3 π‘ (f) π π₯3 ππ₯ 3ππ π₯ 2 π‘ π ππ ππ‘ ππ‘ 1 π‘2 ππ‘ (a) (b) (c) Fun with the F.T.C. 1 1 π π₯ 2 π‘ π ππ 2 ππ₯ 3 π‘ π₯ π 1 2 π‘ π ππ 2 3 ππ‘ π‘ 5 π 1 2 π‘ π ππ 2 3 ππ‘ π‘ (d) π 5 2 1 π‘ π ππ 2 ππ₯ 3 π‘ (e) π π₯3 2 1 π‘ π ππ 2 ππ₯ 3 π‘ π π₯3 2 1 π‘ π ππ 2 3 ππ₯ π‘ (f) π π₯3 ππ₯ 3ππ π₯ 2 π‘ π ππ ππ‘ = π₯ 2 π ππ π₯2 π₯ 2 π ππ 1 π₯2 ππ‘ = 25π ππ 1 25 ππ‘ = ππ‘ = π ππ₯ − 9π ππ 1 9 − 9π ππ 1 9 π =0 ππ‘ ≠ π₯ 6 π ππ 1 π₯6 β 6π₯ 5 ππ‘ = π₯ 6 π ππ 1 π₯6 β 3π₯ 2 …why? 1 π₯6 β 3π₯ 2 − 9ππ2 π₯ π ππ 1 π‘2 ππ‘ = π₯ 6 π ππ 1 9ππ2 π₯ β 3 π₯ A Calculus ‘poem’ The RACE CARD project (http://theracecardproject.com/) asks participants to address race by describing themselves with a 6-word (max) ‘essay.’ But they didn’t limit nonverbal symbols, so…I cheated. After my six words, I added the FTC, applied to a community of changing humans. Fundamentally: differentiation, integration…inverses. Together: IDENTITY. π ππ‘ π‘ π»π’ππππ π ππ = π»π’ππππ(π‘) πππ€ This got me thinking… I am a changing person, and my community is changing, too. Calculus gives us a language with which to express our change in progress. Who are you? • I am today who I was yesterday, plus some changes. 11/6 π΅ππππ‘ ′ π‘ ππ‘ π΅ππππ‘ πππ£ 6π‘β = π΅ππππ‘ ππππ‘ 1π π‘ + 9/1 (follow-up question…at what rate am I changing, really…?) • I am this year who I used to be, plus some changes. • My school this year is what it used to be…plus girls! 2015 πΏπ£ππππ ′ π‘ ππ‘ πΏπ£ππππ 2015 = πΏπ£ππππ 1987 + 1987 From algebra class: π¦ = ππ₯ + π. Better yet, π¦ = π + ππ₯. …this one goes out to all the statisticians in the audience! Better still, π¦ = π¦0 + π π₯ − π₯0 . In function notation: π π = π π + π β βπ₯. Linearization as an approximating model But in Calculus, we can explore much more complicated functions – not just those with a constant rate of change: The linear approximation to π π‘ at π₯ = π gives us: ππ¦ π π ≈π π + |π₯=π β βπ₯ ππ₯ …this takes us to Euler’s method. * Euler’s method as a connection to FTC π π ≈π π + ≈π π + ≈π π + ππ¦ |π₯=π ππ₯ ππ¦ |π₯=π ππ₯ ππ¦ | ππ₯ π₯=π β βπ₯1 + β βπ₯ β βπ₯1 + ππ¦ | ππ₯ π₯=π2 ππ¦ |π₯=π2 ππ₯ β βπ₯2 β βπ₯2 + . . . + ππ¦ | ππ₯ π₯=ππ β βπ₯π Why approximate when you can calculate more precisely? Then π π = π π + lim or π π = π π π→∞ π + π π′ π π=1 π′ ππ β βπ₯π , π‘ ππ‘...as needed! Other practices for success in Calculus • Math histories: students write 2-4 pages about their relationship with math over the years…a trove of information! • Formative feedback, decoupled in time from delivery of grades. • Required revisitation of all test problems, and modeling/practice in class: homework revision. • Keen attention in the first weeks to the form of students’ written homework, and commentary on how and why to use the notation effectively. • Strong exhortation to use study groups and TALK mathematics…again, this is modeled and practiced in class as a way to equip students. • Music, videos, and bad jokes distributed liberally. A Message on ‘Fit’ “Good teachers join self and subject and students in the fabric of life.” –Parker Palmer, p.11, The Courage to Teach Strongly Disagree Disagree Agree Strongly Agree 0 1 2 3 Send your text message to this Phone Number: 37607 poll code for this session _______ Speaker was engaging and an effective presenter (0-3) (1 space) ___ ___ ___ (no spaces) Speaker was wellprepared and knowledgeable (0-3) Other comments, suggestions, or feedback (words) (1 space) ___________ Session matched title and description in program book (0-3) Example: 38102 323 Inspiring, good content Non-Example: 38102 3 2 3 Inspiring, good content Non-Example: 38102 3-2-3Inspiring, good content Thank you for your interest and for participating in this CMC-South session. Please give feedback for session #195: code 4253 Text to 37607 the following: 4253, then a space, then the three digits, followed by comments! Brent Ferguson, The Lawrenceville School BFerguson@Lawrenceville.org Taylor’s Theorem (time permitting): a proof with a synthesis of FTC, product rule, & substitution Begin with: π π₯ =π π + π₯ π′ π π‘ ππ‘ π₯ (NOTE: This means that π₯ β π π₯ = π₯ β π π + π₯ β π π′ π‘ ππ‘ ; we’ll use this below…) = π π + π‘ β π′ π‘ |π‘=π π‘=π₯ − π₯ π‘ π β π ′′ π‘ ππ‘ π₯ = π π + π₯ β π π₯ − π β π′ π − π π‘ β π′′ π‘ ππ‘ π π₯ = π π + π₯ β π′ π + π β π π′′ π π π − π β π′ π − π π‘ β π′′ π‘ ππ‘ ′ =π π +π₯β π′ π −πβ =π π + π₯−π β π′ π′ π + π + π₯ π π π π β π′′ π π π − π₯ − π‘ β π′′ π‘ ππ‘ π₯ π‘ π β π′′ π‘ ππ‘ Taylor’s Theorem: an ‘integrative’ proof π₯ π′ π Recall that starting from: π π₯ = π π + π‘ ππ‘, we generated , from the previous page: π₯ π π₯ = π π + π₯ − π β π′ π + π₯ − π‘ β π′′ π‘ ππ‘ π π₯ π′′ π = π π + π′ π β π₯ − π + =π π + π′ −π′′ π β π₯−π + ′ =π π + π π β π₯−π + =π π =π π + π′ π β π₯ − π + + π′ π β π₯ − π π′′ π 2 + =…and so on: π π = π β π′′ π π π₯−π π ′′ π 2 2 π−π π−π π π π π=π π! π 2 +β π=π π π=π π₯ π′′′ π + −π′′′ π β + π₯−π (π) π π π‘ β π₯ − π‘ ππ‘ ππ π−π ππ π′′′ π π! π−π π−π π+ π₯1 π 2 + 2 β π′′′ π‘ ππ‘ 1 π‘ β 2 π₯ − π‘ 2 ππ‘ π=π π π=π π π₯−π‘ + π (π+π) π π + π₯1 π 3! π₯ (4) π π π β π π! π₯−π‘ π‘ β 1 3! 3 β π (4) π‘ ππ‘ π₯ − π‘ 3 ππ‘ π − π π π π