关于多边形判别式序列及序列A193681的技术咨询

咱们来聊聊这个多边形判别式序列的细节：

首先是序列A193681：它是$2\cos(\pi/n)$的极小多项式的判别式，里面包含了大量n的幂和准幂，这里还有相关图示辅助理解。

接下来看这个计算式的结果序列：
A135517 × n^(EulerPhi[2n]/2 - 1) / A193681
计算后得到的序列为：
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 1, 1, 3, 1, 5, 9, 1, 1, 27, 5, 1, 9, 7, 1, 135, 1, 1, 81, 1, 175, 81, 1, 1, 243, 125, 1, 1701, 1, 11, 2025, 1, 1, 2187, 49, 125, 2187, 13, 1, 729, 6875, 343, 6561, 1, 1, 273375, 1, 1

目前我们已经处理了所有素数和2的幂相关的欧拉函数（EulerPhi）以及欧拉多项式，但遗憾的是，这个序列至今还没有找到简洁的函数表达式。

另外，还有一部分n值满足判别式恰好为$n^p$，这些n值包括：

• $1^1$
• $5^1$
• $7^2$
• $9^2$
• $11^4$
• $13^5$
• $17^7$
• $19^8$
• $23^{10}$
• $29^{13}$
• $31^{14}$
• $37^{17}$
• $41^{19}$
• $43^{20}$
• $45^9$
• $47^{22}$
• $49^{19}$
• $53^{25}$
• $59^{28}$
• $61^{29}$
• $67^{32}$
• $71^{34}$
• $73^{35}$
• $79^{38}$
• $83^\dots$

内容的提问来源于stack exchange，提问作者Ed Pegg