この２つの恒等式の証明はどうしたらいいのでしょうか・・・
また、この式に特別な名前はありますか？

x^(2n)-y^(2n)=(x-y)(x+y)Π[k=1,n-1]{x^2+y^2-2xyCos(kπ/n)}
x^(2n-1)-y^(2n-1)=(x-y)Π[k=1,n-1]{x^2+y^2-2xyCos(2kπ/(2n-1))}