<rss xmlns:itunes="http://www.itunes.com/dtds/podcast-1.0.dtd" version="2.0">
  <channel>
    <title>MaplePrimes - Newest Posts</title>
    <link>http://www.mapleprimes.com/posts</link>
    <language>en-us</language>
    <copyright>2026 Maplesoft, A Division of Waterloo Maple Inc.</copyright>
    <generator>Maplesoft Document System</generator>
    <lastBuildDate>Sat, 19 Sep 2026 17:19:51 GMT</lastBuildDate>
    <pubDate>Sat, 19 Sep 2026 17:19:51 GMT</pubDate>
    <itunes:subtitle />
    <itunes:summary />
    <description>The latest posts added to MaplePrimes</description>
    <image>
      <url>http://www.mapleprimes.com/images/mapleprimeswhite.jpg</url>
      <title>MaplePrimes - Newest Posts</title>
      <link>http://www.mapleprimes.com/posts</link>
    </image>
    <item>
      <title>Maple Transactions issue for late summer is out</title>
      <link>http://www.mapleprimes.com/posts/235661-Maple-Transactions-Issue-For-Late-Summer-Is-Out?ref=Feed:MaplePrimes:New Posts</link>
      <itunes:summary>&lt;p&gt;I am pleased to announce that &lt;a href="https://mapletransactions.org/index.php/maple/issue/view/2221"&gt;Volume 6 Issue 2 of Maple Transactions&lt;/a&gt; has now been published.&amp;nbsp; In some ways it is the largest issue we have yet published, because it leads off with a magnificent paper by Gilbert Labelle, which clocks in (with its appendix) at over a hundred pages.&amp;nbsp; Professor Labelle is one of the world&amp;#39;s best combinatorialists, and this paper is (in my mind) beautiful, and well worth the effort to read it.&amp;nbsp; The illustrations are also illuminating, and excellent.&amp;nbsp;&amp;nbsp;&lt;/p&gt;

&lt;p&gt;David Jeffrey and I put in two related papers, and together they clock in at just over fifty pages; and well I have to say there&amp;#39;s some neat illustrations there, too.&lt;/p&gt;

&lt;p&gt;But the real contributions of the issue are, first, Bill Bauldry&amp;#39;s Simulation of the Enigma, in Maple (a worksheet included by popular demand!) and the five refereed papers.&lt;/p&gt;

&lt;p&gt;The cover image is a picture from the Maplesoft reception at the International Conference on Mathematical Software held in Waterloo in July, which I reproduce here, just for fun.&lt;/p&gt;

&lt;p&gt;&amp;nbsp;&lt;/p&gt;

&lt;p&gt;&lt;img alt="People at the ICMS reception held at Maplesoft headquarters" src="https://mapletransactions.org/public/journals/167/cover_issue_2221_en_US.jpg"&gt;&lt;/p&gt;
</itunes:summary>
      <description>&lt;p&gt;I am pleased to announce that &lt;a href="https://mapletransactions.org/index.php/maple/issue/view/2221"&gt;Volume 6 Issue 2 of Maple Transactions&lt;/a&gt; has now been published.&amp;nbsp; In some ways it is the largest issue we have yet published, because it leads off with a magnificent paper by Gilbert Labelle, which clocks in (with its appendix) at over a hundred pages.&amp;nbsp; Professor Labelle is one of the world&amp;#39;s best combinatorialists, and this paper is (in my mind) beautiful, and well worth the effort to read it.&amp;nbsp; The illustrations are also illuminating, and excellent.&amp;nbsp;&amp;nbsp;&lt;/p&gt;

&lt;p&gt;David Jeffrey and I put in two related papers, and together they clock in at just over fifty pages; and well I have to say there&amp;#39;s some neat illustrations there, too.&lt;/p&gt;

&lt;p&gt;But the real contributions of the issue are, first, Bill Bauldry&amp;#39;s Simulation of the Enigma, in Maple (a worksheet included by popular demand!) and the five refereed papers.&lt;/p&gt;

&lt;p&gt;The cover image is a picture from the Maplesoft reception at the International Conference on Mathematical Software held in Waterloo in July, which I reproduce here, just for fun.&lt;/p&gt;

&lt;p&gt;&amp;nbsp;&lt;/p&gt;

&lt;p&gt;&lt;img alt="People at the ICMS reception held at Maplesoft headquarters" src="https://mapletransactions.org/public/journals/167/cover_issue_2221_en_US.jpg"&gt;&lt;/p&gt;
</description>
      <guid>235661</guid>
      <pubDate>Wed, 16 Sep 2026 22:45:31 Z</pubDate>
      <itunes:author>rcorless</itunes:author>
      <author>rcorless</author>
    </item>
    <item>
      <title>Feedback on Maple 2025/2026 smart baseline behavior</title>
      <link>http://www.mapleprimes.com/posts/235638-Feedback-On-Maple-20252026-Smart-Baseline?ref=Feed:MaplePrimes:New Posts</link>
      <itunes:summary>&lt;p&gt;Dear MapleSoft Team,&lt;/p&gt;

