View source for Brachistochrone curve

{{Short description|Fastest curve descent without friction }}
[[File:Brachistochrone.gif|thumb|right|The curve of fastest descent is not a straight or polygonal line (blue) but a [[cycloid]] (red).]]

In [[physics]] and [[mathematics]], a '''brachistochrone curve''' ({{ety|grc|''βράχιστος χρόνος'' (brákhistos khrónos)|shortest time}}),<ref>{{cite EB1911|wstitle=Brachistochrone}}</ref> or [[curve]] of fastest descent, is the one lying on the plane between a point ''A'' and a lower point ''B'', where ''B'' is not directly below ''A'', on which a bead slides [[friction]]lessly under the influence of a uniform gravitational field to a given end point in the shortest time. The problem was posed by [[Johann Bernoulli]] in 1696 and solved by [[Isaac Newton]] in 1697.

The brachistochrone curve is the same shape as the [[tautochrone curve]]; both are [[cycloid]]s. However, the portion of the cycloid used for each of the two varies. More specifically, the brachistochrone can use up to a complete rotation of the cycloid (at the limit when A and B are at the same level), but always starts at a [[Cusp (singularity)|cusp]]. In contrast, the tautochrone problem can use only up to the first half rotation, and always ends at the horizontal.<ref name="Stewart">Stewart, James. "Section 10.1 - Curves Defined by Parametric Equations." ''Calculus: Early Transcendentals''. 7th ed. Belmont, CA: Thomson Brooks/Cole, 2012. 640. Print.</ref> The problem can be solved using tools from the [[calculus of variations]]<ref>{{MathWorld | urlname=BrachistochroneProblem | title=Brachistochrone Problem}}</ref> and [[optimal control]].<ref>[[I. Michael Ross|Ross, I. M.]] The Brachistochrone Paradigm, in '' Primer on Pontryagin's Principle in Optimal Control'', Collegiate Publishers, 2009. {{ISBN|978-0-9843571-0-9}}.</ref>

[[File:Brachistochrone_curve.gif|thumb|right| Balls rolling under uniform gravity without friction on a cycloid (black) and straight lines with various gradients.  It demonstrates that the ball on the curve always beats the balls travelling in a straight line path to the intersection point of the curve and each straight line.]]

The curve is independent of both the mass of the test body and the local strength of gravity. Only a parameter is chosen so that the curve fits the starting point ''A'' and the ending point ''B''.<ref name="Hand">Hand, Louis N., and Janet D. Finch. "Chapter 2: Variational Calculus and Its Application to Mechanics." ''Analytical Mechanics''. Cambridge: Cambridge UP, 1998. 45, 70. Print.</ref> If the body is given an initial velocity at ''A'', or if friction is taken into account, then the curve that minimizes time differs from the [[tautochrone curve]].

==History==

