The number of points on a given elliptic curve is equal to
#E = 2 + 2
where is the number of different non-zero x coordinates for which there is a solution (and thus exactly two solutions) to the elliptic curve equation E: x3 + ax2 + b = y2 + xy.
The first 2 takes the point at infinity and the point with x is zero (0, ) into account.
After dividing the elliptic curve equation by x2, we see that there will be a solution for a non-zero value of x when x + a + b/x2 = (y/x)2 + y/x. And because of theorem 5, this only has a solution when Tr(x + a + b/x2) = 0.
In other words, when the trace of a is changed from 0 into 1, then there will be solutions for exactly the other non-zero values of x!
Therefore, with #E0 = 2 + 2 and #E1 = 2 + 2
as defined in the chapter "Cracking parameter a of the elliptic curve", we can conclude that
+
equals the total number of possible non-zero values of the field: q - 1. And thus #E0 + #E1 = 4 + 2(q - 1) = 2(q + 1).
The following might be a very important result, since I never saw it anywhere in literature yet (please contact me if you know whether or not this is indeed new):
The order of an elliptic curve over is equal to (assuming Tr(a) = 0, otherwise it is 2(q + 1) minus this) 2 plus 2 times the number of values of x for which Tr(x) = Tr(b/x2).
If its new, then I hereby claim it ;).
<To Be Continued>
Copyright © 2002-2004 Carlo Wood. All rights reserved.