>>963
作らなきゃしょうがねぇな...

pは奇数だから、pp-1 は 8の倍数。
pp -1 = 8m,
一方
p ≡ ±1　（mod 4）ゆえ
pp ≡ ±p　　　mod（4 p)
よって
±p -1 ≡ 8m　（mod 4p)

ζ_(4p）=（ζ_4）^(±1)･｛ζ_(4p)}^(-8m）=｛√(-1)}^(±1)･｛ζ_(4p)^(-8)}^m,
また、
｛ζ_(4p)}^(-8）=（ζ_p)^(-2）=｛1 - √(-1）tan(θ_p)}/{1 + √(-1）tan(θ_p)},
かな。

*　定義より　｛ζ_(4p)}^p = ζ_4 = √(-1)，｛ζ_(4p)}^4 = ζ_p,