=== Galileo's problem ===
Earlier, in 1638, [[Galileo Galilei]] had tried to solve a similar problem for the path of the fastest descent from a point to a wall in his ''[[Two New Sciences]]''. He draws the conclusion that the arc of a circle is faster than any number of its chords,<ref>{{citation |author=Galileo Galilei |title=Discourses regarding two new sciences |page=239 |year=1638 |chapter=Third Day, Theorem 22, Prop. 36 |chapter-url=http://galileoandeinstein.physics.virginia.edu/tns_draft/tns_160to243.html |author-link=Galileo Galilei}} This conclusion had appeared six years earlier in Galileo's ''Dialogue Concerning the Two Chief World Systems'' (Day 4).</ref><blockquote>From the preceding it is possible to infer that the quickest path of all [lationem omnium velocissimam], from one point to another, is not the shortest path, namely, a straight line, but the arc of a circle.
 
...

Consequently the nearer the inscribed polygon approaches a circle the shorter the time required for descent from A to C. What has been proven for the quadrant holds true also for smaller arcs; the reasoning is the same.</blockquote>
[[File:Galileo's_Shortest_Time_Curve_Conjecture.jpg|alt=Diagrams for Wikipedia entry regarding Galileo's Conjecture|center]]
Just after Theorem 6 of ''Two New Sciences'', Galileo warns of possible fallacies and the need for a "higher science". In this dialogue Galileo reviews his own work. Galileo studied the cycloid and gave it its name, but the connection between it and his problem had to wait for advances in mathematics.

Galileo’s conjecture is that “The shortest time of all [for a movable body] will be that of its fall along the arc ADB [of a quarter circle] and similar properties are to be understood as holding for all lesser arcs taken upward from the lowest limit B.”

In Fig.1, from the “Dialogue Concerning the Two Chief World Systems”, Galileo claims that the body sliding along the circular arc of a quarter circle, from A to B will reach B in less time than if it took any other path from A to B. Similarly, in Fig. 2, from any point D on the arc AB, he claims that the time along the lesser arc DB will be less than for any other path from D to B. In fact, the quickest path from A to B or from D to B, the brachistochrone, is a cycloidal arc, which is shown in Fig. 3 for the path from A to B, and Fig.4 for the path from D to B, superposed on the respective circular arc.
<ref>{{cite book |last1=Galilei |first1=Galileo |title="Dialogue Concerning the Two Chief World Systems – Ptolemaic and Copernican translated by Stillman Drake, foreword by Albert Einstein " |date=1967 |publisher=University of California Press Berkeley and Los Angeles |isbn=0520004493 |edition=Hardback |page=451}}</ref>

=== Introduction of the problem ===
[[Johann Bernoulli]] posed the problem of the brachistochrone to the readers of ''[[Acta Eruditorum]]'' in June, 1696.<ref>Johann Bernoulli (June 1696) [https://books.google.com/books?id=4q1RAAAAcAAJ&pg=PA269 "Problema novum ad cujus solutionem Mathematici invitantur."] (A new problem to whose solution mathematicians are invited.), ''Acta Eruditorum'', '''18''' :  269.  From p. 269:  ''"Datis in plano verticali duobus punctis A & B (vid Fig. 5) assignare Mobili M, viam AMB, per quam gravitate sua descendens & moveri incipiens a puncto A, brevissimo tempore perveniat ad alterum punctum B."'' (Given in a vertical plane two points A and B (see Figure 5), assign to the moving [body] M, the path AMB, by means of which — descending by its own weight and beginning to be moved [by gravity] from point A — it would arrive at the other point B in the shortest time.)</ref><ref>Solutions to Johann Bernoulli's problem of 1696:
*Isaac Newton (January 1697) [http://rstl.royalsocietypublishing.org/content/19/215-235/424.full.pdf+html "De ratione temporis quo grave labitur per rectam data duo puncta conjungentem, ad tempus brevissimum quo, vi gravitatis, transit ab horum uno ad alterum per arcum cycloidis"] (On a proof [that] the time in which a weight slides by a line joining two given points [is] the shortest in terms of time when it passes, via gravitational force, from one of these [points] to the other through a cycloidal arc), ''Philosophical Transactions of the Royal Society of London'', '''19''' :  424-425.
*G.G.L. (Gottfried Wilhelm Leibniz) (May 1697) [https://books.google.com/books?id=aTaZHrvK6zIC&dq=Acta%20eruditorum%20Anno%20MDCXCVII&pg=PA201 "Communicatio suae pariter, duarumque alienarum ad edendum sibi primum a Dn. Jo. Bernoullio, deinde a Dn. Marchione Hospitalio communicatarum solutionum problematis curva celerrimi descensus a Dn. Jo. Bernoullio Geometris publice propositi, una cum solutione sua problematis alterius ab eodem postea propositi."] (His communication together with [those] of two others in a report to him first from Johann Bernoulli, [and] then from the Marquis de l'Hôpital, of reported solutions of the problem of the curve of quickest descent, [which was] publicly proposed by Johann Bernoulli, geometer — one with a solution of his other problem proposed afterward by the same [person].), ''Acta Eruditorum'', '''19''' :  201–205.
*Johann Bernoulli (May 1697) [https://books.google.com/books?id=aTaZHrvK6zIC&dq=Acta%20eruditorum%20Anno%20MDCXCVII&pg=PA206 "Curvatura radii in diaphanis non uniformibus, Solutioque Problematis a se in Actis 1696, p. 269, propositi, de invenienda Linea Brachystochrona, id est, in qua grave a dato puncto ad datum punctum brevissimo tempore decurrit, & de curva Synchrona seu radiorum unda construenda."] (The curvature of [light] rays in non-uniform media, and a solution of the problem [which was] proposed by me in the ''Acta Eruditorum'' of 1696, p. 269, from which is to be found the brachistochrone line [i.e., curve], that is, in which a weight descends from a given point to a given point in the shortest time, and on constructing the tautochrone or the wave of [light] rays.), ''Acta Eruditorum'', '''19''' :  206–211.
*Jacob Bernoulli (May 1697) [https://books.google.com/books?id=aTaZHrvK6zIC&dq=Acta%20eruditorum%20Anno%20MDCXCVII&pg=PA211 "Solutio problematum fraternorum, … "] (A solution of [my] brother's problems, … ), ''Acta Eruditorum'', '''19''' :  211–214.
*Marquis de l'Hôpital (May 1697) [https://books.google.com/books?id=aTaZHrvK6zIC&dq=Acta%20eruditorum%20Anno%20MDCXCVII&pg=PA217 "Domini Marchionis Hospitalii solutio problematis de linea celerrimi descensus"] (Lord Marquis de l'Hôpital's solution of the problem of the line of fastest descent), ''Acta Eruditorum'', '''19''' :  217-220.
*reprinted:  Isaac Newton (May 1697)  [https://books.google.com/books?id=aTaZHrvK6zIC&dq=Acta%20eruditorum%20Anno%20MDCXCVII&pg=PA223 "Excerpta ex Transactionibus Philos. Anglic. M. Jan. 1697."] (Excerpt from the English ''Philosophical Transactions'' of the month of January in 1697), ''Acta Eruditorum'', '''19''' :  223–224.</ref> He said:

{{Quote
|text=I, Johann Bernoulli, address the most brilliant mathematicians in the world. Nothing is more attractive to intelligent people than an honest, challenging problem, whose possible solution will bestow fame and remain as a lasting monument. Following the example set by Pascal, Fermat, etc., I hope to gain the gratitude of the whole scientific community by placing before the finest mathematicians of our time a problem which will test their methods and the strength of their intellect. If someone communicates to me the solution of the proposed problem, I shall publicly declare him worthy of praise}}

Bernoulli wrote the problem statement as:

{{Quote
|text=Given two points A and B in a vertical plane, what is the curve traced out by a point acted on only by gravity, which starts at A and reaches B in the shortest time.}}

Johann and his brother [[Jakob Bernoulli]] derived the same solution, but Johann's derivation was incorrect, and he tried to pass off Jakob's solution as his own.<ref>{{cite book|last=Livio|first=Mario|author-link=Mario Livio|title=The Golden Ratio: The Story of Phi, the World's Most Astonishing Number|url=https://books.google.com/books?id=bUARfgWRH14C|orig-year=2002|edition=First trade paperback|year=2003|publisher=[[Random House|Broadway Books]]|location=New York City|isbn=0-7679-0816-3|page=116}}</ref> Johann published the solution in the journal in May of the following year, and noted that the solution is the same curve as [[Christiaan Huygens|Huygens']] [[tautochrone curve]]. After deriving the differential equation for the curve by the method given below, he went on to show that it does yield a cycloid.<ref name="Struik">{{Citation|title=A Source Book in Mathematics, 1200-1800|last=Struik|first=J. D.|year=1969|publisher=Harvard University Press|isbn=0-691-02397-2}}</ref><ref>{{citation |
title=Johann Bernoulli's brachistochrone solution using Fermat's principle of least time| author=Herman Erlichson |year=1999 |journal=Eur. J. Phys.|
pages=299–304 |doi=10.1088/0143-0807/20/5/301| volume=20 |
issue=5| bibcode=1999EJPh...20..299E | s2cid=250741844 }}</ref> However, his proof is marred by his use of a single constant instead of the three constants, ''v<sub>m</sub>'', ''2g'' and ''D'', below.

Bernoulli allowed six months for the solutions but none were received during this period. At the request of Leibniz, the time was publicly extended for a year and a half.<ref>{{cite book|last1=Sagan|first1=Carl|title=Cosmos|date=2011|publisher=Random House Publishing Group|isbn=9780307800985|url=https://books.google.com/books?id=EIqoiww1r9sC&pg=PT94|access-date=2 June 2016|page=94}}</ref> At 4 p.m. on 29 January 1697 when he arrived home from the [[Royal Mint]], [[Isaac Newton]] found the challenge in a letter from Johann Bernoulli.<ref>{{cite book|first=Victor J.|last=Katz|title=A History of Mathematics: An Introduction|edition=2nd|year=1998|publisher=Addison Wesley Longman|isbn=978-0-321-01618-8|page=[https://archive.org/details/historyofmathema00katz/page/547 547]|url-access=registration|url=https://archive.org/details/historyofmathema00katz/page/547}}</ref> Newton stayed up all night to solve it and mailed the solution anonymously by the next post. Upon reading the solution, Bernoulli immediately recognized its author, exclaiming that he "recognizes a lion from his claw mark". This story gives some idea of Newton's power, since Johann Bernoulli took two weeks to solve it.<ref name="Hand"/><ref>[[Tom Whiteside|D.T. Whiteside]], ''Newton the Mathematician'', in Bechler, ''Contemporary Newtonian Research'', p. 122.</ref> Newton also wrote, "I do not love to be dunned [pestered] and teased by foreigners about mathematical things...", and Newton had already solved [[Newton's minimal resistance problem]], which is considered the first of the kind in [[calculus of variations]]. Bernoulli had used the principle of least time in his solution but not calculus of variations, whereas Newton did to solve the problem, and as a result, pioneered the field with his work on the two problems.<ref name=":1">{{Cite book |last=Rowlands |first=Peter |url=https://books.google.com/books?id=ipA4DwAAQBAJ&pg=PA36 |title=Newton and the Great World System |date=2017 |publisher=[[World Scientific Publishing]] |isbn=978-1-78634-372-7 |pages=36–39 |language=en |doi=10.1142/q0108}}</ref>

In the end, five mathematicians responded with solutions: Newton, Jakob Bernoulli, [[Gottfried Leibniz]], [[Ehrenfried Walther von Tschirnhaus]] and [[Guillaume de l'Hôpital]].  Four of the solutions (excluding l'Hôpital's) were published in the same edition of the journal as Johann Bernoulli's. In his paper, Jakob Bernoulli gave a proof of the condition for least time similar to that below before showing that its solution is a cycloid.<ref name="Struik"/> According to Newtonian scholar [[Tom Whiteside]], in an attempt to outdo his brother, Jakob Bernoulli created a harder version of the brachistochrone problem.  In solving it, he developed new methods that were refined by [[Leonhard Euler]] into what the latter called (in 1766) the ''[[calculus of variations]]''.  [[Joseph-Louis Lagrange]] did further work that resulted in modern [[infinitesimal calculus]].

==Johann Bernoulli's solution==

=== Introduction ===

In a letter to L’Hôpital, (21/12/1696), Bernoulli stated that when considering the problem of the curve of quickest descent, after only 2 days he noticed a curious affinity or connection with another no less remarkable problem leading to an ‘indirect method’ of solution. Then shortly afterwards he discovered a ‘direct method’. <ref>{{cite book |last1= Costabel |first1= Pierre| first2= Jeanne|last2= Peiffer| title= Der Briefwechsel von Johann I Bernoulli", Vol. II: "Der Briefwechsel mit Pierre Varignon, Erster Teil: 1692-1702"|date=1988 |publisher= Springer Basel Ag |isbn=978-3-0348-5068-1 |pages=329|edition=Hardback}}</ref>

=== Direct method ===

In a letter to Henri Basnage, held at the University of Basel Public Library, dated 30 March 1697, Johann Bernoulli stated that he had found two methods (always referred to as "direct" and "indirect") to show that the Brachistochrone was the "common cycloid", also called the "roulette". Following advice from Leibniz, he included only the indirect method in the ''Acta Eruditorum Lipsidae'' of May 1697. He wrote that this was partly because he believed it was sufficient to convince anyone who doubted the conclusion, partly because it also resolved two famous problems in optics that "the late Mr. Huygens" had raised in his treatise on light. In the same letter he criticised Newton for concealing his method.

In addition to his indirect method he also published the five other replies to the problem that he received.

Johann Bernoulli's direct method is historically important as a proof that the brachistochrone is the cycloid. The method is to determine the curvature of the curve at each point. All the other proofs, including Newton's (which was not revealed at the time) are based on finding the gradient at each point.

In 1718, Bernoulli explained how he solved the brachistochrone problem by his direct method.<ref>Bernoulli, Johann. Mémoires de l'Académie des Sciences (French Academy of Sciences) Vol. 3, 1718, pp. 135–138</ref><ref>''The Early Period of the Calculus of Variations'', by P. Freguglia and M. Giaquinta, pp. 53–57, {{ISBN|978-3-319-38945-5}}.</ref>

He explained that he had not published it in 1697, for reasons that no longer applied in 1718. This paper was largely ignored until 1904 when the depth of the method was first appreciated by [[Constantin Carathéodory]], who stated that it shows that the cycloid is the only possible curve of quickest descent. According to him, the other solutions simply implied that the time of descent is stationary for the cycloid, but not necessarily the minimum possible.

==== Analytic solution ====
[[File:Brachistochrone Bernoulli Direct Method.png|Brachistochrone Bernoulli Direct Method]]

A body is regarded as sliding along any small circular arc Ce between the radii KC and Ke, with centre K fixed. The first stage of the proof involves finding the particular circular arc, Mm, which the body traverses in the minimum time.

The line KNC intersects AL at N, and line Kne intersects it at n, and they make a small angle CKe at K. Let NK = a, and define a variable point, C on KN extended. Of all the possible circular arcs Ce, it is required to find the arc Mm, which requires the minimum time to slide between the 2 radii, KM and Km. To find Mm Bernoulli argues as follows.

Let MN = x. He defines m so that MD = mx, and n so that Mm = nx + na and notes that x is the only variable and that m is finite and n is infinitely small. The small time to travel along arc Mm is <math> \frac{Mm}{MD^{\frac{1}{2}}} = \frac{n(x + a)}{(mx)^{\frac{1}{2}}} </math>, which has to be a minimum (‘un plus petit’). He does not explain that because Mm is so small the speed along it can be assumed to be the speed at M, which is as the square root of MD, the vertical distance of M below the horizontal line AL.

It follows that, when differentiated this must give 
:<math>
\frac{(x - a)dx}{2x^{\frac{3}{2}}} = 0
</math> so that x = a.

This condition defines the curve that the body slides along in the shortest time possible. For each point, M on the curve, the radius of curvature, MK is cut in 2 equal parts by its axis AL. This property, which Bernoulli says had been known for a long time, is unique to the cycloid.

Finally, he considers the more general case where the speed is an arbitrary function X(x), so the time to be minimised is <math> \frac{(x + a)}{X} </math>.
The minimum condition then becomes 
<math>
X = \frac{(x + a)dX}{dx}
</math>
which he writes as :<math>
X = (x + a)\Delta x
</math>
and which gives MN (=x) as a function of NK (= a). From this the equation of the curve could be obtained from the integral calculus, though he does not demonstrate this.

==== Synthetic solution ====
He then proceeds with what he called his Synthetic Solution, which was a classical, geometrical proof, that there is only a single curve that a body can slide down in the minimum time, and that curve is the cycloid.

"The reason for the synthetic demonstration, in the manner of the ancients, is to convince [[Philippe de La Hire|Mr. de la Hire]]. He has little time for our new analysis, describing it as false (He claims he has found 3 ways to prove that the curve is a cubic parabola)" – Letter from Johan Bernoulli to Pierre Varignon dated 27 Jul 1697. <ref>{{cite book |last1= Costabel |first1= Pierre| first2= Jeanne|last2= Peiffer| title= "Der Briefwechsel von Johann I Bernoulli", Vol. II: "Der Briefwechsel mit Pierre Varignon, Erster Teil: 1692-1702"|date=1988 |publisher= Springer Basel Aktiengesellschaft |isbn=978-3-0348-5068-1 |pages=117–118|edition=Hardback}}</ref>

Assume AMmB is the part of the cycloid joining A to B, which the body slides down in the minimum time. Let ICcJ be part of a different curve joining A to B, which can be closer to AL than AMmB.  If the arc Mm subtends the angle MKm at its centre of curvature, K, let the arc on IJ that subtends the same angle be Cc. The circular arc through C with centre K is Ce. Point D on AL is vertically above M. Join K to D and point H is where CG intersects KD, extended if necessary.

Let <math> \tau </math> and t be the times the body takes to fall along Mm and Ce respectively.

:<math> \tau \propto \frac{Mm}{MD^{\frac{1}{2}}} </math>, <math> t \propto \frac{Ce}{CG^{\frac{1}{2}}} </math>, 
Extend CG to point F where, <math> CF = \frac{CH^2}{MD} </math> and since <math>  \frac{Mm}{Ce}  = \frac{MD}{CH} </math>, it follows that
:<math> \frac {\tau}{t} = \frac{Mm}{Ce}.\left({\frac{CG}{MD}}\right)^{\frac{1}{2}} = \left({\frac{CG}{CF}}\right)^{\frac{1}{2}} </math>
Since MN = NK, for the cycloid:
:<math> GH = \frac{MD.HD}{DK} = \frac{MD.CM}{MK} </math>, <math> CH = \frac{MD.CK}{MK} = \frac{MD.(MK + CM)}{MK} </math>, and <math> CG = CH + GH = \frac{MD.(MK + 2CM)}{MK} </math>

If Ce is closer to K than Mm then 
:<math> CH = \frac{MD.(MK - CM)}{MK} </math> and <math> CG = CH - GH = \frac{MD.(MK - 2CM)}{MK} </math>
In either case, 
:<math> CF = \frac{CH^2}{MD} > CG </math>, and it follows that <math> \tau < t </math>
If the arc, Cc subtended by the angle infinitesimal angle MKm on IJ is not circular, it must be greater than Ce, since Cec becomes a right-triangle in the limit as angle MKm approaches zero.

Note, Bernoulli proves that CF > CG by a similar but different argument.

From this he concludes that a body traverses the cycloid AMB in less time than any other curve ACB.

=== Indirect method ===
According to [[Fermat’s principle]], the actual path between two points taken by a beam of light (which obeys [[Snell's law#Derivation from Fermat's principle|Snell's law of refraction]]) is one that takes the least time. In 1697 [[Johann Bernoulli]] used this principle to derive the brachistochrone curve by considering the trajectory of a beam of light in a medium where the speed of light increases following a constant vertical acceleration (that of gravity ''g'').<ref>{{citation |title=The Brachistochrone Problem: Mathematics for a Broad Audience via a Large Context Problem |first1=Jeff |last1=Babb |first2=James |last2=Currie |url=http://www.math.umt.edu/tmme/vol5no2and3/TMME_vol5nos2and3_a1_pp.169_184.pdf |journal=The Montana Mathematics Enthusiast |volume=5 |issue=2&3 |pages=169–184 |date=July 2008 |doi=10.54870/1551-3440.1099 |s2cid=8923709 |url-status=dead |archive-url=https://web.archive.org/web/20110727210743/http://www.math.umt.edu/tmme/vol5no2and3/TMME_vol5nos2and3_a1_pp.169_184.pdf |archive-date=2011-07-27 }}</ref>

By the [[conservation of energy]], the instantaneous speed of a body ''v'' after falling a height ''y'' in a uniform gravitational field is given by:
:<math>v=\sqrt{2gy}</math>,
The speed of motion of the body along an arbitrary curve does not depend on the horizontal displacement.

Bernoulli noted that Snell's law of refraction gives a constant of the motion for a beam of light in a medium of variable density:
:<math>\frac{\sin{\theta}}{v}=\frac{1}{v}\frac{dx}{ds}=\frac{1}{v_m}</math>,
where ''v<sub>m</sub>'' is the constant and ''<math>\theta</math>'' represents the angle of the trajectory with respect to the vertical.

The equations above lead to two conclusions:
# At the onset, the angle must be zero when the particle speed is zero. Hence, the brachistochrone curve is [[tangent]] to the vertical at the origin.
# The speed reaches a maximum value when the trajectory becomes horizontal and the angle θ = 90°.

Assuming for simplicity that the particle (or the beam) with coordinates (x,y) departs from the point (0,0) and reaches maximum speed after falling a vertical distance ''D'':
:<math>v_m=\sqrt{2gD}</math>.
Rearranging terms in the law of refraction and squaring gives:
:<math>v_m^2 dx^2=v^2 ds^2=v^2 (dx^2+dy^2)</math>
which can be solved for ''dx'' in terms of ''dy'':
:<math>dx=\frac{v\, dy}{\sqrt{v_m^2-v^2}}</math>.
Substituting from the expressions for ''v'' and ''v<sub>m</sub>'' above gives:
:<math>dx=\sqrt{\frac{y}{D-y}}\,dy\,,</math>
which is the [[differential equation]] of an inverted [[cycloid]] generated by a circle of diameter ''D=2r'', whose [[parametric equation]] is:
:<math>\begin{align}
  x &= r(\varphi - \sin \varphi) \\
  y &= r(1 - \cos \varphi).
 \end{align}</math>
where φ is a real [[parameter]], corresponding to the angle through which the rolling circle has rotated. For given φ, the circle's centre lies at {{math|1=(''x'', ''y'') = (''rφ'', ''r'')}}.

In the brachistochrone problem, the motion of the body is given by the time evolution of the parameter:
:<math>\varphi(t)=\omega t\,,\omega=\sqrt{\frac{g}{r}}</math>
where ''t'' is the time since the release of the body from the point (0,0).

==Jakob Bernoulli's solution==

Johann's brother [[Jacob Bernoulli|Jakob]] showed how 2nd differentials can be used to obtain the condition for least time. A modernized version of the proof is as follows. If we make a negligible deviation from the path of least time, then, for the differential triangle formed by the displacement along the path and the horizontal and vertical displacements,

:<math>ds^2=dx^2+dy^2</math>.

On differentiation with ''dy'' fixed we get,

:<math>2ds\ d^2s=2dx\ d^2x</math>.

And finally rearranging terms gives,

:<math>\frac{dx}{ds}d^2x=d^2s=v\ d^2t</math>

where the last part is the displacement for given change in time for 2nd differentials. Now consider the changes along the two neighboring paths in the figure below for which the horizontal separation between paths along the central line is ''d<sup>2</sup>x'' (the same for both the upper and lower differential triangles). Along the old and new paths, the parts that differ are,
[[Image:Path function 2.PNG|right]]

:<math>d^2t_1=\frac{1}{v_1}\frac{dx_1}{ds_1}d^2x</math>
:<math>d^2t_2=\frac{1}{v_2}\frac{dx_2}{ds_2}d^2x</math>

For the path of least times these times are equal so for their difference we get,
:<math>d^2t_2-d^2t_1=0=\bigg(\frac{1}{v_2}\frac{dx_2}{ds_2}-\frac{1}{v_1}\frac{dx_1}{ds_1}\bigg)d^2x</math>

And the condition for least time is,
:<math>\frac{1}{v_2}\frac{dx_2}{ds_2}=\frac{1}{v_1}\frac{dx_1}{ds_1}</math>
which agrees with Johann's assumption based on the [[Snell's law|law of refraction]].

== Newton's solution ==
=== Introduction ===

In June 1696, Johann Bernoulli had used the pages of the ''Acta Eruditorum Lipsidae'' to pose a challenge to the international mathematical community: to find the form of the curve joining two fixed points so that a mass will slide down along it, under the influence of gravity alone, in the minimum amount of time. The solution was originally to be submitted within six months. At the suggestion of Leibniz, Bernoulli extended the challenge until Easter 1697, by means of a printed text called "Programma", published in [[Groningen]], in the Netherlands.

The ''Programma'' is dated 1 January 1697, in the Gregorian Calendar. This was 22 December 1696 in the Julian Calendar, in use in Britain.
According to Newton's niece, Catherine Conduitt, Newton learned of the challenge at 4 pm on 29 January and had solved it by 4 am the following morning.  His solution, communicated to the Royal Society, is dated 30 January.  This solution, later published anonymously in the ''Philosophical Transactions'', is correct but does not indicate the method by which Newton arrived at his conclusion.  Bernoulli, writing to Henri Basnage in March 1697, indicated that even though its author, "by an excess of modesty", had not revealed his name, yet even from the scant details supplied it could be recognised as Newton's work, "as the lion by its claw" (in Latin, ''ex ungue Leonem'').

D. T. Whiteside notes that the letter in French has ''ex ungue Leonem'' preceded by the French word ''comme''. The much quoted version ''tanquam ex ungue Leonem'' is due to David Brewster's 1855 book on the life and works of Newton. Bernoulli's intention was, Whiteside argues, simply to indicate he could tell the anonymous solution was Newton's, just as it was possible to tell that an animal was a lion given its claw; it was not meant to suggest that Bernoulli considered Newton to be the lion among mathematicians, as it has since come to be interpreted.<ref>{{cite book |last1=Whiteside |first1=Derek Thomas |title=The Mathematical Papers of Isaac Newton Vol. 8 |date=2008 |publisher=Cambridge University Press |isbn=978-0-521-20103-2 |pages=9–10, notes (21) and (22) |edition=Paperback}}</ref>

[[John Wallis]], who was 80 years old at the time, had learned of the problem in September 1696 from Johann Bernoulli's youngest brother Hieronymus, and had spent three months attempting a solution before passing it in December to [[David Gregory (mathematician)|David Gregory]], who also failed to solve it. After Newton had submitted his solution, Gregory asked him for the details and made notes from their conversation. These can be found in the University of Edinburgh Library, manuscript A <math>78^1</math>, dated 7 March 1697.  Either Gregory did not understand Newton's argument, or Newton's explanation was very brief. However, it is possible, with a high degree of confidence, to construct Newton's proof from Gregory's notes, by analogy with his method to determine the solid of minimum resistance (Principia, Book 2, Proposition 34, Scholium 2). A detailed description of his solution of this latter problem is included in the draft of a letter in 1694, also to David Gregory.<ref name="Dubois">{{cite journal |last=Dubois |first=Jacques |date=1991 |title=Chute d'une bille le long d'une gouttière cycloïdale; Tautochrone et brachistochrone; Propriétés et historique |url=http://sciences-physiques-moodle.ac-orleans-tours.fr/moodle/pluginfile.php/2162/mod_resource/content/0/gouin/cab_gouin12novembre2006/cycloid_fichiers/cyclo_rectif.pdf |journal=Bulletin de l'Union des Physiciens |volume=85 |issue=737 |pages=1251–1289 }}</ref>  In addition to the minimum time curve problem, there was a second problem that Newton also solved at the same time. Both solutions appeared anonymously in Philosophical Transactions of the Royal Society, for January 1697.

=== The Brachistochrone problem ===
[[File:Bernoulli Challenge to Newton 1.png|Bernoulli Challenge to Newton 1]]

Fig. 1, shows Gregory’s diagram (except the additional line IF is absent from it, and Z, the start point has been added). The curve ZVA is a cycloid and CHV is its generating circle. Since it appears that the body is moving upward from e to E, it must be assumed that a small body is released from Z and slides along the curve to A, without friction, under the action of gravity.

Consider a small arc eE, which the body is ascending. Assume that it traverses the straight line eL to point L, horizontally displaced from E by a small distance, o, instead of the arc eE. Note, that eL is not the tangent at e, and that o is negative when L is between B and E. Draw the line through E parallel to CH, cutting eL at n. From a property of the cycloid, En is the normal to the tangent at E, and similarly the tangent at E is parallel to VH.

Since the displacement EL is small, it differs little in direction from the tangent at E so that the angle EnL is close to a right-angle. In the limit as the arc eE approaches zero, eL becomes parallel to VH, provided o is small compared to eE making the triangles EnL and CHV similar.

Also en approaches the length of chord eE, and the increase in length, <math>eL - eE = nL= \frac{o.CH}{CV}</math>, ignoring terms in <math> o^2 </math> and higher, which represent the error due to the approximation that eL and VH are parallel.

The speed along eE or eL can be taken as that at E, proportional to <math>\sqrt{CB}</math>, which is as CH, since <math>CH=\sqrt{CB.CV}</math>

This appears to be all that Gregory’s note contains.

Let t be the additional time to reach L,

<math>t \propto \frac{nL}{\sqrt{CB}} =\frac{o.CH}{CV.\sqrt{CB}} = \frac{o}{\sqrt{CV}}</math>

Therefore, the increase in time to traverse a small arc displaced at one endpoint depends only on the displacement at the endpoint and is independent of the position of the arc. However, by Newton’s method, this is just the condition required for the curve to be traversed in the minimum time possible. Therefore, he concludes that the minimum curve must be the cycloid.

He argues as follows.

Assuming now that Fig. 1 is the minimum curve not yet determined, with vertical axis CV, and the circle CHV removed, and Fig. 2 shows part of the curve between the infinitesimal arc eE and a further infinitesimal arc Ff a finite distance along the curve. The extra time, t, to traverse eL (rather than eE) is nL divided by the speed at E (proportional to <math>\sqrt{CB}</math>), ignoring terms in <math> o^2 </math> and higher:

<math>t \propto \frac{o.DE}{eE.\sqrt{CB}}</math>,

At L the particle continues along a path LM, parallel to the original EF, to some arbitrary point M. As it has the same speed at L as at E, the time to traverse LM is the same as it would have been along the original curve EF. At M it returns to the original path at point f. By the same reasoning, the reduction in time, T, to reach f from M rather than from F is

<math>T \propto \frac{o.FG}{Ff.\sqrt{CI}}</math>

The difference (t – T) is the extra time it takes along the path {{not a typo|eLMf}} compared to the original {{not a typo|eEFf}} :

<math>(t - T) \propto \left(\frac{DE}{eE\sqrt{CB}} - \frac{FG}{Ff\sqrt{CI}}\right).o </math> plus terms in <math> o^2 </math> and higher   (1)

Because {{not a typo|eEFf}} is the minimum curve, (t – T) is must be greater than zero, whether o is positive or negative. It follows that the coefficient of o in (1) must be zero:

<math> \frac{DE}{eE\sqrt{CB}} = \frac{FG}{Ff\sqrt{CI}} </math>     (2) in the limit as eE and fF approach zero. Note since {{not a typo|eEFf}} is the minimum curve it has to be assumed  that the coefficient of <math> o^2 </math> is greater than zero.

Clearly there has to be 2 equal and opposite displacements, or the body would not return to the endpoint, A, of the curve.

If e is fixed, and if f is considered a variable point higher up the curve, then for all such points, f, <math> \frac{FG}{Ff\sqrt{CI}} </math> is constant (equal to <math> \frac{DE}{eE\sqrt{CB}} </math>). By keeping f fixed and making e variable it is clear that <math> \frac{DE}{eE\sqrt{CB}} </math> is also constant.

But, since points, e and f are arbitrary, equation (2) can be true only if <math> \frac{DE}{eE\sqrt{CB}} = \text{constant} </math>,   everywhere, and this condition characterises the curve that is sought. This is the same technique he uses to find the form of the Solid of Least Resistance.

For the cycloid, <math> \frac{DE}{eE} = \frac{BH}{VH} = \frac{CH}{CV} </math>  , so that <math>  \frac{DE}{eE\sqrt{CB}} = \frac{CH}{CV.\sqrt{CB}} </math>, which was shown above to be constant, and the Brachistochrone is the cycloid.

Newton gives no indication of how he discovered that the cycloid satisfied this last relation. It may have been by trial and error, or he may have recognised immediately that it implied the curve was the cycloid.

==See also==
{{Portal|Mathematics|Physics}}
* [[Aristotle's wheel paradox]]
* [[Beltrami identity]]
* [[Calculus of variations]]
* [[Catenary]]
* [[Newton's minimal resistance problem]]
* [[Trochoid]]
* [[Equations of motion#Equations of uniformly accelerated linear motion|Uniformly accelerated motion]]

==References==
{{Reflist}}

==External links==
{{Commons category|Brachistochrone}}
* {{springer|title=Brachistochrone|id=p/b017460}}
* {{MathWorld | urlname=BrachistochroneProblem | title=Brachistochrone Problem}}
<!--* Iagsoft's "''[http://home.ural.ru/~iagsoft/BrachJ2.html Brachistochrone Construction]''" ([[Java applet]]) -->
*[http://www.mathcurve.com/courbes2d.gb/brachistochrone/brachistochrone.shtml Brachistochrone] ( at MathCurve, with excellent animated examples)
* ''[http://whistleralley.com/brachistochrone/brachistochrone.htm The Brachistochrone]'', Whistler Alley Mathematics.
* [https://web.archive.org/web/20080329153035/http://curvebank.calstatela.edu/brach3/brach3.htm Table IV from Bernoulli's article in Acta Eruditorum 1697]
* ''[http://demonstrations.wolfram.com/Brachistochrones/ Brachistochrones]'' by Michael Trott and [http://demonstrations.wolfram.com/BrachistochroneProblem/ Brachistochrone Problem] by Okay Arik, [[Wolfram Demonstrations Project]].
* [http://www-history.mcs.st-andrews.ac.uk/HistTopics/Brachistochrone.html#s17 The Brachistochrone problem] at MacTutor
* [http://www.cmsim.eu/papers_pdf/january_2012_papers/25_CMSIM_2012_Pokorny_1_281-298.pdf Geodesics Revisited] — Introduction to [[geodesic]]s including two ways of derivation of the equation of geodesic with [[brachistochrone]] as a special case of a geodesic.
* [http://apmonitor.com/wiki/index.php/Apps/BrachistochroneProblem Optimal control solution] to the Brachistochrone problem in Python.
* [https://arxiv.org/abs/1401.2660 The straight line, the catenary, the brachistochrone, the circle, and Fermat] Unified approach to some geodesics.

{{Authority control}}

[[Category:Plane curves]]
[[Category:Mechanics]]