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.

Showing 1-6 of 6 results.

A033212 Primes congruent to 1 or 19 (mod 30).

Original entry on oeis.org

19, 31, 61, 79, 109, 139, 151, 181, 199, 211, 229, 241, 271, 331, 349, 379, 409, 421, 439, 499, 541, 571, 601, 619, 631, 661, 691, 709, 739, 751, 769, 811, 829, 859, 919, 991, 1009, 1021, 1039, 1051, 1069, 1129, 1171, 1201, 1231, 1249, 1279, 1291, 1321, 1381
Offset: 1

Views

Author

Keywords

Comments

Theorem: Same as primes of the form x^2+15*y^2 (discriminant -60). Proof: Cox, Cor. 2.27, p. 36.
Equivalently, primes congruent to 1 or 4 (mod 15). Also x^2+xy+4y^2 is the principal form of (fundamental) discriminant -15. The only other class for -15 contains the form 2x^2+xy+2y^2 (A106859), in the other genus. - Rick L. Shepherd, Jul 25 2014
Three further theorems (these were originally stated as conjectures, but are now known to be theorems, thanks to the work of J. B. Tunnell - see link):
1. The same as primes of the form x^2-xy+4y^2 (discriminant -15) and x^2-xy+19y^2 (discriminant -75), both with x and y nonnegative. - T. D. Noe, Apr 29 2008
2. The same as primes of the form x^2+xy+19y^2 (discriminant -75), with x and y nonnegative. - T. D. Noe, Apr 29 2008
3. The same as primes of the form x^2+5xy-5y^2 (discriminant 45). - N. J. A. Sloane, Jun 01 2014
Also primes of the form x^2+7*x*y+y^2 (discriminant 45).
Lemma (Will Jagy, Jun 12 2014): If c is any (positive or negative) even number, then x^2 + x y + c y^2 and x^2 + (4 c - 1) y^2 represent the same odd numbers.
Proof: x (x + y) + c y^2 = odd, therefore x is odd, x + y odd, so y is even. Let y = 2 t. Then x( x + 2 t) + 4 c t^2 = x^2 + 2 x t + 4 c t^2 = (x+t)^2 + (4c-1) t^2 = odd. QED With c = 4, neither one represents 2, so x^2+15y^2 and x^2+xy+4y^2 represent the same primes.
Also, primes which are squares (mod 3*5). Subsequence of A191018. - David Broadhurst and M. F. Hasler, Jan 15 2016

References

  • Z. I. Borevich and I. R. Shafarevich, Number Theory. Academic Press, NY, 1966.
  • David A. Cox, Primes of the Form x^2 + n y^2, Wiley, 1989.

Crossrefs

Primes in A243173 and in A243174.
Cf. A141785 (d=45), A033212 (Primes of form x^2+15*y^2), A038872(d=5), A038873 (d=8), A068228, A141123 (d=12), A038883 (d=13), A038889 (d=17), A141111, A141112 (d=65).
For a list of sequences giving numbers and/or primes represented by binary quadratic forms, see the "Binary Quadratic Forms and OEIS" link.

