Ist die Bogenlänge zwischen zwei rationalen Punkten immer irrational?

Kürzlich habe ich mich gefragt: Warum hat Pi einen irrationalen Wert, da es einfach das Verhältnis von Durchmesser zu Umfang eines Kreises ist? Da der Wert des Durchmessers rational ist, muss die Irrationalität vom Umfang herrühren.

Dann habe ich Kalkül verwendet, um die Bogenlänge verschiedener Funktionen mit gekrümmten Graphen (zwischen zwei rationalen Punkten) zu berechnen, und festgestellt, dass die Bogenlänge zwei wieder irrational ist.

Haben alle gekrümmten Wege irrationale Längen?

Meine Logik ist, dass wir bei der Berechnung der Bogenlänge (Kalkül) davon ausgehen, dass der Bogen aus unendlich kleinen Liniensegmenten besteht und wir niemals dem realen Wert nahe kommen und im Gegensatz zur Fläche unter einer Kurve keine Ober- und Untergrenze existieren konvergiert gegen den gleichen Wert.

Wenn ja, sind dies die Gründe, warum irrationale Werte überhaupt existieren?

"Da der Wert des Durchmessers rational ist, muss die Irrationalität vom Umfang herrühren." Nein, Sie könnten genauso gut sagen, dass Ihr Umfang rational ist. Dann wäre Ihr Durchmesser notwendigerweise irrational. Oder Ihr Durchmesser und Ihr Umfang könnten BEIDE irrational sein.
Ihr Titel fragt nach allen Bogenlängen, aber der Fragetext fragt nach allen gekrümmten Pfaden. Sie sind überhaupt nicht dasselbe.
Vielleicht wollten Sie fragen: "Ist das Verhältnis zwischen Sekantenlänge und Bogenlänge immer irrational?"
Bedenken Sie auch, dass, wenn irrationale Werte nur aufgrund von Kurven existieren, dies bedeuten würde, dass kein gerades Liniensegment eine irrationale Länge haben könnte, aber natürlich ist es einfach, sich Segmente vorzustellen, die dies tun, z. B. die Diagonale eines Einheitsquadrats.
Sie scheinen sich in Bezug auf die Definition der Bogenlänge zu irren. Man definiert typischerweise L ( γ ) = A B | γ ' ( T ) | D T . Betrachtet man die Funktion F : ICH R , F : T | γ ' ( T ) | , dann sehen wir, dass die Bogenlänge die Fläche unter dieser Kurve ist, und das Integral kann unter Verwendung der oberen/unteren Riemann/Darboux-Summen (oder durch maßtheoretische Argumente) berechnet werden. Geometrisch nehmen diese Summen eine immer feinere lineare Annäherung an die Kurve an, wobei die oberen und unteren Summen Tangenten und Sekanten der Kurve entsprechen.
Das OP-Konzept von "Bogen" ist zu allgemein, um Hoffnung auf Wahrheit zu haben, aber die Frage ist vielleicht interessanter unter einer besseren Einschränkung dessen, was "Bogen" bedeutet.

Antworten (6)

Offensichtlich kann eine gerade Linie zwischen zwei rationalen Punkten eine rationale Länge haben Nimm einfach ( 0 , 0 ) Und ( 1 , 0 ) als Ihre rationalen Punkte.

Aber auch eine gekrümmte Linie kann eine rationale Länge haben. Betrachten Sie Parabeln der Form j = λ X ( 1 X ) , die alle durch die rationalen Punkte gehen ( 0 , 0 ) Und ( 1 , 0 ) . Wenn λ = 0 , dann erhalten wir eine gerade Linie mit Bogenlänge 1 . Und wenn λ = 4 , dann geht die Kurve durch ( 1 2 , 1 ) , also ist die Bogenlänge größer als 2 .

Nun lass λ weichen fließend ab 0 Zu 4 . Die Lichtbogenlänge variiert ebenfalls fließend, aus 1 auf einen Wert größer als 2 ; also für einen gewissen Wert von λ , muss die Bogenlänge sein 2 , was eine rationale Zahl ist.

Aber woher wissen wir, dass der Wert von λ ist nicht selbst irrational?. Da es zwischen zwei rationalen Zahlen unendlich viele irrationale Zahlen geben kann.
@RupanshuYadav: Das habe ich nicht behauptet λ musste rational sein.
Ich mag diese Antwort, da sie implizit etwas viel Stärkeres zeigt. Als λ variiert, nimmt sie unendlich viele Werte an, wenn die Länge rational ist, und unendlich viele Werte, wenn die Länge irrational ist. Darüber hinaus stützt sich nichts an diesem Argument wirklich darauf, dass die Punkte rationale Koordinaten haben. Zwischen zwei beliebigen Punkten gibt es unendlich viele Kurven rationaler Länge und unendlich viele Kurven irrationaler Länge.
Woher wissen Sie, dass die Lichtbogenlänge auch gleichmäßig variiert? Und dass die Bogenlänge irgendwo 2 sein muss? Ersteres erfordert zumindest Kontinuität. Letzteres aus dem Zwischenwertsatz und der reellen Geraden.
@qwr: Wenn Sie möchten, können Sie die Formel für die Bogenlänge selbst nehmen und auf diesen Fall anwenden. Das finden Sie für alle ε > 0 , es existiert δ > 0 so dass wenn 1 λ 1 < λ 2 4 , Und λ 2 λ 1 < δ , dann die Bogenlängen der beiden Kurven j = λ 1 X ( 1 X ) Und j = λ 2 X ( 1 X ) unterscheiden sich um weniger als ε . Daher variiert die Lichtbogenlänge gleichmäßig, und wie du sagst den Rest erledigt der Zwischenwertsatz.
@TonnyK woher weißt du, dass der Punkt, an dem die Bogenlänge rational ist, keine irrationale Zahl ist?