&lt;p&gt;I am writing to share some feedback regarding a new feature introduced in Maple 2025. Specifically, when typing ^, /, or __ followed by a number or symbol and then entering another operator (such as +), the operator is automatically inserted on the baseline.&lt;/p&gt;

&lt;p&gt;While I understand this &amp;quot;smart baseline behavior&amp;quot; may be useful for some users, I personally find it disruptive and counterproductive. It often interferes with my workflow rather than improving it.&lt;/p&gt;

&lt;p&gt;May I suggest adding an option that allows users to choose whether to enable or disable this feature? Providing such flexibility would accommodate both those who appreciate the behavior and those who prefer the previous input style.&lt;/p&gt;

&lt;p&gt;Thank you for considering this feedback. I hope this suggestion can help improve the user experience for a wider range of Maple users.&lt;/p&gt;
</itunes:summary>
      <description>&lt;p&gt;Dear MapleSoft Team,&lt;/p&gt;

&lt;p&gt;I am writing to share some feedback regarding a new feature introduced in Maple 2025. Specifically, when typing ^, /, or __ followed by a number or symbol and then entering another operator (such as +), the operator is automatically inserted on the baseline.&lt;/p&gt;

&lt;p&gt;While I understand this &amp;quot;smart baseline behavior&amp;quot; may be useful for some users, I personally find it disruptive and counterproductive. It often interferes with my workflow rather than improving it.&lt;/p&gt;

&lt;p&gt;May I suggest adding an option that allows users to choose whether to enable or disable this feature? Providing such flexibility would accommodate both those who appreciate the behavior and those who prefer the previous input style.&lt;/p&gt;

&lt;p&gt;Thank you for considering this feedback. I hope this suggestion can help improve the user experience for a wider range of Maple users.&lt;/p&gt;
</description>
      <guid>235638</guid>
      <pubDate>Sun, 13 Sep 2026 04:17:33 Z</pubDate>
      <itunes:author>Geoff</itunes:author>
      <author>Geoff</author>
    </item>
    <item>
      <title>Polynomial systems in Maple 2024</title>
      <link>http://www.mapleprimes.com/posts/235621-Polynomial-Systems-In-Maple-2024?ref=Feed:MaplePrimes:New Posts</link>
      <itunes:summary>&lt;p&gt;Add a couple of variables to a polynomial system and the difficulty climbs fast. Maple 2024 helps here in one specific way: RootFinding:-Isolate handles complex solutions of multivariate systems.&lt;/p&gt;

&lt;p&gt;Take this one:&lt;/p&gt;

&lt;p&gt;sys := [&lt;br&gt;
&amp;nbsp; x + y + z = 0,&lt;br&gt;
&amp;nbsp; x*y + y*z + z*x = 1,&lt;br&gt;
&amp;nbsp; x*y*z = 1&lt;br&gt;
]:&lt;/p&gt;

&lt;p&gt;RootFinding:-Isolate(sys, [x,y,z], complex);&lt;/p&gt;

&lt;p&gt;Previously you would break that down yourself into a chain of single-variable equations. Now you hand it over whole.&lt;/p&gt;

&lt;p&gt;fsolve changed too. For univariate polynomials above degree two it calls RootFinding:-Isolate by default. There is also a PW method, which isolates and approximates complex roots faster in a lot of cases.&lt;/p&gt;

&lt;p&gt;Worth understanding what isolation actually does: it locates regions containing roots first, then refines the approximations inside them. That ordering matters when roots cluster tightly or sit in the complex plane, exactly where plain numerical root-finders start returning garbage or grinding.&lt;/p&gt;
</itunes:summary>
      <description>&lt;p&gt;Add a couple of variables to a polynomial system and the difficulty climbs fast. Maple 2024 helps here in one specific way: RootFinding:-Isolate handles complex solutions of multivariate systems.&lt;/p&gt;

&lt;p&gt;Take this one:&lt;/p&gt;

&lt;p&gt;sys := [&lt;br /&gt;
&amp;nbsp; x + y + z = 0,&lt;br /&gt;
&amp;nbsp; x*y + y*z + z*x = 1,&lt;br /&gt;
&amp;nbsp; x*y*z = 1&lt;br /&gt;
]:&lt;/p&gt;

&lt;p&gt;RootFinding:-Isolate(sys, [x,y,z], complex);&lt;/p&gt;

&lt;p&gt;Previously you would break that down yourself into a chain of single-variable equations. Now you hand it over whole.&lt;/p&gt;

&lt;p&gt;fsolve changed too. For univariate polynomials above degree two it calls RootFinding:-Isolate by default. There is also a PW method, which isolates and approximates complex roots faster in a lot of cases.&lt;/p&gt;

