Hans Walser, [20140504a]

Additionstheoreme

Ausarbeitung einer Idee von R. Sch:, C.

1     Worum geht es?

Anhand des regelmŠ§igen 2n-Eckes werden acht trigonometrische Summenformeln hergeleitet. Dabei ist eine ParitŠtsunterscheidung bezźglich n erforderlich.

2     Gerades n

Die Eckenzahl 2n ist also durch vier teilbar.

2.1    Basislinie  horizontal

Wir arbeiten zunŠchst mit dem regelmŠ§igen 2n-Eck gemŠ§ Abbildung 1. In der Abbildung 1 ist .

Abb. 1: †berlegungsfigur

 

Die eingezeichneten Vektoren sind Einheitsvektoren, also:

                                                       

 

 

 

Fźr den Inkreisradius  erhalten wir:

                                                           

 

Den Inkreisradius kšnnen wir auch durch Projektionen von geeigneten Einheitsvektoren auf die x-Achse ausdrźcken (Abb. 2).

Abb. 2: Projektionen

 

So erhalten wir:

                                                                                            (1)

 

 

Durch analoge Projektion auf die y-Achse ergibt sich:

                                                                                          (2)

 

 

2.2    SpitzstŠndig

Wir drehen das regelmŠ§ige 2n-Eck der Abbildung 1 um . Dadurch erhalten wir ein regelmŠ§iges 2n-Eck, das auf einer Spitze steht (Abb. 3).

Abb. 3: SpitzstŠndiges 2n-Eck

 

Die eingezeichneten Vektoren sind Einheitsvektoren, also:

                                 

 

 

 

Fźr den Umkreisradius r erhalten wir:

                                                            

 

Durch Projektion auf die x- beziehungsweise y-Achse ergeben sich die Formeln:

                                                                                         (3)

 

 

                                                                                          (4)

 

 

3     Ungerades n

Die Eckenzahl 2n ist nun kongruent 2 modulo 4. Die Abbildungen illustrieren den Fall .

3.1    BodenstŠndig

Die Abbildung 4 illustriert den Fall mit horizontaler Basislinie.

Abb. 4: Ungerades n. Horizontale Basislinie

 

Fźr die Einheitsvektoren gilt wiederum:

                                                       

 

 

 

Fźr den Umkreisradius r erhalten wir ebenfalls:

                                                            

 

Fźr den Inkreisradius  erhalten wir wiederum:

                                                           

 

Projektionen ergeben:

                                                                                               (5)

 

 

                                                                                                   (6)

 

 

3.2    SpitzstŠndig

Wir drehen um  und erhalten die Figur der Abbildung 5.

Abb. 5: Ungerades n. SpitzstŠndig

 

Die eingezeichneten Vektoren sind Einheitsvektoren, also:

                                 

 

 

 

Durch Projektion erhalten wir:

                                                                                       (7)

 

 

                                                                                    (8)