24/05/02 00:44:14.85 HrSDZOU2.net
>>745
mを自然数とする。
cos(2^{m-1}･π/7) + cos(2^{m}･π/7) + cos(2^{m+1}･π/7)
=－1/2 + 2cos(π/7)δ(m,1)
sin(2^{m-1}･π/7) + sin(2^{m}･π/7) + sin(2^{m+1}･π/7)
= (√7)/2 + 2sin(π/7)δ(m,1)
24/05/02 00:44:14.85 HrSDZOU2.net
>>745
mを自然数とする。
cos(2^{m-1}･π/7) + cos(2^{m}･π/7) + cos(2^{m+1}･π/7)
=－1/2 + 2cos(π/7)δ(m,1)
sin(2^{m-1}･π/7) + sin(2^{m}･π/7) + sin(2^{m+1}･π/7)
= (√7)/2 + 2sin(π/7)δ(m,1)