&lt;p&gt;Worth understanding what isolation actually does: it locates regions containing roots first, then refines the approximations inside them. That ordering matters when roots cluster tightly or sit in the complex plane, exactly where plain numerical root-finders start returning garbage or grinding.&lt;/p&gt;
</description>
      <guid>235621</guid>
      <pubDate>Wed, 09 Sep 2026 17:24:37 Z</pubDate>
      <itunes:author>Tomer Damari</itunes:author>
      <author>Tomer Damari</author>
    </item>
    <item>
      <title>Mathematical reformulation and performance</title>
      <link>http://www.mapleprimes.com/posts/235568-Mathematical-Reformulation-And-Performance?ref=Feed:MaplePrimes:New Posts</link>
      <itunes:summary>&lt;p&gt;One thing I&amp;rsquo;ve been experimenting with recently is how much the &lt;em&gt;form&lt;/em&gt; of an expression can affect Maple&amp;rsquo;s performance.&lt;/p&gt;

&lt;p&gt;For example, two mathematically equivalent expressions can behave very differently when passed to &lt;code&gt;simplify&lt;/code&gt;, &lt;code&gt;solve&lt;/code&gt;, &lt;code&gt;dsolve&lt;/code&gt;, or numerical procedures.&lt;/p&gt;

&lt;p&gt;A useful workflow is to simplify and restructure the problem &lt;strong&gt;before&lt;/strong&gt; asking Maple to do the expensive part.&lt;/p&gt;

&lt;p&gt;For example:&lt;/p&gt;

&lt;pre&gt;
&lt;code&gt;restart:

expr := (x^2-1)/(x-1):

simplify(expr);
&lt;/code&gt;&lt;/pre&gt;

&lt;p&gt;gives a much simpler expression, but in larger problems the same idea can make a surprisingly big difference.&lt;/p&gt;

&lt;p&gt;I&amp;rsquo;ve also found it useful to inspect intermediate expressions rather than immediately running a large command:&lt;/p&gt;

&lt;pre&gt;
&lt;code&gt;interface(showassumed=0):

simplify(expr, symbolic);
factor(expr);
expand(expr);
collect(expr, x);
&lt;/code&gt;&lt;/pre&gt;

&lt;p&gt;The interesting part is that Maple isn&amp;#39;t necessarily &amp;ldquo;slow&amp;rdquo; because the underlying mathematics is difficult. Sometimes it is simply being asked to work with a representation that hides the structure of the problem.&lt;/p&gt;

&lt;p&gt;For large symbolic calculations, I now tend to think of Maple as having two stages:&lt;/p&gt;

&lt;p&gt;&lt;strong&gt;1. Prepare the mathematics&lt;/strong&gt;&lt;/p&gt;

&lt;p&gt;Reduce, factor, substitute, collect terms, exploit assumptions, and remove unnecessary complexity.&lt;/p&gt;

&lt;p&gt;&lt;strong&gt;2. Let Maple perform the expensive computation&lt;/strong&gt;&lt;/p&gt;

&lt;p&gt;Only after the expression has been put into a useful form.&lt;/p&gt;

&lt;p&gt;This seems particularly important with large nonlinear systems, symbolic integration, and differential equations.&lt;/p&gt;

&lt;p&gt;A small change in representation can sometimes turn a calculation that takes minutes into one that takes seconds.&lt;/p&gt;

&lt;p&gt;I&amp;rsquo;d be interested in seeing more examples where Maple&amp;#39;s performance was improved simply by changing the mathematical representation of the problem.&lt;/p&gt;
</itunes:summary>
      <description>&lt;p&gt;One thing I&amp;rsquo;ve been experimenting with recently is how much the &lt;em&gt;form&lt;/em&gt; of an expression can affect Maple&amp;rsquo;s performance.&lt;/p&gt;

&lt;p&gt;For example, two mathematically equivalent expressions can behave very differently when passed to &lt;code inline=""&gt;simplify&lt;/code&gt;, &lt;code inline=""&gt;solve&lt;/code&gt;, &lt;code inline=""&gt;dsolve&lt;/code&gt;, or numerical procedures.&lt;/p&gt;

&lt;p&gt;A useful workflow is to simplify and restructure the problem &lt;strong&gt;before&lt;/strong&gt; asking Maple to do the expensive part.&lt;/p&gt;

&lt;p&gt;For example:&lt;/p&gt;

&lt;pre&gt;
&lt;code&gt;restart:

expr := (x^2-1)/(x-1):

simplify(expr);
&lt;/code&gt;&lt;/pre&gt;

&lt;p&gt;gives a much simpler expression, but in larger problems the same idea can make a surprisingly big difference.&lt;/p&gt;

&lt;p&gt;I&amp;rsquo;ve also found it useful to inspect intermediate expressions rather than immediately running a large command:&lt;/p&gt;

&lt;pre&gt;
&lt;code&gt;interface(showassumed=0):

simplify(expr, symbolic);
factor(expr);
expand(expr);
collect(expr, x);
&lt;/code&gt;&lt;/pre&gt;

&lt;p&gt;The interesting part is that Maple isn&amp;#39;t necessarily &amp;ldquo;slow&amp;rdquo; because the underlying mathematics is difficult. Sometimes it is simply being asked to work with a representation that hides the structure of the problem.&lt;/p&gt;

&lt;p&gt;For large symbolic calculations, I now tend to think of Maple as having two stages:&lt;/p&gt;

&lt;p&gt;&lt;strong&gt;1. Prepare the mathematics&lt;/strong&gt;&lt;/p&gt;

