解:
x的所有可能取值为0、1、2、3、4、5、6。
∵模7的QR是{1,2,4},QNR是{3,5,6},当 ( a p ) = 1 (\frac ap)=1 (pa)=1时 y 2 ≡ x 3 + 2 x + 1 ( m o d 7 ) y^2\equiv x^3+2x+1\pmod 7 y2≡x3+2x+1(mod7)有解。
x | x 3 + 2 x + 1 ( m o d 7 ) x^3+2x+1\pmod 7 x3+2x+1(mod7) | y |
---|---|---|
0 | 1 | 1,6 |
1 | 4 | 2,5 |
2 | 6 | 无解 |
3 | 6 | 无解 |
4 | 3 | 无解 |
5 | 3 | 无解 |
6 | 5 | 无解 |
∴ E 7 ( 2 , 1 ) E_7(2,1) E7(2,1)所有点为(0,1),(0,6),(1,2),(1,5)。
解:
对P=(3,5),-P=(3,-5)
∵ − 5 ( m o d 7 ) = 2 -5\pmod 7=2 −5(mod7)=2
∴-P=(3,2)
对Q=(2,5),-Q=(2,-5)
∵ − 5 ( m o d 7 ) = 2 -5\pmod 7=2 −5(mod7)=2
∴-Q=(2,2)
对R=(5,0),-R=(5,0)
解:
由 E 1 1 ( 1 , 7 ) E_11(1,7) E11(1,7)得:p=11,a=1,b=7
根据: x R = ( λ 2 − x P − x Q ) ( m o d p ) , y R = ( λ ( x P − x R ) − y P ) ( m o d p ) x_R=(\lambda^2-x_P-x_Q)\pmod p,y_R=(\lambda(x_P-x_R)-y_P)\pmod p xR=(λ2−xP−xQ)(modp),yR=(λ(xP−xR)−yP)(modp)
其中
λ = { ( y Q − y P x Q − x P ( m o d p ) ) , 若 P ≠ Q ( 3 x P 2 + a 2 y P ( m o d p ) ) 若 P = Q \lambda= \begin{cases} (\frac {y_Q-y_P}{x_Q-x_P}\pmod p), &若P\ne Q \\ (\frac {3x_P^2+a}{2y_P}\pmod p) &若P=Q \end{cases} λ={(xQ−xPyQ−yP(modp)),(2yP3xP2+a(modp))若P=Q若P=Q
计算得出:
G | 2G | 3G | 4G | 5G | 6G | 7G | 8G | 9G | 10G | 11G | 12G | 13G | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
(3,2) | (10,4) | (1,8) | (5,4) | (4,8) | (7,7) | (6,8) | (6,3) | (7,4) | (4,3) | (5.7) | (1,3) | (10,7) | |
λ \lambda λ | 7 | 5 | 8 | 1 | 6 | 4 | 2 | 4 | 6 | 1 | 8 | 5 |