Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Halbwinkel-Formel

Halbwinkel-Formel

Universität / Fachhochschule

Tags: Halbwinkel, Tangens

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
Sukomaki

Sukomaki aktiv_icon

12:41 Uhr, 27.09.2021

Antworten
Hallo Leutz,

ich bin auf der Suche nach einem Beweis für sin(π5)cos(π5)+1=65sin(π5)-25sin(2π5)

Erster Ansatz : sin(x)cos(x)+1=65sin(x)-25sin(2x) nach x auflösen

Das gibt fünf Lösungen. Unter anderem arctan(1210-25125+12)=π5

Zweiter Ansatz (Halbwinkel-Formel) : sin(x)cos(x)+1=tan(x2)

Konkret : sin(π5)cos(π5)+1=tan(12π5)=cot(2π5)

Jetzt hätte ich gerne eine Begründung für die letzte Umformung und wie gesagt einen Beweis für

sin(π5)cos(π5)+1=65sin(π5)-25sin(2π5)

Gruß
Sukomaki

Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen."
Hierzu passend bei OnlineMathe:
Trigonometrie (Mathematischer Grundbegriff)
Tangensfunktion (Mathematischer Grundbegriff)
Tangens (Mathematischer Grundbegriff)
Rechenregeln Trigonometrie

Online-Übungen (Übungsaufgaben) bei unterricht.de:
 
Online-Nachhilfe in Mathematik
Antwort
DrBoogie

DrBoogie aktiv_icon

13:35 Uhr, 27.09.2021

Antworten
Da 3sin(π/5)sin(2π/5)=3sin(π/5)-2sin(π/5)cos(π/5)=sin(π/5)(3-2cos(π/5)), bleibt nur
3-2cos(π/5)=52(cos(π/5)+1) zu zeigen bzw. -4cos2(π/5)+2cos(π/5)+1=0.
Warum das gilt, steht z.B. hier (ungefähr in der Mitte):
www.matheplanet.com/default3.html?call=viewtopic.php?topic=1789&ref=https%3A%2F%2Fwww.google.com%2F
Antwort
Roman-22

Roman-22

14:06 Uhr, 27.09.2021

Antworten
Du kommst auch mit der Weiertraß Substitution t=tan(π10) zum Ziel.
Sie führt auf auf den zu zeigenden Ausdruck
t=4t(5t2+1)5(t2+1)2.

Entweder du löst diese Gleichung (nach Ausschluss der Null eine einfache biquadratische Gleichung) mit einer der Lösung t=1-255=tan(π10) oder du setzt diesen bekannten Wert von tan(π10) ein und zeigst damit die Gleichheit.

Sukomaki

Sukomaki aktiv_icon

15:29 Uhr, 27.09.2021

Antworten
@DrBoogie
Ist es nicht einfacher, -4x2+2x+1=0, also x2-x2-14=0 direkt mit der p,q-Formel zu lösen und die Lösungen mit cos(π5) zu vergleichen?

@Roman-22
Drei Fragen :

Darf ich annehmen, dass Du t=tan(π10) meinst?

Wie kommst Du auf 4t(5t2+1)5(t2+1)2?

Warum ist tan(12π5)=cot(2π5)?

okay, zumindest das habe ich :

tan(x)=cot(π2-x)

tan(π10)=cot(5π10-π10)=cot(4π10)=cot(2π5)

Antwort
Roman-22

Roman-22

17:19 Uhr, 27.09.2021

Antworten
> Darf ich annehmen, dass Du t=tan(π10) meinst?
Ja, du darfst ;-) Habs in meiner ersten Antwort oben gerade ausgebessert

>Wie kommst Du auf 4t(5t2+1)5(t2+1)2?
Indem du beim Rechtsterm deiner zu zeigenden Gleichung die Weierstraß-Substitution verwendest und zusammenfasst. Für sin(2π5) ist vorher natürlich 2sin(π5)cos(π5) zu schreiben. Danach ersetzt du sin(π5)=2t1+t2 und cos(π5)=1-t21+t2 mit t=tan(π10).
Der Linksterm vereinfacht sich dann einfach zu t und der Rechtsterm auf den genannten Ausdruck.
Vermutlich ist aber der von DrBoogie vorgeschlagene Beweisweg einfacher und kürzer.

> Warum ist tan(12⋅π5)=cot(2π5)?
Hast du selbst schon herausgefunden


Sukomaki

Sukomaki aktiv_icon

18:21 Uhr, 27.09.2021

Antworten
Ich war unachtsam :

Statt 2t1+t2 habe ich t1+t2 verwendet.

Kein Wunder, dass mein Ergebnis falsch war. Und dann habe ich zu früh aufgegeben.


Antwort
HAL9000

HAL9000

15:34 Uhr, 28.09.2021

Antworten
> Warum das gilt, steht z.B. hier (ungefähr in der Mitte): www.matheplanet.com/default3.html?call=viewtopic.php?topic=1789&ref=https%3A%2F%2Fwww.google.com%2F

In diesem Teil kann man auch so argumentieren: Die fünf komplexen fünften Wurzeln von (-1) sind

-1,exp(±π5i),exp(±3π5i),

d.h. wir bekommen bei Zusammenfassung der beiden konjugiert komplexen Linearfaktorpaare die reelle Faktorisierung z5+1=(z+1)(z2-2cos(π5)z+1)(z2-2cos(3π5)z+1).

Andererseits bekommt man aber auch algebraisch z5+1=(z+1)(z4-z3+z2-z+1) und weiter dann

z4-z3+z2-z+1=(z2-z2+1)2-54z2=(z2-z2+1)2-(52z)2
=(z2-1+52z+1)(z2-1-52z+1)

Die Zuordnung cos(π5)=1+54 erfolgt dann wegen cos(3π5)<0, es fällt dabei noch cos(3π5)=1-54 als Nebenresultat des anderen quadratischen Faktors ab.
Frage beantwortet
Sukomaki

Sukomaki aktiv_icon

21:13 Uhr, 29.09.2021

Antworten
Danke.

P.S.: Der Bewertungs-Bug ist leider noch nicht behoben. Wenn mehr als eine Person antwortet, dann wird diejenige, die zuletzt in den Thread eingestiegen ist, bei der Bewertung nicht genannt. Ich habe vor einer Weile dem Administrator bzgl. dieser Problematik Bescheid gesagt, aber wie gesagt das ärgerliche Verhalten tritt immer noch auf.