&lt;p&gt;Reduce, factor, substitute, collect terms, exploit assumptions, and remove unnecessary complexity.&lt;/p&gt;

&lt;p&gt;&lt;strong&gt;2. Let Maple perform the expensive computation&lt;/strong&gt;&lt;/p&gt;

&lt;p&gt;Only after the expression has been put into a useful form.&lt;/p&gt;

&lt;p&gt;This seems particularly important with large nonlinear systems, symbolic integration, and differential equations.&lt;/p&gt;

&lt;p&gt;A small change in representation can sometimes turn a calculation that takes minutes into one that takes seconds.&lt;/p&gt;

&lt;p&gt;I&amp;rsquo;d be interested in seeing more examples where Maple&amp;#39;s performance was improved simply by changing the mathematical representation of the problem.&lt;/p&gt;
</description>
      <guid>235568</guid>
      <pubDate>Tue, 01 Sep 2026 17:02:32 Z</pubDate>
      <itunes:author>tommycoupe</itunes:author>
      <author>tommycoupe</author>
    </item>
    <item>
      <title>Calling All Instructors: Introducing Maple Classroom </title>
      <link>http://www.mapleprimes.com/maplesoftblog/235553-Calling-All-Instructors-Introducing?ref=Feed:MaplePrimes:New Posts</link>
      <itunes:summary>

&lt;p&gt;If you teach with Maple, this one&amp;#39;s for you.&lt;/p&gt;

&lt;p&gt;You already know Maple as a place where students can explore, visualize, experiment, and work through problems in ways a static worksheet or textbook can&amp;#39;t match. Maybe you&amp;#39;ve built worksheets, explorations, or activities you use year after year. What you haven&amp;#39;t had, until now, is an easy way to assign that work directly to your class and see how students are actually engaging with it while they work.&lt;/p&gt;

&lt;p&gt;That&amp;#39;s what Maple Classroom is for.&lt;/p&gt;



&lt;p&gt;In the age of AI, students can produce polished, correct-looking work more easily than ever. A right answer doesn&amp;#39;t tell you much about how a student got there, where they got stuck, or whether they&amp;#39;re actually building understanding. The goal with Maple Classroom is that now you can see how students are approaching a problem &amp;mdash; not just what they submitted at the end.&lt;/p&gt;



&lt;p&gt;Maple Classroom lets you create, assign, observe, and respond, without ever leaving Maple. You can create a class and enroll students with a class code, then assign activities for use in class or independently outside it.&lt;/p&gt;

&lt;p style="text-align:center; margin:18px 0;"&gt;&lt;img alt="Examples of activities in Maple Classroom" src="/view.aspx?sf=235553_post/img1.png" style="max-width:100%; height:auto;"&gt;&lt;/p&gt;

&lt;p&gt;Imagine doing a quick poll in class, or assigning a reasoning task as practice, and seeing all the different approaches students took to solve it &amp;mdash; not just who got the right answer, but how they got there, where they got stuck, and what that tells you about where the class stands.&lt;/p&gt;

&lt;p&gt;You can even define a rubric that tells the AI Assistant what to look for, and let it summarize how students approached an activity and where they landed.&lt;/p&gt;

&lt;p style="text-align:center; margin:18px 0;"&gt;&lt;img alt="Maple Classroom instructor view showing student submissions and class results" src="/view.aspx?sf=235553_post/img2.png" style="max-width:100%; height:auto;"&gt;&lt;/p&gt;



&lt;p&gt;Maple Classroom isn&amp;#39;t an LMS or a grading system. And you don&amp;#39;t need to rebuild your course materials to use it &amp;mdash; it&amp;#39;s an added layer on the Maple experience you already teach with, giving you visibility you didn&amp;#39;t have before.&lt;/p&gt;



&lt;p&gt;Maple Classroom is available now as a Technology Preview for Maple 2026. If you&amp;#39;re teaching with Maple, give Maple Classroom a try with your students and let us know what you think &amp;mdash; your feedback will help shape what it becomes.&lt;/p&gt;

&lt;p&gt;&lt;i&gt;Maple Classroom requires Maple 2026 and an active Elite Maintenance Program (EMP) subscription.&lt;/i&gt;&lt;/p&gt;
</itunes:summary>
      <description>&lt;h1 style="font-size:26px; line-height:1.2; margin:0 0 14px 0; font-weight:600;"&gt;Calling All Instructors: Introducing Maple Classroom&lt;/h1&gt;

&lt;p&gt;If you teach with Maple, this one&amp;#39;s for you.&lt;/p&gt;

&lt;p&gt;You already know Maple as a place where students can explore, visualize, experiment, and work through problems in ways a static worksheet or textbook can&amp;#39;t match. Maybe you&amp;#39;ve built worksheets, explorations, or activities you use year after year. What you haven&amp;#39;t had, until now, is an easy way to assign that work directly to your class and see how students are actually engaging with it while they work.&lt;/p&gt;

&lt;p&gt;That&amp;#39;s what Maple Classroom is for.&lt;/p&gt;

&lt;h2 style="font-size:18px; line-height:1.3; margin:22px 0 6px 0; font-weight:700;"&gt;Why This Matters Now&lt;/h2&gt;

