■正多面体の正多角形断面(その229)
[Q]cosπ/7−cos2π/7+cos3π/7=1/2を示せ.
−cos2π/7=cos5π/7であるから,この問題は
cosπ/7+cos3π/7+cos5π/7=1/2
と同値である.
実は
cosπ/7+cos3π/7+cos5π/7=4/8=1/2
cosπ/7・cos3π/7・cos5π/7=−1/8
が示される.
===================================
これも右辺は1/8
cosπ/7・cos2π/7・cos3π/7=1/8
になるが、(その22)(その23)ではなぜ見つけられなかったのだろうか?
左辺に
2sinπ/7・2sin2π/7・2sin3π/7をかけると
sin2π/7・sin4π/7・sin6π/7
=sin4π/14・sin8π/14・sin12π/14
=cos3π/14・cosπ/14・cos5π/14
===================================
cosπ/7・cos2π/7・cos3π/7
=sin5π/14・sin3π/14・sinπ/14
2cos5π/14・2cos3π/14・2cosπ/14をかけると
sin10π/14・sin6π/14・sin2π/14
=cos3π/14・cosπ/14・cos5π/14
かけたものと同じものが出現したので、1/8が証明された。
===================================