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-2 of 2 results.

A058529 Numbers whose prime factors are all congruent to +1 or -1 modulo 8.

Original entry on oeis.org

1, 7, 17, 23, 31, 41, 47, 49, 71, 73, 79, 89, 97, 103, 113, 119, 127, 137, 151, 161, 167, 191, 193, 199, 217, 223, 233, 239, 241, 257, 263, 271, 281, 287, 289, 311, 313, 329, 337, 343, 353, 359, 367, 383, 391, 401, 409, 431, 433, 439, 449, 457, 463, 479, 487
Offset: 1

Views

Author

William Bagby (bagsbee(AT)aol.com), Dec 24 2000

Keywords

Comments

Numbers of the form x^2 - 2*y^2, where x is odd and x and y are relatively prime. - Franklin T. Adams-Watters, Jun 24 2011
Consider primitive Pythagorean triangles (a^2 + b^2 = c^2, gcd(a, b) = 1, a <= b); sequence gives values b-a, sorted with duplicates removed; terms > 1 in sequence give values of a + b, sorted. (See A046086 and A046087.)
Ordered set of (semiperimeter + radius of largest inscribed circle) of all primitive Pythagorean triangles. Semiperimeter of Pythagorean triangle + radius of largest circle inscribed in triangle = ((a+b+c)/2) + ((a+b-c)/2) = a + b.
The terms of this sequence are all of the form 6*N +- 1, since the prime divisors are, and numbers of this form are closed under multiplication. In fact, all terms are == 1, 7, 17, or 23 (mod 24). - J. T. Harrison (harrison_uk_2000(AT)yahoo.co.uk), Apr 28 2009, edited by Franklin T. Adams-Watters, Jun 24 2011
Is similar to A001132, but includes composites whose factors are in A001132. Can be generated in this manner.
Third side of primitive parallepipeds with square base; that is, integer solution of a^2 + b^2 + c^2 = d^2 with gcd(a,b,c) = 1 and b = c. - Carmine Suriano, May 03 2013
Other than -1, values of difference z-y that solve the Diophantine equation x^2 + y^2 = z^2 + 2. - Carmine Suriano, Jan 05 2015
For k > 1, k is in the sequence iff A330174(k) > 0. - Ray Chandler, Feb 26 2020

References

  • B Berggren, Pytagoreiska trianglar. Tidskrift för elementär matematik, fysik och kemi, 17:129-139, 1934.
  • Olaf Delgado-Friedrichs and Michael O’Keeffe, Edge-transitive lattice nets, Acta Cryst. (2009). A65, 360-363.

Crossrefs

Programs

  • Haskell
    a058529 n = a058529_list !! (n-1)
    a058529_list = filter (\x -> all (`elem` (takeWhile (<= x) a001132_list))
                                     $ a027748_row x) [1..]
    -- Reinhard Zumkeller, Jan 29 2013
    
  • Mathematica
    Select[Range[500], Union[Abs[Mod[Transpose[FactorInteger[#]][[1]], 8, -1]]] == {1} &] (* T. D. Noe, Feb 07 2012 *)
  • PARI
    is(n)=my(f=factor(n)[,1]%8); for(i=1,#f, if(f[i]!=1 && f[i]!=7, return(0))); 1 \\ Charles R Greathouse IV, Aug 01 2016

Formula

a(n) = |A-B|=|j^2-2*k^2|, j=(2*n-1), k,n in N, GCD(j,k)=1, the absolute difference between primitive Pythagorean triple legs (sides adjacent to the right angle). - Roger M Ellingson, Dec 09 2023

Extensions

More terms from Naohiro Nomoto, Jul 02 2001
Edited by Franklin T. Adams-Watters, Jun 24 2011
Duplicated comment removed and name rewritten by Wolfdieter Lang, Feb 17 2015

A198441 Square root of third term of a triple of squares in arithmetic progression that is not a multiple of another triple in (A198384, A198385, A198386).

Original entry on oeis.org

7, 17, 23, 31, 41, 47, 49, 71, 73, 79, 89, 97, 103, 113, 119, 119, 127, 137, 151, 161, 161, 167, 191, 193, 199, 217, 217, 223, 233, 239, 241, 257, 263, 271, 281, 287, 287, 289, 311, 313, 329, 329, 337, 343, 353, 359, 367, 383, 391, 391, 401, 409, 431, 433
Offset: 1

Views

Author

Reinhard Zumkeller, Oct 25 2011

Keywords

Comments

This sequence gives the sum of the two legs (catheti) x + y of primitive Pythagorean triangles (x,y,z) with y even and gcd(x,y) = 1, ordered nondecreasingly (with multiple entries). See A058529(n), n>=2, for the sequence without multiple entries. For the proof, put in the Zumkeller link w = x + y, v = z and u = abs(x - y). This works because w^2 - v^2 = v^2 - u^2, hence u^2 = 2*v^2 - w^2 = 2*z^2 - (x+y)^2 = 2*(x^2 + y^2) - (x+y)^2 = x^2 + y^2 - 2*x*y = (x-y)^2. The primitivity of the arithmetic progression triples follows from the one of the Pythagorean triples: gcd(u,w) = 1 follows from gcd(x,y) = 1, then gcd(u,v,w) = gcd(gcd(u,w),v) = 1. The converse can also be proved: given a primitive arithmetic progression triple (u,v,w), 1 <= u < v < w, gcd(u,v,w) = 1, the corresponding primitive Pythagorean triple with even y is ((w-u)/2,(w+u)/2,v) or ((w+u)/2,(w-u)/2,v), depending on whether (w+u)/2 is even or odd, respectively. - Wolfdieter Lang, May 22 2013
n appears A330174(n) times. - Ray Chandler, Feb 26 2020

Examples

			Primitive Pythagorean triangle connection: a(1) = 7 because (u,v,w) = (1,5,7) corresponds to the primitive Pythagorean triangle (x = (w-u)/2, y = (w+u)/2, z = v) = (3,4,5) with leg sum 3 + 4 = 7. - _Wolfdieter Lang_, May 23 2013
		

Crossrefs

Cf. A225949 (triangle version of leg sums).

Programs

  • Haskell
    a198441 n = a198441_list !! (n-1)
    a198441_list = map a198390 a198409_list
  • Mathematica
    wmax = 1000;
    triples[w_] := Reap[Module[{u, v}, For[u = 1, u < w, u++, If[IntegerQ[v = Sqrt[(u^2 + w^2)/2]], Sow[{u, v, w}]]]]][[2]];
    tt = Flatten[DeleteCases[triples /@ Range[wmax], {}], 2];
    DeleteCases[tt, t_List /; GCD@@t > 1 && MemberQ[tt, t/GCD@@t]][[All, 3]] (* Jean-François Alcover, Oct 22 2021 *)

Formula

A198437(n) = a(n)^2; a(n) = A198390(A198409(n)).
Showing 1-2 of 2 results.