&lt;p&gt;In the age of AI, students can produce polished, correct-looking work more easily than ever. A right answer doesn&amp;#39;t tell you much about how a student got there, where they got stuck, or whether they&amp;#39;re actually building understanding. The goal with Maple Classroom is that now you can see how students are approaching a problem &amp;mdash; not just what they submitted at the end.&lt;/p&gt;

&lt;h2 style="font-size:18px; line-height:1.3; margin:22px 0 6px 0; font-weight:700;"&gt;What You Can Do With It&lt;/h2&gt;

&lt;p&gt;Maple Classroom lets you create, assign, observe, and respond, without ever leaving Maple. You can create a class and enroll students with a class code, then assign activities for use in class or independently outside it.&lt;/p&gt;

&lt;p style="text-align:center; margin:18px 0;"&gt;&lt;img alt="Examples of activities in Maple Classroom" src="/view.aspx?sf=235553_post/img1.png" style="max-width:100%; height:auto;"&gt;&lt;/p&gt;

&lt;p&gt;Imagine doing a quick poll in class, or assigning a reasoning task as practice, and seeing all the different approaches students took to solve it &amp;mdash; not just who got the right answer, but how they got there, where they got stuck, and what that tells you about where the class stands.&lt;/p&gt;

&lt;p&gt;You can even define a rubric that tells the AI Assistant what to look for, and let it summarize how students approached an activity and where they landed.&lt;/p&gt;

&lt;p style="text-align:center; margin:18px 0;"&gt;&lt;img alt="Maple Classroom instructor view showing student submissions and class results" src="/view.aspx?sf=235553_post/img2.png" style="max-width:100%; height:auto;"&gt;&lt;/p&gt;

&lt;h2 style="font-size:18px; line-height:1.3; margin:22px 0 6px 0; font-weight:700;"&gt;Not a Replacement, an Enhancement&lt;/h2&gt;

&lt;p&gt;Maple Classroom isn&amp;#39;t an LMS or a grading system. And you don&amp;#39;t need to rebuild your course materials to use it &amp;mdash; it&amp;#39;s an added layer on the Maple experience you already teach with, giving you visibility you didn&amp;#39;t have before.&lt;/p&gt;

&lt;h2 style="font-size:16px; line-height:1.3; margin:22px 0 6px 0; font-weight:600;"&gt;&lt;a href="https://www.maplesoft.com/products/MapleClassroom/"&gt;Try It and Tell Us What You Think &lt;/a&gt;&lt;/h2&gt;

&lt;p&gt;Maple Classroom is available now as a Technology Preview for Maple 2026. If you&amp;#39;re teaching with Maple, give Maple Classroom a try with your students and let us know what you think &amp;mdash; your feedback will help shape what it becomes.&lt;/p&gt;

&lt;p&gt;&lt;i&gt;Maple Classroom requires Maple 2026 and an active Elite Maintenance Program (EMP) subscription.&lt;/i&gt;&lt;/p&gt;
</description>
      <guid>235553</guid>
      <pubDate>Fri, 28 Aug 2026 15:59:01 Z</pubDate>
      <itunes:author>Karishma</itunes:author>
      <author>Karishma</author>
    </item>
    <item>
      <title>Finding the Shortest Path Between Two Points</title>
      <link>http://www.mapleprimes.com/maplesoftblog/235491-Finding-The-Shortest-Path-Between-Two-Points?ref=Feed:MaplePrimes:New Posts</link>
      <itunes:summary>

&lt;p&gt;Suppose you place two points on the x-y plane and ask a seemingly simple question: &lt;em&gt;What is the shortest path connecting them?&lt;/em&gt;&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/path1.png" width="30%/"&gt;&lt;/p&gt;

&lt;p&gt;The &amp;quot;obvious&amp;quot; answer is a straight line (the green curve), but how can we show that this is &lt;em&gt;truly&lt;/em&gt; the optimal path? Imagine two fixed points (x&lt;sub&gt;1&lt;/sub&gt;,y&lt;sub&gt;1&lt;/sub&gt;) and (x&lt;sub&gt;2&lt;/sub&gt;,y&lt;sub&gt;2&lt;/sub&gt;) connected by some curve y(x).&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/path2.png" width="30%/"&gt;&lt;/p&gt;

&lt;p&gt;To find the length of this curve, we zoom in on an infinitesimally small segment. If the curve changes by small amounts dx horizontally and dy vertically, then the Pythagorean theorem gives the tiny arclength ds:&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/h.png" width="15%/"&gt;&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/path3.png" width="50%/"&gt;&lt;/p&gt;

&lt;p&gt;Here, y&amp;#39; = dy/dx is the derivative/slope of y(x) with respect to x. The total length S of the curve, often referred to as the &amp;quot;action&amp;quot;, is found by integrating these arclengths:&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/path4.png" width="50%/"&gt;&lt;/p&gt;

&lt;p&gt;Notice that, unlike ordinary functions that take numbers as inputs, S[y] takes an entire curve y(x) as input and outputs a single number, S. Such a function is called a&lt;em&gt; functional&lt;/em&gt;.&lt;/p&gt;

