The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation. Hints (Greetings from The On-Line Encyclopedia of Integer Sequences!)
 A024614 Numbers of the form x^2 + xy + y^2, where x and y are positive integers. 14
 3, 7, 12, 13, 19, 21, 27, 28, 31, 37, 39, 43, 48, 49, 52, 57, 61, 63, 67, 73, 75, 76, 79, 84, 91, 93, 97, 103, 108, 109, 111, 112, 117, 124, 127, 129, 133, 139, 147, 148, 151, 156, 157, 163, 169, 171, 172, 175, 181, 183, 189, 192, 193, 196, 199, 201, 208, 211, 217, 219, 223, 228 (list; graph; refs; listen; history; text; internal format)
 OFFSET 1,1 COMMENTS Equivalently, sequence A024612 with duplicates removed; i.e., numbers of the form i^2 - i*j + j^2, where 1 <= i < j. A subsequence of A135412, which consists of multiples (by squarefree factors) of the numbers listed here. It appears that this lists numbers > 1 which have in their factorization: (a) no even power of 3 unless there is a factor == 1 (mod 6); (b) no odd power of 2 or of a prime == 5 (mod 6) and no even power unless there is a factor 3 or == 1 (mod 6). - M. F. Hasler, Aug 17 2016 If we regroup the entries in a triangle with row lengths A004526    3,    7,   12, 13,   19, 21,   27, 28, 31,   37, 39, 43, ... it seems that the j-th row of the triangle contains the numbers i^2+j^2-i*j in row j>=2 and column i = floor((j+1)/2) .. j-1. - R. J. Mathar, Aug 21 2016 Proof of the above characterization: the sequence is the union of 3*(the squares A000290) and A024606 (numbers x^2+xy+y^2 with x > y > 0). For the latter it is known that these are the numbers with a factor p==1 (mod 6) and any prime factor == 2 (mod 3) occurring to an even power. The former (3*n^2) are the same as (odd power of 3)*(even power of any other prime factor). The union of the two cases yields the earlier characterization. - M. F. Hasler, Mar 04 2018 Least term that can be written in exactly n ways is A300419(n). - Altug Alkan, Mar 04 2018 For the general theory see the Fouvry et al. reference and A296095. Bounds used in the Julia program are based on the theorems in this paper. - Peter Luschny, Mar 10 2018 LINKS Alois P. Heinz, Table of n, a(n) for n = 1..10000 (first 1000 terms from Peter Luschny) Etienne Fouvry, Claude Levesque, Michel Waldschmidt, Representation of integers by cyclotomic binary forms, arXiv:1712.09019 [math.NT], 2017. EXAMPLE 3 = 1^2 + 1^2 + 1*1, 7 = 2^2 + 1^2 + 2*1, ... MAPLE isA024614 := proc(n)     local i, j, disc;     # n=i^2+j^2-i*j = (j-i)^2+i*j, 1<=i=1 and i*j>=j and i^2+j^2-i*j >= 1+j max search radius     for j from 2 to n-1 do         # i=(j +- sqrt(4n-3j^2))/2         disc := 4*n-3*j^2 ;         if disc >= 0 then             if issqr(disc) then                 i := (j+sqrt(disc))/2 ;                 if type(i, 'integer') and i >= 1 and i= 1 and i x^2+(x+y)*y=k)((isqrt(4*k-3*x^2)-x)/2) then return k fi       od od     end: a(0):=0: seq(a(n), n=1..200);  # Alois P. Heinz, Mar 02 2018 MATHEMATICA max = 228; T0 = {}; xm = Ceiling[Sqrt[max]]; While[T = T0; T0 = Table[x^2 + x y + y^2, {x, 1, xm}, {y, x, xm}] // Flatten // Union // Select[#, # <= max&]&; T != T0, xm = 2 xm]; T (* Jean-François Alcover, Mar 23 2018 *) PROG (Julia) function isA024614(n)     n % 3 >= 2 && return false     n == 3 && return true     M = Int(round(2*sqrt(n/3)))     for y in 2:M, x in 1:y         n == x^2 + y^2 + x*y && return true     end     return false end A024614list(upto) = [n for n in 1:upto if isA024614(n)] println(A024614list(228)) # Peter Luschny, Mar 02 2018 updated Mar 17 2018 (PARI) is(n)={n>2&&!for(i=1, #n=Set(Col(factor(n)%6))/*consider prime factors mod 6*/, n[i]>1||next/*skip factors = 1 mod 6*/; /* odd power: ok only if p=3 */n[i]%2&&(n[i]!=3 || next) && return; /*even power: ok if there's a p==1, listed first*/ n==1 || /*also ok if it's not a 3 and if there's a 3 elsewhere */ (n[i]==2 && i<#n && n[i+1]==3) || (n[i]>3 && for(j=1, i-1, n[j]==3 && next(2))||return))} \\ M. F. Hasler, Aug 17 2016, documented & bug fixed (following an observation by Altug Alkan) Mar 04 2018 (PARI) is(n)={(n=factor(n))||return/*n=1*/; /*exponents % 2, primes % 3*/ n[, 2]%=2; n[, 1]%=3; (n=Set(Col(n))) /*odd power of a prime == 2? will be last*/ [#n] && n[#n]==2 && return; /*factor == 1? will be 1st or after 3*/ n[1+(!n && #n>1)]==1 || /*thrice a square?*/ (!n&&n&&!for(i=2, #n, n[i]&&return))} \\ Alternate code, 5% slower, maybe a bit less obscure. - M. F. Hasler, Mar 04 2018 (PARI) N=228; v=vector(N); for(x=1, N, x2=x*x; if(x2>N, break); for(y=x, N, t=x2+y*(x+y); if(t>N, break); v[t]=1; )); for(n=1, N, if(v[n], print1(n, ", "))); \\ Joerg Arndt, Mar 10 2018 (PARI) list(lim)=my(v=List(), x2); lim\=1; for(x=1, sqrtint(4*lim\3), x2=x^2; for(y=1, min((sqrt(4*lim-3*x2)-x)/2, x), listput(v, y*(x+y)+x2))); Set(v) \\ Charles R Greathouse IV, Mar 23 2018 CROSSREFS Cf. A003136, A007645 (prime terms), A024612, A135412, A296095, A300419. Sequence in context: A057927 A298788 A056772 * A230109 A045134 A215631 Adjacent sequences:  A024611 A024612 A024613 * A024615 A024616 A024617 KEYWORD nonn,easy AUTHOR EXTENSIONS Edited by M. F. Hasler, Aug 17 2016 b-file for values a(1)..a(10^4) double-checked with PARI code by M. F. Hasler, Mar 04 2018 STATUS approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

Last modified May 6 09:45 EDT 2021. Contains 343580 sequences. (Running on oeis4.)