For prescribing a factor by elliptic-curve tripling, quadratic reciprocity gives when . Choose with and choose an integer by the Chinese remainder theorem so that
Then and it is four modulo .
The curve has discriminant . At , , since otherwise would force . Also cannot vanish: squaring would give , forcing or 11, neither in the required class. At , makes , and excludes . Thus both reductions are nonsingular.
The point is on every curve in this family. Doubling it uses the invertible denominator two and gives
Modulo this difference vanishes, and the doubling ordinate is , so and is the identity. Modulo , taking gives , so and have distinct abscissas and their sum is a finite point.
Consequently the attempted addition computing modulo asks to invert a denominator divisible by and not by . Its numerator is nonzero modulo , since the two ordinates there are minus one and one, so this is not a removable coincidence. The Euclidean gcd used for inversion returns
a proper factor. Thus the specified elliptic-curve computation successfully factors .

Articles by others on the same topic (0)

There are currently no matching articles.