&lt;p&gt;Our goal is to &lt;em&gt;find the curve y(x) that minimizes the length S[y]&lt;/em&gt;. Instead of asking how the function (or &amp;quot;functional&amp;quot;) S[y] changes for some change in x, we must ask how the total path length changes if we slightly deform the curve y(x) itself. This is the central idea behind a branch of calculus called &amp;quot;Calculus of Variations&amp;quot;.&lt;/p&gt;



&lt;p&gt;Let&amp;#39;s predict that the shortest path between two curves is y(x). Without knowing that y(x) is a straight line (we haven&amp;#39;t proved this yet!), our first prediction is probably incorrect. So, let&amp;#39;s say the &lt;em&gt;true&lt;/em&gt; ideal path is a nearby path y(x) +&amp;nbsp;&amp;epsilon;*&amp;eta;(x), where &amp;eta;(x) is the shape of the function that corrects our original prediction, and&amp;nbsp;&amp;epsilon; scales this correction function (i.e. controls how large the deformation is).&amp;nbsp;To ensure that the endpoints remain the same, we require &amp;eta;(x&lt;sub&gt;1&lt;/sub&gt;) = &amp;eta;(x&lt;sub&gt;2&lt;/sub&gt;) = 0.&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/path5-ezgif.com-video-to-gif-converter.gif" width="60%/"&gt;&lt;/p&gt;

&lt;p&gt;Substituting this new path into the expression for S[y] above, we get the path length S as a function of &amp;epsilon;:&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/path6.png" width="60%/"&gt;&lt;/p&gt;

&lt;p&gt;Notice that if&amp;nbsp;&amp;epsilon; = 0, we recover the original path y(x). If the original path &lt;em&gt;does&lt;/em&gt; minimize S, then S has a minimum at&amp;nbsp;&amp;epsilon; = 0. That is,&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/path7.png" width="12%/"&gt;&lt;/p&gt;

&lt;p&gt;So, to find the minimizing curve y(x), we find a curve y(x) such that dS/d&amp;epsilon; = 0 at&amp;nbsp;&amp;epsilon; = 0. Bringing the derivative inside of the integral for S[y] and using the chain rule, this means:&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/path8.png" width="20%/"&gt;&lt;/p&gt;

&lt;p&gt;We can integrate this by parts using the substitutions:&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/path9.png" width="65%/"&gt;&lt;/p&gt;

&lt;p&gt;Since we originally defined &amp;eta;(x&lt;sub&gt;1&lt;/sub&gt;) = &amp;eta;(x&lt;sub&gt;2&lt;/sub&gt;) = 0, the first term on the right disappears. We&amp;#39;re left with:&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/path10.png" width="30%/"&gt;&lt;/p&gt;

&lt;p&gt;Now, this must be true for &lt;em&gt;any&lt;/em&gt; &amp;eta;(x) we choose, meaning:&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/path11.png" width="30%/"&gt;&lt;/p&gt;

&lt;p&gt;Squaring both sides and rearranging to solve for y&amp;#39;, we get that:&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/path12.png" width="30%/"&gt;&lt;/p&gt;

&lt;p&gt;Hence, y(x) has a constant slope and is therefore a straight line. Note that there are multiple ways to prove that the shortest path between two points is a straight line (such as using the Triangle Inequality or algebraic arguments under Euclidean geometry), but this method of using least action has proven to have much deeper physical significance to more sophisticated questions, as discussed below.&lt;/p&gt;



&lt;p&gt;As many of you have probably noticed, this argument only holds in flat Euclidean space (the space most of us are used to, like the xyz plane). In curved spaces, the analogue of a straight line is called a &lt;strong&gt;geodesic&lt;/strong&gt;.&lt;/p&gt;

&lt;p&gt;The general idea is still the same, but the formula for distance changes depending on the geometry of the space.&lt;/p&gt;

&lt;p&gt;For example, consider the surface of the Earth. If you want the shortest route from Toronto to London while remaining on Earth&amp;#39;s surface, you don&amp;#39;t follow what looks like a straight line on a flat map. You follow part of a &amp;quot;great circle&amp;quot;.&lt;/p&gt;

&lt;p&gt;On a sphere of radius R, for example, the infinitesimal distance is given using spherical coordinates:&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/Geodescic.png" style="max-width: 35%"&gt;&lt;/p&gt;

&lt;p&gt;So instead of minimizing the flat-space length&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/S1.png" style="max-width: 20%"&gt;&lt;/p&gt;

&lt;p&gt;we minimize:&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/S2.png" style="max-width: 35%"&gt;&lt;/p&gt;

&lt;p&gt;Applying the same calculus-of-variations machinery gives the geodesics of the sphere, which turn out to be great circles.&lt;/p&gt;

&lt;p&gt;This becomes especially interesting in general relativity. Spacetime itself is curved, and free-falling objects follow geodesics through that curved spacetime. In that sense, Earth&amp;#39;s orbit around the Sun can be thought of not as Earth being forced away from a straight path, but as Earth following the natural geodesic of curved spacetime.&lt;/p&gt;



