Aufgabe vollständig gelöst
-
Was ist a½ und wer hat das entschieden? Das Werkzeug rechnet nur mit ganzzahligen Exponenten. Die Regel, die a⁰ erzwingt, macht dort allerdings nicht halt. Finde also heraus, welche Bedeutung sie für ein Halb zwingend vorgibt.
-
Geh von dem Rechengesetz aus, das das Werkzeug in seiner dritten Zeile zeigt, und prüfe es an einem Fall, den du direkt sehen kannst: Potenzierst du eine Potenz, so multiplizieren sich die Exponenten.
-
Setze nun in dasselbe Gesetz den Exponenten ein Halb ein, mit einer äußeren Potenz von 2. Die rechte Seite fällt auf a¹ zusammen, was genau a ergibt.
-
Lies genau, was das bedeutet. a½ ist eine Zahl, deren Quadrat a ist — was genau einer Quadratwurzel entspricht. Nichts davon wurde neu definiert. Das Gesetz ließ schlicht keinen Raum für etwas anderes.
-
Derselbe Schritt legt jede weitere Wurzel fest. Eine äußere Potenz von 3 liefert eine Zahl, deren dritte Potenz a ergibt.
-
Und er klärt auch die gemischten Exponenten ohne eine weitere Regel. 16 hoch drei Halbe ist entweder die dritte Potenz der Quadratwurzel oder die Quadratwurzel der dritten Potenz, und das Gesetz besagt, dass beide übereinstimmen: 4³ und √4096 ergeben beide 64.
-
Wo das Ganze aufhört, ist nicht die Algebra, sondern die Wahl der Wurzel. −8 besitzt eine reelle dritte Wurzel von −2, hat daneben aber auch zwei komplexe. Frag drei Maschinen und du bekommst drei Antworten: −2 aus der reellen Konvention, NaN von JavaScript und 1 + i√3 von Python, das stattdessen den Hauptwert zieht.
Antwort
a^(1/q) wird durch exakt jenes Gesetz zu einer q-ten Wurzel gezwungen, das auch a⁰ = 1 vorschreibt. Nirgendwo zwischen den ganzen Zahlen und den Brüchen wird eine neue Definition eingeführt — deshalb befolgen gebrochene Exponenten jede einzelne Regel, die auch für die ganzen Zahlen gilt. Was tatsächlich frei gewählt wird, ist die Frage, welche q-te Wurzel du meinst, wenn eine Zahl mehrere besitzt. Genau diese Wahl macht die gesamte Uneinigkeit über (−8)^(1/3) aus. Für eine positive Basis existiert genau eine positive Wurzel und es gibt keinen Diskussionsbedarf. Aus diesem Grund geben Lehrbücher die Regel für gebrochene Exponenten für a > 0 an und verlagern den negativen Fall in ein Kapitel über komplexe Zahlen.
-
Quellen (2)
- Where the two answers at 0⁰ come from, and why neither camp is careless: Donald E. Knuth, "Two Notes on Notation", The American Mathematical Monthly 99(5), 403–422, 1992. doi:10.2307/2325085
- What the machines named in the same block actually do, measured rather than assumed: Measured in this repo: Node 22 gives Math.pow(0,0) = 1 and 0 ** 0 = 1; CPython gives 0 ** 0 = 1 and (-8) ** (1/3) = 1 + i√3, while JavaScript's Math.pow(-8, 1/3) is NaN. Asserted in scripts/check-compute.mjs.