cos(2pi/7) が√やn乗根を使って表すことが不可能なことを高校数学の範囲で証明することって可能でしょうか?