一道初等数论题

一道题：
离散对数在密码学中有重要的应用，设$p$ 是素数，集合 X = { 1 , 2 , ⋯   , p − 1 } X=\{1,2,\cdots,p-1\} X={1,2,⋯,p−1}, 若$u,v\in X$, $m\in \mathbb{N}$, 记$u\otimes \nu$为$u\nu$除以 $p$ 的余数，$u^{m,\otimes }$为$u^m$ 除以 $p$ 的余数；设$a\in X$, $1,a,a^{2,\otimes },\cdots ,a^{p-2,\otimes }$两两不同，若 a n , ⊗ = b ( n ∈ { 0 , 1 , ⋯   , p − 2 } ) a^{n,\otimes}=b\left(n\in\{0,1,\cdots,p-2\}\right) an,⊗=b(n∈{0,1,⋯,p−2}),则称$n$是以$a$为底 $b$ 的离散对数，记为$n=\log (p{)}_{a}b.$

证明：已知$n=\log (p{)}_{a}b$、对$x\in X$, k ∈ { 1 , 2 , ⋯   , p − 2 } k\in\{1,2,\cdots,p-2\} k∈{1,2,⋯,p−2},令$y_1=a^{k,\otimes }$,$y_2=x\otimes b^{k,\otimes }$.证明：$x=y_2\otimes y_1^{n(p-2),\otimes }.$

解答过程：（手写，仅供参考）

做这道题的原因：当时因为自己某个原因做了这道题，保存下来，仅供参考。

微信公众号：数学专业的小白