&lt;p&gt;What we proved above is a remarkable fact, as the idea of minimizing the &amp;quot;action&amp;quot; functional is a fundamental characteristic of systems in nature. Instead of minimizing distance, physical systems obey the same mathematics to minimize quantities involving energy and time. For example, a hanging rope will form a shape called a catenary (a type of hyperbolic cosine function) to minimize its gravitational potential energy, &lt;em&gt;not&lt;/em&gt; a parabola (which approximates the motion of projectiles) as one might think.&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/path13.png" width="35%/"&gt;&lt;/p&gt;

&lt;p&gt;Similarly, light bends when moving between materials like air and water to minimize travel time.&lt;/p&gt;

&lt;p&gt;So, never doubt the power of seemingly &amp;quot;simple&amp;quot; or intuitive mathematical results, as this elementary question of minimizing distance between two points uses the same mathematics that governs planetary motion, quantum fields, and spacetime itself!&lt;/p&gt;
</itunes:summary>
      <description>&lt;h2&gt;&lt;strong&gt;Defining Our Goal&lt;/strong&gt;&lt;/h2&gt;

&lt;p&gt;Suppose you place two points on the x-y plane and ask a seemingly simple question: &lt;em&gt;What is the shortest path connecting them?&lt;/em&gt;&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/path1.png" width="30%/" /&gt;&lt;/p&gt;

&lt;p&gt;The &amp;quot;obvious&amp;quot; answer is a straight line (the green curve), but how can we show that this is &lt;em&gt;truly&lt;/em&gt; the optimal path? Imagine two fixed points (x&lt;sub&gt;1&lt;/sub&gt;,y&lt;sub&gt;1&lt;/sub&gt;) and (x&lt;sub&gt;2&lt;/sub&gt;,y&lt;sub&gt;2&lt;/sub&gt;) connected by some curve y(x).&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/path2.png" width="30%/" /&gt;&lt;/p&gt;

&lt;p&gt;To find the length of this curve, we zoom in on an infinitesimally small segment. If the curve changes by small amounts dx horizontally and dy vertically, then the Pythagorean theorem gives the tiny arclength ds:&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/h.png" width="15%/" /&gt;&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/path3.png" width="50%/" /&gt;&lt;/p&gt;

&lt;p&gt;Here, y&amp;#39; = dy/dx is the derivative/slope of y(x) with respect to x. The total length S of the curve, often referred to as the &amp;quot;action&amp;quot;, is found by integrating these arclengths:&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/path4.png" width="50%/" /&gt;&lt;/p&gt;

&lt;p&gt;Notice that, unlike ordinary functions that take numbers as inputs, S[y] takes an entire curve y(x) as input and outputs a single number, S. Such a function is called a&lt;em&gt; functional&lt;/em&gt;.&lt;/p&gt;

&lt;p&gt;Our goal is to &lt;em&gt;find the curve y(x) that minimizes the length S[y]&lt;/em&gt;. Instead of asking how the function (or &amp;quot;functional&amp;quot;) S[y] changes for some change in x, we must ask how the total path length changes if we slightly deform the curve y(x) itself. This is the central idea behind a branch of calculus called &amp;quot;Calculus of Variations&amp;quot;.&lt;/p&gt;

&lt;h2&gt;&lt;strong&gt;Digging Deeper&lt;/strong&gt;&lt;/h2&gt;

&lt;p&gt;Let&amp;#39;s predict that the shortest path between two curves is y(x). Without knowing that y(x) is a straight line (we haven&amp;#39;t proved this yet!), our first prediction is probably incorrect. So, let&amp;#39;s say the &lt;em&gt;true&lt;/em&gt; ideal path is a nearby path y(x) +&amp;nbsp;&amp;epsilon;*&amp;eta;(x), where &amp;eta;(x) is the shape of the function that corrects our original prediction, and&amp;nbsp;&amp;epsilon; scales this correction function (i.e. controls how large the deformation is).&amp;nbsp;To ensure that the endpoints remain the same, we require &amp;eta;(x&lt;sub&gt;1&lt;/sub&gt;) = &amp;eta;(x&lt;sub&gt;2&lt;/sub&gt;) = 0.&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/path5-ezgif.com-video-to-gif-converter.gif" width="60%/" /&gt;&lt;/p&gt;

&lt;p&gt;Substituting this new path into the expression for S[y] above, we get the path length S as a function of &amp;epsilon;:&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/path6.png" width="60%/" /&gt;&lt;/p&gt;

&lt;p&gt;Notice that if&amp;nbsp;&amp;epsilon; = 0, we recover the original path y(x). If the original path &lt;em&gt;does&lt;/em&gt; minimize S, then S has a minimum at&amp;nbsp;&amp;epsilon; = 0. That is,&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/path7.png" width="12%/" /&gt;&lt;/p&gt;

&lt;p&gt;So, to find the minimizing curve y(x), we find a curve y(x) such that dS/d&amp;epsilon; = 0 at&amp;nbsp;&amp;epsilon; = 0. Bringing the derivative inside of the integral for S[y] and using the chain rule, this means:&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/path8.png" width="20%/" /&gt;&lt;/p&gt;