Ein Beispiel einer Kurve mit rationalen Bogenlängen zwischen mindestens einigen Paaren rationaler Punkte ist eine Niere .

Bis hin zur Skalierung und Rotation kann eine Niere durch die Gleichung in Polarkoordinaten gerendert werden

R = 1 cos θ

mit Lichtbogenlängendifferenz

D S = ( R 2 + ( D R / D θ ) 2 ) D θ = 2 2 cos θ   D θ = 2 Sünde ( θ / 2 ) D θ

Integrieren Sie diese aus θ = 0 auf einen beliebigen Wert von θ gibt die Bogenlängenfunktion an

S = 4 ( 1 cos ( θ / 2 ) )

Also die Bogenlänge vom Ursprung bis ( 2 , 0 ) ( θ = π ) Ist 4 . Nehmen wir außerdem an, wir wählen aus θ = 2 cos 1 ( A / C ) Wo A 2 + B 2 = C 2 ist ein pythagoräisches Tripel. Dann haben wir

cos θ = 2 ( A 2 / C 2 ) 1

Sünde θ = 2 ( B / C ) ( A / C ) = 2 A B / C 2

Klare Angabe rationaler Werte für die kartesischen Koordinaten X = ( 1 cos θ ) cos θ Und j = ( 1 cos θ ) Sünde θ . Die Bogenlänge vom Ursprung ist dann die rationale Größe

S = 4 ( 1 cos ( θ / 2 ) ) = 4 ( 1 A / C )

Meine Frage ist also, dass alle gekrümmten Pfade irrationale Längen haben?

Natürlich nicht. Ein Kreis mit Radius 1 2 π ist ein gekrümmter Weg und hat Länge 1 was eine rationale Zahl ist. Setzt man den Mittelpunkt des Kreises um ( 1 2 π , 0 ) , Dann ( 0 , 0 ) , ein "rationaler" Punkt, liegt auf dem Kreis, und der Kreis kann als Pfad von gesehen werden ( 0 , 0 ) Zu ( 0 , 0 ) .

Das ist eine Art Betrug!
@TonyK Es ist eher so, als würde man zeigen, dass es wichtig ist, bestimmte, gut definierte Fragen zu stellen ...
Wie funktioniert ( 0 , 0 ) zählen als "zwei rationale Punkte"?
Wenn Sie den Halbkreis betrachten, ist er nicht zwischen zwei rationalen Punkten definiert.
@RupanshuYadav Sicher. Aber ich denke nicht an den Halbkreis. Ich betrachte den Kreis. Ist das irgendwie nicht erlaubt?

Betrachten Sie die beiden Punkte ( 1 2 , 0 ) Und ( 1 2 , 0 ) . Für jeden realen Wert von j 0 , können wir zwischen diesen beiden Punkten einen Kreisbogen ziehen, der zentriert ist ( 0 , j 0 ) und die vollständig in der oberen Halbebene liegt. Als j , nähert sich die Länge dieses Bogens 1 (da sich der Bogen einer geraden Linie nähert); als j + nähert sich die Bogenlänge . Da die Lichtbogenlänge kontinuierlich mit variiert j 0 , muss es so sein, dass die Bogenlänge jede reelle Zahl größer als 1 sein kann, einschließlich aller rationalen Längen größer als 1.

NEIN.

Nehmen Sie eine beliebige glatte Kurve zwischen zwei rationalen Punkten und verformen Sie sie, um ihre Länge um einen endlichen Betrag zu ändern. Während der Verformung überqueren Sie unendlich viele rationale Längen.

Ein einfaches Beispiel ist ein Polynom mit zwei rationalen Wurzeln mal einem variablen Faktor.


Betrachten Sie nun die Kurve parametrischer Gleichungen

{ X = T 3 3 T , j = T 2

(ein modifizierter Tschirnhausen-Kubik).

Wir haben

S = A B ( T 2 1 ) 2 + 4 T 2 D T = A B ( T 2 + 1 ) D T = B 3 A 3 3 + B A ,

so dass die Länge zwischen zwei rational T (angeben von rationalen Endpunkten) ist immer rational.

Beitragen eines weiteren einfachen Gegenbeispiels, let F ( X ) = cos X mit X [ 0 , π ] . Dann die Länge von F zwischen A ( 0 , 1 ) Und B ( π , 1 ) wird gegeben von:

( F ) = 0 π | F ' ( T ) | D T = 0 π Sünde T D T = [ cos T ] 0 π = 2.
Beachten Sie auch, dass das Verhältnis zwischen der Kurve und ihrem "Durchmesser" A B Ist:
( F ) ( A B ) = 2 π 2 + 2 ,
was wiederum irrational ist.