Brachistochrona: Dlaczego Najszybsza Ścieżka W Dół Jest Cykloidem

The challenge Bernoulli posed

In 1696 Johann Bernoulli challenged the mathematicians of Europe: given two points A and B, with B lower than A but not directly below it, what shape of frictionless wire lets a bead released from rest at A reach B in the least time, under gravity alone? The straight line is the shortest path but not the fastest, because a curve that dips more steeply at first lets the bead build speed early, more than compensating for the extra distance travelled. The winning curve is called the brachistochrone, from the Greek for 'shortest time', and the answer - found independently by Newton, Leibniz, L'Hopital and the two Bernoulli brothers - is a cycloid.

Ustawianie problemu zmiennogo

Czas jest równy odległości podzielonej przez prędkość, zintegrowanej wzdłuż ścieżki. Jeśli kropelka spadła na wysokość y (mierząc w dół od A), energia zachowania daje jej prędkość jako v = √(2gy). Całkowity czas wzdłuż ścieżki y(x) jest funkcją:

T[y] = ∫√(((1 + y'²) / (2gy)) dx Minimalizacja T dla wszystkich możliwych krzywych y(x) stanowi problem z zakresu rachunku różniczkowego, a nie zwykłego rachunku – optymalizujesz w przestrzeni nieskończenie wymiarowej funkcji, a nie skończonego zbioru liczb. Równanie Eulera-Lagrange zastosowane do tej funkcjonału (lub, bardziej bezpośrednio, tożsamość Beltrami, ponieważ składnik nie ma wyraźnego x) redukuje je do równania pierwszego rzędu, którego rozwiązanie, opracowane w postaci parametrycznej, jest dokładnie cykloidą.

T[y] = ∫ √((1 + y'²) / (2gy)) dx

Dlaczego odpowiedzią jest cykloida

Cykloida to krzywa wytyczana przez punkt na obwodzie koła, które się obraca po prostej linii – ta sama rodzina krzywych używana w innych miejscach na tej stronie dla krzywizn hipercyklicznych, tylko rozwijana po płaskiej linii zamiast innego koła. Parametryzowana przez kąt obrotu θ i promień generującego okręgu r, krzywa brachistochrona łącząca początek z celem B jest następująca:

x(θ) = r * (θ - sin(θ)) y(θ) = r * (1 - cos(θ))

Promień r i zakres θ są ustalone poprzez wymóg, aby krzywa przechodziła przez punkt docelowy B – jedno wymiarowe rozwiązanie równania wyższego rzędu, ponieważ gdy r rośnie, koniec krzywej obejmuje określony ścieżkę. Zaskakująco, optymalna krzywa pozostawia A pionowo, opadając w dół początkowo niezależnie od tego, jak daleko znajduje się B poziomo – najszybszy sposób na przekształcenie energii potencjalnej w prędkość przed skręceniem w kierunku celu.

x(θ) = r·(θ - sinθ)
y(θ) = r·(1 - cosθ)

Wyścig po cztery krzywe: linia prosta, łuk okręgowy, parabola, cykloid

Live demo uwalnia koraliki jednocześnie na linii prostej, łuku okręgowym, paraboli i prawdziwym cykloidzie, wszystkie ograniczone do tych samych punktów początkowych i końcowych. Linia prosta jest intuicyjna, ale błędna - koralik na niej zwalnia zbyt wolno na początku. Łuk okręgowy lub parabola dostrojona tak, aby opadała poniżej linii prostej, zazwyczaj wygrywa, ale nadal przegrywa z cykloidem, którego profil krzywizny jest idealnie dopasowany tak, że każdy nieskończenie mały segment wymienia energię potencjalną na prędkość w optymalnym dla danego miejsca tempie. Margines nie jest duży dla krótkich, łagodnie nachylonych tras, ale rośnie, gdy spadek staje się stromszy lub dłuższy dystans poziomy.

Równoległa krzywa: ta sama krzywa rozwiązuje drugie zagadnienie

Zaskakująco, cykloida również rozwiązuje zupełnie inny problem, jaki postawił Christiaan Huygens kilkadziesiąt lat wcześniej: krzywa równoległa (equal-time) (tautochrone), na której kulka zwolniona z dowolnej wysokości początkowej osiąga dno w dokładnie tym samym czasie, niezależnie od miejsca startu. Huygens wykorzystał tę właściwość do zaprojektowania zegara wycinającego z cykloidalnymi powierzchniami ograniczającymi liny wahacza, czyniąc jego okres niezależny od amplitudy ruchu - duży ruch rysuje dłuższy łuk, ale w miarę dużego średniego prędkości, wczesne wykorzystanie tego samego isochronizmu, który sprawia, że krzywa brachistochrone jest optymalna.

Beltrami's identity, the shortcut

Solving the full Euler-Lagrange equation for this functional is unnecessary once you notice the integrand F(y, y') has no explicit x-dependence. Beltami’s identity then gives a first integral directly: F - y'·(∂F/∂y') = constant. Plugging in F = √((1+y'²)/(2gy)) and simplifying yields y(1 + y'²) = constant, a first-order ODE whose solution – after the standard trigonometric substitution y' = cot(θ/2) – is precisely the cycloid parametrisation above. This is the standard shortcut used whenever a variational problem’s integrand does not depend explicitly on the independent variable.

Często zadawane pytania

Wypróbuj na żywo

Wszystko powyżej działa bezpośrednio w Twojej przeglądarce — otwórz Brachistochrone i zmieniaj parametry podczas działania. Nic nie jest instalowane ani przesyłane na serwer, cały model działa w jednej karcie.