&lt;p&gt;We can integrate this by parts using the substitutions:&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/path9.png" width="65%/" /&gt;&lt;/p&gt;

&lt;p&gt;Since we originally defined &amp;eta;(x&lt;sub&gt;1&lt;/sub&gt;) = &amp;eta;(x&lt;sub&gt;2&lt;/sub&gt;) = 0, the first term on the right disappears. We&amp;#39;re left with:&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/path10.png" width="30%/" /&gt;&lt;/p&gt;

&lt;p&gt;Now, this must be true for &lt;em&gt;any&lt;/em&gt; &amp;eta;(x) we choose, meaning:&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/path11.png" width="30%/" /&gt;&lt;/p&gt;

&lt;p&gt;Squaring both sides and rearranging to solve for y&amp;#39;, we get that:&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/path12.png" width="30%/" /&gt;&lt;/p&gt;

&lt;p&gt;Hence, y(x) has a constant slope and is therefore a straight line. Note that there are multiple ways to prove that the shortest path between two points is a straight line (such as using the Triangle Inequality or algebraic arguments under Euclidean geometry), but this method of using least action has proven to have much deeper physical significance to more sophisticated questions, as discussed below.&lt;/p&gt;

&lt;h2&gt;&lt;strong&gt;Important Distinction&lt;/strong&gt;&lt;/h2&gt;

&lt;p&gt;As many of you have probably noticed, this argument only holds in flat Euclidean space (the space most of us are used to, like the xyz plane). In curved spaces, the analogue of a straight line is called a &lt;strong data-end="149" data-start="137"&gt;geodesic&lt;/strong&gt;.&lt;/p&gt;

&lt;p data-end="373" data-start="152"&gt;The general idea is still the same, but the formula for distance changes depending on the geometry of the space.&lt;/p&gt;

&lt;p data-end="615" data-start="375"&gt;For example, consider the surface of the Earth. If you want the shortest route from Toronto to London while remaining on Earth&amp;#39;s surface, you don&amp;#39;t follow what looks like a straight line on a flat map. You follow part of a &amp;quot;great circle&amp;quot;.&lt;/p&gt;

&lt;p data-end="615" data-start="375"&gt;On a sphere of radius R, for example, the infinitesimal distance is given using spherical coordinates:&lt;/p&gt;

&lt;p data-end="615" data-start="375"&gt;&lt;img src="/view.aspx?sf=235491_post/Geodescic.png" style="max-width: 35%" /&gt;&lt;/p&gt;

&lt;p data-end="615" data-start="375"&gt;So instead of minimizing the flat-space length&lt;/p&gt;

&lt;p data-end="615" data-start="375"&gt;&lt;img src="/view.aspx?sf=235491_post/S1.png" style="max-width: 20%" /&gt;&lt;/p&gt;

&lt;p data-end="615" data-start="375"&gt;we minimize:&lt;/p&gt;

&lt;p data-end="615" data-start="375"&gt;&lt;img src="/view.aspx?sf=235491_post/S2.png" style="max-width: 35%" /&gt;&lt;/p&gt;

&lt;p data-end="1064" data-start="939"&gt;Applying the same calculus-of-variations machinery gives the geodesics of the sphere, which turn out to be great circles.&lt;/p&gt;

&lt;p data-end="1407" data-start="1066"&gt;This becomes especially interesting in general relativity. Spacetime itself is curved, and free-falling objects follow geodesics through that curved spacetime. In that sense, Earth&amp;#39;s orbit around the Sun can be thought of not as Earth being forced away from a straight path, but as Earth following the natural geodesic of curved spacetime.&lt;/p&gt;

&lt;h2&gt;&lt;strong&gt;Deeper Physical Significance&lt;/strong&gt;&lt;/h2&gt;

&lt;p&gt;What we proved above is a remarkable fact, as the idea of minimizing the &amp;quot;action&amp;quot; functional is a fundamental characteristic of systems in nature. Instead of minimizing distance, physical systems obey the same mathematics to minimize quantities involving energy and time. For example, a hanging rope will form a shape called a catenary (a type of hyperbolic cosine function) to minimize its gravitational potential energy, &lt;em&gt;not&lt;/em&gt; a parabola (which approximates the motion of projectiles) as one might think.&lt;/p&gt;

&lt;p&gt;&lt;img src="/view.aspx?sf=235491_post/path13.png" width="35%/" /&gt;&lt;/p&gt;

&lt;p&gt;Similarly, light bends when moving between materials like air and water to minimize travel time.&lt;/p&gt;

&lt;p&gt;So, never doubt the power of seemingly &amp;quot;simple&amp;quot; or intuitive mathematical results, as this elementary question of minimizing distance between two points uses the same mathematics that governs planetary motion, quantum fields, and spacetime itself!&lt;/p&gt;
</description>
      <guid>235491</guid>
      <pubDate>Thu, 20 Aug 2026 19:57:07 Z</pubDate>
      <itunes:author>callumneily</itunes:author>
      <author>callumneily</author>
    </item>
  </channel>
</rss>