{"id":1575,"date":"2023-03-01T00:01:15","date_gmt":"2023-03-01T05:01:15","guid":{"rendered":"https:\/\/mathvoices.ams.org\/featurecolumn\/?p=1575"},"modified":"2024-07-15T12:09:21","modified_gmt":"2024-07-15T16:09:21","slug":"perspectives-on-polynomials-its-a-witch","status":"publish","type":"post","link":"https:\/\/mathvoices.ams.org\/featurecolumn\/2023\/03\/01\/perspectives-on-polynomials-its-a-witch\/","title":{"rendered":"Perspectives on Polynomials (it’s a witch!)"},"content":{"rendered":"Polynomials, it turns out, are useful for more than just input-output assignments!<\/em> <\/span>\r\n\r\n

Perspectives on Polynomials<\/h1>\r\n

(it’s a witch!)<\/h2>\r\n\r\nCourtney Gibbons<\/strong>\r\nHamilton College<\/strong>\r\n\r\n

It was a dark and stormy night\u2026 Okay, it was probably more like 3:30 in the afternoon on a crisp fall day back when I was teaching Calc 1 for the first time as \u201cProfessor Gibbons,\u201d and I was looking through my colleagues\u2019 past syllabi to see what problems they liked to assign.\u00a0One of the problems sent me off on a tangent (pun intended!) because it evocatively named the rational function $y = \\frac{1}{1+x^2}$ “The Witch of Agnesi” and, in this problem and others in subsequent chapters, proceeded to use differential calculus to tease out its secrets.<\/span><\/p>\r\n

\r\n\"Graph
\r\nGraph of “The Witch of Agnesi”.\r\n<\/div>\r\n\r\n

In fact, the Witch is one of a family of plane curves, $x^2 y + 4c^2y – 8c^3 = 0$<\/span>, parametrized by $c$ (just take $c = \\frac{1}{2}$).<\/span><\/p>\r\n

I don\u2019t want to spoil anyone\u2019s calculus homework, but Evelyn Lamb has written a nice blog about the Witch<\/a> over at Roots of Unity. (Okay, one<\/em> spoiler: the Italian for “curve” is “versiera” while “witch” is “avversiera” – so the name of the curve is a mistranslation at best, or one of those groan-inducing mathematician puns at worst.)
<\/span><\/p>\r\n

My encounter with the Witch left me thinking about the many ways we discuss polynomials (and rational functions) with our college students, and I wanted to share some of those perspectives in this column.<\/p>\r\n

As functions<\/h2>\r\n

A math student’s first encounter with polynomials often comes hot on the heels of the definition of a function. In this context, we meet our friends the single-variable polynomials $f(x) = a_n x^n + a_{n-1} x^{n-1} + \\cdots + a_1 x + a_0$ and spend a lot of time with the functions that plot lines ($y = mx + b$) and parabolas ($y = ax^2 + bx + c$). Implicit in this introduction is that the coefficients belong to the real numbers.<\/span><\/p>\r\n

There are lots of ways to write down a line, and thinking back to high school algebra, you might remember that you and your math class best buddy might look at the line plotted below and come up with different point-slope equations.<\/span><\/p>\r\n

\r\n\"A
\r\nA line passing through $(-4,0)$ and $(0,2)$.\r\n<\/div>\r\n

You write down $y – 5 = \\frac{1}{2}(x – 6)$ while your pal writes down $y – 3 = \\frac{1}{2}(x-2)$. These should be the same because we say two functions are equal if they make the exact same input-output assignments (and in the case of functions we can plot in the $xy$-plane, this means they sketch out the same graph).\u00a0<\/span>Now, if you and your high school math pal wanted to check that your lines are the same in a different way, you’d each wrangle your line into slope-intercept form and make sure they match (in this case, you’d both end up with the single-variable polynomial expression $\\frac{1}{2}x + 2$). <\/span><\/p>\r\n

A Witchy Little Twist<\/h2>\r\n

Okay, but<\/strong>. That last part? That relies on the definition of polynomial equality (two polynomials are equal if they are equal coefficient by coefficient) matching the definition of function equality, and that doesn’t always work!<\/p>\r\n

Consider the field $F$ with two elements, $0$ and $1$, with addition and multiplication defined modulo $2$. That is, $0 + 0 = 0 = 1+1$ and $0+1 = 1 = 1+0$, while $0\\cdot 1 = 1\\cdot 0 = 0\\cdot 0 = 0$ and $1\\cdot 1 = 1$.\u00a0 We\u2019re going to take our polynomial coefficients from this field.<\/span><\/p>\r\n

As functions, $f(x) = x^2 + 1$ and $g(x) = x+1$ take elements of $F$ and assign them to elements of $F$ the same way. Indeed, $f(0) = g(0) = 1$ and $f(1) = g(1) = 0$. S<\/span>o, as functions, $f(x)$ and $g(x)$ are equal!\u00a0<\/span>But as polynomials, they are not, because when we do a coefficient comparison, we see that $f$ has a nonzero coefficient for $x^2$ while $g$ does not. (In this weird little example, we actually have that $f = g^2$.)<\/span><\/p>\r\n

It\u2019s a fair question to ask why we would bother with a special definition of polynomial equality if it’s going to pull sneaky tricks like this. Polynomials, it turns out, are useful for more than just input-output assignments!<\/span><\/p>\r\n

When polynomials sneak into the denominator<\/h2>\r\n

I will admit to taking a certain joy in teaching partial fraction decomposition in calculus. There are pedagogical arguments in favor and against including it in the syllabus, but my enthusiasm is epicurean: I like that students are seeing an example of a basis for a pretty weird vector space before they have taken linear algebra!<\/p>\r\n

If your integrand contains the rational function $y = \\frac{p(x)}{(x+2)^2(x^2 +1)}$, you may remember that you can decompose it by first performing polynomial long division to write $\\frac{p(x)}{(x+2)^2(x^2+1)} = q(x) + \\frac{r(x)}{(x+2)^2(x^2+1)}$ and then break the “reduced” rational function down into a sum of the form $$\\frac{A}{x+2} + \\frac{B}{(x+2)^2} + \\frac{Cx}{x^2+1} + \\frac{D}{x^2+1}.$$ This technique works because $\\frac{1}{x+2}$, $\\frac{1}{(x+2)^2}$, $\\frac{x}{x^2+1}$, and $\\frac{1}{x^2+1}$ form a basis for the vector space of rational functions with denominator $(x+2)^2(x^2 +1)$. One technique for finding the constants $A$, $B$, $C$, and $D$ is to use that rational functions are, well, functions! If two expressions really are the same functions, they’ll have the same input-output assignments. So, trying some handy values for $x$ (who doesn’t love $x = 0$?) gives us leverage to solve for the missing constants.<\/p>\r\n

Polynomials as storage devices<\/h2>\r\n

More generally, many abstract mathematical objects have features that you might want to collect (or count), and you might want to stash your collection (or count) somewhere. For example, the characteristic polynomial $p(x) = |A – Ix|$ of a matrix $A$ stashes the eigenvalues of $A$ in its linear factors! The entries in a Young tableau are stashed as the coefficients of a Schur polynomial (read all about it<\/a>)! <\/span>It’s a bonus when these polynomials turn out to be invariants, and even better when you can specialize to all sorts of other polynomial invariants, as you can with the Tutte polynomial of a graph (or link, or matroid, or…<\/a>)!<\/span><\/p>\r\n

A plethora of polynomials, and a few words about Maria Agnesi<\/h2>\r\n\r\n
\r\n\"An
\r\nAn 1836 engraved portrait of Maria Gaetana Agnesi.\r\n<\/div>\r\n\r\n\r\n

In marshalling my resources for this blog post, I spent a little time reviewing the AMS Notices “What is…?” collection. There are some recent entries that piqued my interest and might pique yours, too: a column about multiple orthogonal polynomials<\/a>\u00a0and another about Sobolev orthogonal polynomials<\/a>.<\/p>\r\n

And, finally, Florian Cajori writes this entry in his A History of Mathematics<\/em> (available for free through Project Gutenberg<\/a>):<\/p>\r\n

\r\n
\r\n
\r\n
\r\n

Maria Gaetana Agnesi<\/strong> (1718\u20131799) of Milan, distinguished as a linguist, mathematician, and philosopher, filled the mathematical chair at the University of Bologna during her father\u2019s sickness. In 1748 she published her Instituzioni Analitiche<\/em>, which was translated into English in 1801. The “witch of Agnesi” or “versiera” is a plane curve containing a straightline, $x = 0$, and a cubic, $(\\frac{y}{c})^2 + 1 = \\frac{c}{x}$.<\/p>\r\n<\/blockquote>\r\n

It’s a terse entry for a rather remarkable person. Indeed, by 7 she had mastered Greek, Hebrew, and Latin (having already mastered French by 5); at 9, she defended higher education for women in her father’s salon. After her father died, she left her mathematical and scientific endeavors to care for dying women. Scientific American has a nice biography column<\/a> for those who want to learn more!<\/p>\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n","protected":false},"excerpt":{"rendered":"

Polynomials, it turns out, are useful for more than just input-output assignments! Perspectives on Polynomials (it’s a witch!) Courtney Gibbons Hamilton College It was a dark and stormy night\u2026 Okay, it was probably more like 3:30 in the afternoon on a crisp fall day back when I was teaching CalcRead More →<\/a><\/span><\/p>\n","protected":false},"author":5,"featured_media":2037,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"advanced_seo_description":"","jetpack_seo_html_title":"","jetpack_seo_noindex":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_post_was_ever_published":false},"categories":[112,6,10,15],"tags":[122,121,123],"class_list":["entry","author-cgibbons","post-1575","post","type-post","status-publish","format-standard","has-post-thumbnail","category-112","category-algebra-and-number-theory","category-courtney-gibbons","category-history-of-mathematics","tag-partial-fractions","tag-polynomials","tag-witch-of-agnesi"],"jetpack_featured_media_url":"https:\/\/i0.wp.com\/mathvoices.ams.org\/featurecolumn\/wp-content\/uploads\/sites\/2\/2024\/07\/cropped-FC1380x500x2.png?fit=1380%2C288&ssl=1","jetpack_sharing_enabled":true,"jetpack_likes_enabled":true,"_links":{"self":[{"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/posts\/1575","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/comments?post=1575"}],"version-history":[{"count":16,"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/posts\/1575\/revisions"}],"predecessor-version":[{"id":1583,"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/posts\/1575\/revisions\/1583"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/media\/2037"}],"wp:attachment":[{"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/media?parent=1575"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/categories?post=1575"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/tags?post=1575"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}