Programs

  • Mathematica
    QuadPrimes2[1, 0, 15, 10000] (* see A106856 *)
    Select[Prime@Range[250], MemberQ[{1, 19}, Mod[#, 30]] &] (* Vincenzo Librandi, Apr 05 2015 *)
  • PARI
    select(n->n%30==1||n%30==19, primes(100)) \\ Charles R Greathouse IV, Nov 09 2012
    
  • PARI
    is(p)=issquare(Mod(p,15))&&isprime(p) \\ M. F. Hasler, Jan 15 2016

Formula

a(n) ~ 4n log n. - Charles R Greathouse IV, Nov 09 2012

Extensions

Edited by N. J. A. Sloane, Jun 01 2014 and Oct 18 2014: added Tunnell document, revised entry, merged with A141184. The latter entry was submitted by Laura Caballero Fernandez, Lourdes Calvo Moguer, Maria Josefa Cano Marquez, Oscar Jesus Falcon Ganfornina and Sergio Garrido Morales (oscfalgan(AT)yahoo.es), Jun 12 2008.
Typo in crossrefs fixed by Colin Barker, Apr 05 2015

A141373 Primes of the form 3*x^2+16*y^2. Also primes of the form 4*x^2+4*x*y-5*y^2 (as well as primes the form 4*x^2+12*x*y+3*y^2).

Original entry on oeis.org

3, 19, 43, 67, 139, 163, 211, 283, 307, 331, 379, 499, 523, 547, 571, 619, 643, 691, 739, 787, 811, 859, 883, 907, 1051, 1123, 1171, 1291, 1459, 1483, 1531, 1579, 1627, 1699, 1723, 1747, 1867, 1987, 2011, 2083, 2131, 2179, 2203, 2251, 2347, 2371, 2467, 2539
Offset: 1

Views

Author

T. D. Noe, May 13 2005; Laura Caballero Fernandez, Lourdes Calvo Moguer, Maria Josefa Cano Marquez, Oscar Jesus Falcon Ganfornina and Sergio Garrido Morales (oscfalgan(AT)yahoo.es), Jun 28 2008

Keywords

Comments

The discriminant is -192 (or 96, or ...), depending on which quadratic form is used for the definition. Binary quadratic forms a*x^2+b*x*y+c*y^2 have discriminant d=b^2-4ac and gcd(a,b,c)=1. See A107132 for more information.
Except for 3, also primes of the forms 4x^2 + 4xy + 19y^2 and 16x^2 + 8xy + 19y^2. See A140633. - T. D. Noe, May 19 2008

Examples

			19 is a member because we can write 19=4*2^2+4*2*1-5*1^2 (or 19=4*1^2+12*1*1+3*1^2).
		

References

  • Z. I. Borevich and I. R. Shafarevich, Number Theory.

Crossrefs

See also A038872 (d=5),
A038873 (d=8),
A068228, A141123 (d=12),
A038883 (d=13),
A038889 (d=17),
A141158 (d=20),
A141159, A141160 (d=21),
A141170, A141171 (d=24),
A141172, A141173 (d=28),
A141174, A141175 (d=32),
A141176, A141177 (d=33),
A141178 (d=37),
A141179, A141180 (d=40),
A141181 (d=41),
A141182, A141183 (d=44),
A033212, A141785 (d=45),
A068228, A141187 (d=48),
A141188 (d=52),
A141189 (d=53),
A141190, A141191 (d=56),
A141192, A141193 (d=57),
A141215 (d=61),
A141111, A141112 (d=65),
A141336, A141337 (d=92),
A141338, A141339 (d=93),
A141161, A141163 (d=148),
A141165, A141166 (d=229),

Programs

  • Magma
    [3] cat [ p: p in PrimesUpTo(3000) | p mod 24 in {19 } ]; // Vincenzo Librandi, Jul 24 2012
    
  • Mathematica
    QuadPrimes2[3, 0, 16, 10000] (* see A106856 *)
  • PARI
    list(lim)=my(v=List(),w,t); for(x=1, sqrtint(lim\3), w=3*x^2; for(y=0, sqrtint((lim-w)\16), if(isprime(t=w+16*y^2), listput(v,t)))); Set(v) \\ Charles R Greathouse IV, Feb 09 2017

Formula

Except for 3, the primes are congruent to 19 (mod 24). - T. D. Noe, May 02 2008

Extensions

More terms from Colin Barker, Apr 05 2015
Edited by N. J. A. Sloane, Jul 14 2019, combining two identical entries both with multiple cross-references.

A141750 Primes of the form 4*x^2 + 3*x*y - 4*y^2 (as well as of the form 2*x^2 + 9*x*y + y^2).

Original entry on oeis.org

2, 3, 19, 23, 37, 41, 61, 67, 71, 73, 79, 89, 97, 109, 127, 137, 149, 173, 181, 211, 223, 227, 251, 257, 269, 283, 293, 311, 317, 347, 349, 353, 359, 367, 373, 383, 389, 397, 401, 419, 439, 457, 461, 463, 479, 487, 499, 503, 509, 523, 547, 557, 587, 593, 607
Offset: 1

Views

Author

Laura Caballero Fernandez, Lourdes Calvo Moguer, Maria Josefa Cano Marquez, Oscar Jesus Falcon Ganfornina and Sergio Garrido Morales (sergarmor(AT)yahoo.es), Jul 03 2008

Keywords

Comments

Discriminant = 73. Class = 1. Binary quadratic forms a*x^2 + b*x*y + c*y^2 have discriminant d = b^2-4ac.
Is this the same as A038957? - R. J. Mathar, Jul 04 2008. Answer: almost certainly - see the Tunnell notes in A033212. - N. J. A. Sloane, Oct 18 2014

Examples

			a(2) = 3 because we can write 3 = 4*1^2 + 3*1*1 - 4*1^2.
		

References

  • Z. I. Borevich and I. R. Shafarevich, Number Theory.

Crossrefs

See also A038872 (d=5). A038873 (d=8). A068228, A141123 (d=12). A038883 (d=13). A038889 (d=17). A141158 (d=20). A141159, A141160 (d=21). A141170, A141171 (d=24). A141172, A141173 (d=28). A141174, A141175 (d=32). A141176, A141177 (d=33). A141178 (d=37). A141179, A141180 (d=40). A141181 (d=41). A141182, A141183 (d=44). A033212, A141785 (d=45). A068228, A141187 (d=48). A141188 (d=52). A141189 (d=53). A141190, A141191 (d=56). A141192, A141193 (d=57). A107152, A141302, A141303, A141304 (d=60). A141215 (d=61). A141111, A141112 (d=65). A141161, A141163 (d=148). A141165, A141166 (d=229). A141167, A141168 (d=257).

A141772 Primes of the form 3*x^2 + 5*x*y - 5*y^2 (as well as of the form 7*x^2 + 13*x*y + 3*y^2).

Original entry on oeis.org

3, 5, 7, 17, 23, 37, 73, 97, 107, 113, 163, 167, 173, 193, 197, 227, 233, 277, 283, 313, 317, 337, 347, 367, 397, 487, 503, 547, 607, 617, 643, 653, 673, 677, 683, 743, 787, 823, 827, 853, 857, 877, 887, 907, 947, 983, 997, 1013, 1093, 1117, 1153, 1163, 1187
Offset: 1

Views

Author

Laura Caballero Fernandez, Lourdes Calvo Moguer, Maria Josefa Cano Marquez, Oscar Jesus Falcon Ganfornina and Sergio Garrido Morales (sergarmor(AT)yahoo.es), Jul 04 2008

Keywords

Comments

Discriminant = 85. Class = 2. Binary quadratic forms a*x^2 + b*x*y + c*y^2 have discriminant d = b^2 - 4ac.

Examples

			a(1) = 3 because we can write 3 = 3*1^2 + 5*1*0 - 5*0^2 (or 3 = 7*0^2 + 13*0*1 + 3*1^2).
		

References

  • Z. I. Borevich and I. R. Shafarevich, Number Theory.

Crossrefs

Cf. A141773 (d=85). See also A038872 (d=5). A038873 (d=8). A068228, A141123 (d=12). A038883 (d=13). A038889 (d=17). A141158 (d=20). A141159, A141160 (d=21). A141170, A141171 (d=24). A141172, A141173 (d=28). A141174, A141175 (d=32). A141176, A141177 (d=33). A141178 (d=37). A141179, A141180 (d=40). A141181 (d=41). A141182, A141183 (d=44). A033212, A141785 (d=45). A068228, A141187 (d=48). A141188 (d=52). A141189 (d=53). A141190, A141191 (d=56). A141192, A141193 (d=57). A107152, A141302, A141303, A141304 (d=60). A141215 (d=61). A141111, A141112 (d=65). A141750 (d=73). A141161, A141163 (d=148). A141165, A141166 (d=229). A141167, A141168 (d=257).

Extensions

More terms from Colin Barker, Apr 04 2015
Typo in crossrefs fixed by Colin Barker, Apr 05 2015

A141778 Primes of the form 4*x^2 + 3*x*y - 5*y^2 (as well as of the form 8*x^2 + 11*x*y + y^2).

Original entry on oeis.org

2, 5, 11, 17, 47, 53, 67, 71, 73, 79, 89, 97, 107, 109, 131, 139, 157, 167, 173, 179, 199, 223, 227, 233, 251, 257, 263, 269, 271, 277, 283, 307, 311, 317, 331, 347, 367, 373, 401, 409, 443, 449, 461, 463, 467, 479, 487, 509, 523, 587, 601, 607, 613, 619, 631
Offset: 1

Views

Author

Laura Caballero Fernandez, Lourdes Calvo Moguer, Maria Josefa Cano Marquez, Oscar Jesus Falcon Ganfornina and Sergio Garrido Morales (sergarmor(AT)yahoo.es), Jul 04 2008

Keywords

Comments

Discriminant = 89. Class = 1. Binary quadratic forms a*x^2+b*x*y+c*y^2 have discriminant d=b^2-4ac and gcd(a,b,c)=1.
A subsequence of (and may possibly coincide with) A038977. - R. J. Mathar, Jul 22 2008

Examples

			a(1) = 2 because we can write 2 = 4*1^2 + 3*1*1 - 5*1^2.
		

References

  • Z. I. Borevich and I. R. Shafarevich, Number Theory.

Crossrefs

See also A038872 (d=5). A038873 (d=8). A068228, A141123 (d=12). A038883 (d=13). A038889 (d=17). A141158 (d=20). A141159, A141160 (d=21). A141170, A141171 (d=24). A141172, A141173 (d=28). A141174, A141175 (d=32). A141176, A141177 (d=33). A141178 (d=37). A141179, A141180 (d=40). A141181 (d=41). A141182, A141183 (d=44). A033212, A141785 (d=45). A068228, A141187 (d=48). A141188 (d=52). A141189 (d=53). A141190, A141191 (d=56). A141192, A141193 (d=57). A107152, A141302, A141303, A141304 (d=60). A141215 (d=61). A141111, A141112 (d=65). A141750 (d=73). A141772, A141773 (d=85). A141776, A141777 (d=88). A141778 (d=89). A141161, A141163 (d=148). A141165, A141166 (d=229). A141167, A141168 (d=257).

Extensions

Typo in crossrefs fixed by Colin Barker, Apr 05 2015

A309137 Nonnegative integers of the form 5*x^2 + 5*x*y - y^2.

Original entry on oeis.org

0, 5, 9, 11, 20, 29, 36, 41, 44, 45, 59, 71, 80, 81, 89, 95, 99, 101, 116, 125, 131, 144, 149, 155, 164, 171, 176, 179, 180, 191, 209, 225, 236, 239, 245, 251, 261, 269, 275, 279, 281, 284, 305, 311, 320, 324, 341, 356, 359, 369, 380, 389, 395, 396, 401, 404
Offset: 1

Views

Author

Hugo Pfoertner, Jul 14 2019

Keywords

Comments

Equivalent quadratic form: 9*x^2+15*x*y+5*y^2.
Discriminant of indefinite binary quadratic form: 45.
Nonnegative numbers of the form 5x^2 - 9y^2. - Jon E. Schoenfield, Jun 03 2022

Crossrefs

Primes in this sequence: A141785.
Showing 1-6 of 6 results.