原根的存在性及个数证明（Primitive Root Theorem）
我在RSA学习总结的第三部分关于Mille-Rabin素数测试的正确性证明里需要用到此定理，由于证明太长，故另开一章于此。（为啥我说话突然文绉绉了Orz，可能是这周辩论打多了）
结论是对素数p，modulo p的原根存在，个数为与ø（p-1），modulo p2的原根个数为(p-1)ø（p-1）个
对奇素数p，modulo p^n的原根存在，个数为pn-2(p-1)ø（p-1） (n>=3)
首先证明对任意素数p，modulo p的原根存在
以下是证明思路（符号的意思在第二张图，完整证明里有）
知道了modulo p^2下Primitive root存在后可以推广至p^n
【推荐】国内首个AI IDE，深度理解中文开发场景，立即下载体验Trae
【推荐】编程新体验，更懂你的AI，立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包，你的智能百科全书，全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell：AI 加持，快人一步
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· AI与.NET技术实操系列：向量存储与相似性搜索在 .NET 中的实现
· 基于Microsoft.Extensions.AI核心库实现RAG应用
· Linux系列：如何用heaptrack跟踪.NET程序的非托管内存泄露
· 开发者必知的日志记录最佳实践
· winform 绘制太阳，地球，月球 运作规律
· AI与.NET技术实操系列（五）：向量存储与相似性搜索在 .NET 中的实现
· 超详细：普通电脑也行Windows部署deepseek R1训练数据并当服务器共享给他人
· 【硬核科普】Trae如何「偷看」你的代码？零基础破解AI编程运行原理
· 上周热点回顾（3.3-3.9）