cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A006991 Primitive congruent numbers.

Original entry on oeis.org

5, 6, 7, 13, 14, 15, 21, 22, 23, 29, 30, 31, 34, 37, 38, 39, 41, 46, 47, 53, 55, 61, 62, 65, 69, 70, 71, 77, 78, 79, 85, 86, 87, 93, 94, 95, 101, 102, 103, 109, 110, 111, 118, 119, 127, 133, 134, 137, 138, 141, 142, 143, 145, 149, 151, 154, 157, 158, 159
Offset: 1

Views

Author

Keywords

Comments

Squarefree terms of A003273.
Assuming the Birch and Swinnerton-Dyer conjecture, determining whether a number n is congruent requires counting the solutions to a pair of equations. For odd n, see A072068 and A072069; for even n see A072070 and A072071. The Mathematica program for this sequence uses variables defined in A072068, A072069, A072070, A072071. - T. D. Noe, Jun 13 2002

Examples

			6 is congruent because 6 is the area of the right triangle with sides 3,4,5. It is a primitive congruent number because it is squarefree.
		

References

  • Albert H. Beiler, Recreations in the theory of numbers, New York, Dover, (2nd ed.) 1966. See p. 155.
  • R. K. Guy, Unsolved Problems in Number Theory, D27.
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Crossrefs

Programs

  • Mathematica
    (* The following Mathematica code assumes the truth of the Birch and Swinnerton-Dyer conjecture and uses functions from A072068. *)
    For[lst={}; n=1, n<=maxN, n++, If[SquareFreeQ[n], If[(EvenQ[n]&&soln3[[n/2]]==2soln4[[n/2]])|| (OddQ[n]&&soln1[[(n+1)/2]]==2soln2[[(n+1)/2]]), AppendTo[lst, n]]]]; lst
    (* The following self-contained Mathematica code also assumes the truth of the Birch and Swinnerton-Dyer conjecture. *)
    CongruentQ[n_] := Module[{x, y, z, ok=False}, (Which[! SquareFreeQ[n], Null[], MemberQ[{5, 6, 7}, Mod[n, 8]], ok = True, OddQ@n&&Length@Solve[x^2+2y^2+8z^2==n, {x, y, z}, Integers]==2Length@Solve[x^2+2y^2+32z^2==n, {x, y, z}, Integers], ok=True, EvenQ@n&&Length@Solve[x^2+4y^2+8z^2==n/2, {x, y, z}, Integers]==2Length@ Solve[x^2 + 4 y^2 + 32 z^2 == n/2, {x, y, z}, Integers], ok=True]; ok)]; Select[Range[200], CongruentQ] (* Frank M Jackson, Jun 06 2016 *)

Extensions

More terms from T. D. Noe, Feb 26 2003