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

A344334 a(n) is the number of large or small squares that are used to tile primitive squares of type 1 whose length of side is A344333(n).

Original entry on oeis.org

20, 90, 272, 468, 650, 1332, 2900, 3600, 2450, 7650, 4160, 6642, 10388, 16400, 10100, 25578, 14762, 27540, 20880, 42048, 50960, 54900, 28730, 90650, 60500, 38612, 98100, 50850, 125712, 142400, 149940, 65792, 141570, 116948, 214650, 83810, 105300, 265232, 354368
Offset: 1

Views

Author

Bernard Schott, Jun 02 2021

Keywords

Comments

Some notations: s = side of the tiled squares, a = side of small squares, b = side of large squares, and z = number of small squares = number of large squares.
Every term is of the form z = (a*b)^2 * (a^2+b^2) with gcd(a, b) = 1.
Every primitive square is composed of m = a*b * (a^2+b^2) elementary rectangles of length L = a^2+b^2 and width W = a*b, so with an area A = a*b * (a^2+b^2) = m.
This sequence is not increasing: a(9) = 2450 < a(8) = 3600.
Every term is even.
If a = 1 and b = n > 1, then number of squares z = n^2 * (n^2+1) is in A071253 \ {0,2}.

Examples

			Square 10 x 10 with a = 1, b = 2, s = 10, z = 20.
      ___ ___ _ ___ ___ _
     |   |   |_|   |   |_|
     |___|___|_|___|___|_|
     |   |   |_|   |   |_| with 10 elementary 2 x 5 rectangles
     |___|___|_|___|___|_|
     |   |   |_|   |   |_|              ___ ___ _
     |___|___|_|___|___|_|             |   |   |_|
     |   |   |_|   |   |_|             |___|___|_|
     |___|___|_|___|___|_|
     |   |   |_|   |   |_|
     |___|___|_|___|___|_|
		

References

  • Ivan Yashchenko, Invitation to a Mathematical Festival, pp. 10 and 102, MSRI, Mathematical Circles Library, 2013.

Crossrefs

Cf. A071253 \ {0,2} is a subsequence.

A344330 Sides s of squares that can be tiled with squares of two different sizes so that the number of large or small squares is the same.

Original entry on oeis.org

10, 15, 20, 30, 40, 45, 50, 60, 65, 68, 70, 75, 78, 80, 90, 100, 105, 110, 120, 130, 135, 136, 140, 150, 156, 160, 165, 170, 175, 180, 190, 195, 200, 204, 210, 220, 222, 225, 230, 234, 240, 250, 255, 260, 270, 272, 280, 285, 290, 300, 310, 312, 315, 320, 325, 330, 340, 345, 350, 360, 369, 370
Offset: 1

Views

Author

Bernard Schott, May 15 2021

Keywords

Comments

This sequence is a generalization of the 4th problem proposed for the pupils in grade 6 during the 19th Mathematical Festival at Moscow in 2008.
Some notations: s = side of the tiled square, a = side of small squares, b = side of large squares, and z = number of small squares = number of large squares.
Side s of such tiled squares must satisfy the Diophantine equation s^2 = z * (a^2+b^2).
There are two types of solutions. See A344331 for type 1 and A344332 for type 2.
If q is a term, k * q is another term for k > 1.

Examples

			-> Example of type 1:
Square 10 x 10 with a = 1, b = 2, s = 10, z = 20.
      ___ ___ _ ___ ___ _
     |   |   |_|   |   |_|
     |___|___|_|___|___|_|
     |   |   |_|   |   |_| with 10 elementary 2 x 5 rectangles
     |___|___|_|___|___|_|
     |   |   |_|   |   |_|              ___ ___ _
     |___|___|_|___|___|_|             |   |   |_|
     |   |   |_|   |   |_|             |___|___|_|
     |___|___|_|___|___|_|
     |   |   |_|   |   |_|
     |___|___|_|___|___|_|
.
-> Example of type 2:
Square 15 x 15 with a = 3, b = 4, s = 15, z = 9.
      ________ ________ ________ _____
     |        |        |        |     |
     |        |        |        |     |
     |        |        |        |_____|
     |_______ |________|________|     |
     |        |        |        |     |
     |        |        |        |_____|
     |        |        |        |     |
     |________|________|________|     |
     |        |        |        |_____|
     |        |        |        |     |
     |        |        |        |     |
     |_____ __|___ ____|_ ______|_____|
     |     |      |      |      |     |
     |     |      |      |      |     |
     |_____|______|______|______|_____|
Remarks:
- With terms as 10, 20, ... we only obtain sides of squares of type 1:
10 is a term of this type because the square 10 X 10 only can be tiled with 20 squares of size 1 X 1 and 20 squares of size 2 X 2 (see first example),
20 is another term of this type because the square 20 X 20 only can be tiled with 80 squares of size 1 x 1 and 80 squares of size 2 x 2.
- With terms as 15, 65, ... we only obtain sides of squares of type 2:
15 is a term of this type because the square 15 X 15 only can be tiled with 9 squares of size 3 X 3 and 9 squares of size 4 X 4 (see second example),
65 is another term of this type because the square 65 X 65 only can be tiled with 25 squares of size 5 X 5 and 25 squares of size 12 X 12.
- With terms as 30, 60, ... we obtain both sides of squares of type 1 and of type 2:
30 is a term of type 1 because the square 30 X 30 can be tiled with 180 squares of size 1 X 1 and 180 squares of size 2 X 2, but,
30 is also a term of type 2 because the square 30 X 30 can be tiled with 9 squares of size 6 X 6 and 9 squares of size 8 X 8.
		

References

  • Ivan Yashchenko, Invitation to a Mathematical Festival, pp. 10 and 102, MSRI, Mathematical Circles Library, 2013.

Crossrefs

Subsequences: A008592 \ {0}, A008597 \ {0}, A034262 \ {0,1}.

Programs

  • PARI
    pts(lim) = my(v=List(), m2, s2, h2, h); for(middle=4, lim-1, m2=middle^2; for(small=1, middle, s2=small^2; if(issquare(h2=m2+s2, &h), if(h>lim, break); listput(v, [small, middle, h])))); vecsort(Vec(v)); \\ A009000
    isdp4(s) = my(k=1, x); while(((x=k^4 - (k-1)^4) <= s), if (x == s, return (1)); k++); return(0);
    isokp2(s) = {if (!isdp4(s), return(0)); if (s % 2, my(vp = pts(s)); for (i=1, #vp, my(vpi = vp[i], a = vpi[1], b = vpi[2], c = vpi[3]); if (a*c/(c-b) == s, return(1)); ); ); }
    isok2(s) = {if (isokp2(s), return (1)); fordiv(s, d, if ((d>1) || (dx*y*(x^2+y^2), [1..m]), s);}
    isok1(s) = {if (isokp1(s), return (1)); fordiv(s, d, if ((d>1) || (dMichel Marcus, Jun 04 2021

Extensions

Corrected by Michel Marcus, May 18 2021
Incorrect term 145 removed by Michel Marcus, Jun 04 2021

A344331 Side s of squares of type 1 that can be tiled with squares of two different sizes so that the number of large or small squares is the same.

Original entry on oeis.org

10, 20, 30, 40, 50, 60, 68, 70, 78, 80, 90, 100, 110, 120, 130, 136, 140, 150, 156, 160, 170, 180, 190, 200, 204, 210, 220, 222, 230, 234, 240, 250, 260, 270, 272, 280, 290, 300, 310, 312, 320, 330, 340, 350, 360, 370, 380, 390, 400, 408, 410, 420, 430, 440, 444, 450, 460, 468, 470
Offset: 1

Views

Author

Bernard Schott, May 20 2021

Keywords

Comments

This sequence is relative to the generalization of the 4th problem proposed for the pupils in grade 6 during the 19th Mathematical Festival at Moscow in 2008 (see A344330).
There are two types of solutions, the first one is proposed here, while type 2 is described in A344332.
Some notations: s = side of the tiled squares, a = side of small squares, b = side of large squares, and z = number of small squares = number of large squares.
-> Primitive squares
Side s of primitive squares of type 1 must satisfy the Diophantine equation s^2 = z * (a^2+b^2), with gcd(a, b) = 1, and without using the conditions a^2+b^2 = c^2, when a and b belong to a Pythagorean triple (a, b, c).
In this case, the sides of the primitive squares of type 1 are s = a*b * (a^2+b^2) with 1 <= a < b and gcd(a, b) = 1 (A344333), then corresponding z = (a*b)^2 * (a^2+b^2) (A344334).
Every primitive square is composed of m = a*b * (a^2+b^2) elementary rectangles of length L = a^2+b^2 and width W = a*b, so with an area A = a*b * (a^2+b^2) = m.
In particular: for a = 1, b = n, s = n*(n^2+1) form the subsequence A034262 \ {0, 1} and z = n^2*(n^2+1) form the subsequence A071253 \ {0, 2}).
See example with design for a square of side s = 10 with a = 1, b = 2, m = 10, z = 20.
-> Non-primitive squares
If s is the side of a primitive square of type 1 with z squares of side a and z squares of side b, then every k * s is a non-primitive term that gives one or two distinct tilings of type 1, depending of value of k:
- For every k > 1, the square ks X ks can be tiled with k^2*z squares of side a and k^2*z squares of side b (see example).
- For every k = r^4, r>1, the square ks X ks also can be tiled with z squares of side ka and z squares of side kb.
---> Consequences:
1) For every pair (a, b), 1 <= a < b, there is a square of side s = a*b * (a^2+b^2) that can be tiled with squares of side a and side b so that the number z of squares of side a and side b is the same, this number z = (a*b)^2 * (a^2+b^2).
2) If q is a term and K > 1, K * q is another term.
3) Every term is even.

Examples

			Primitive square with s = 10:
   a = 1, b = 2, s = 10, m = 10, z = 20, and
Non-primitive square with s = 20:
   a = 1, b = 2, s = 20, m = 40, z = 80.
      ___ ___ _ ___ ___ _ ___________________
     |   |   |_|   |   |_|                   |
     |___|___|_|___|___|_|                   |
     |   |   |_|   |   |_|                   |
     |___|___|_|___|___|_|                   |
     |   |   |_|   |   |_|                   |
     |___|___|_|___|___|_|                   |
     |   |   |_|   |   |_|                   |
     |___|___|_|___|___|_|                   |
     |   |   |_|   |   |_|                   |
     |___|___|_|___|___|_|___________________|
     |                   |                   |
     |                   |                   |
     |                   |                   |
     |                   |                   |
     |                   |                   |
     |                   |                   |
     |                   |                   |
     |                   |                   |
     |                   |                   |
     |___________________|___________________|
with respectively m = 10 (and m = 40) elementary 2 X 5 rectangles as below:
          ___ ___ _
         |   |   |_|
         |___|___|_|
There are these three possibilities:
- 10 is a primitive term because the square 10 X 10 can be tiled with 20 squares of size 1 X 1 and 20 squares of size 2 X 2, and no smaller square can be tiled with a same number of squares of size 1 X 1 and of squares of size 2 X 2.
- 20 is a non-primitive term because the square 20 X 20 can be tiled with 80 squares of size 1 X 1 and 80 squares of size 2 X 2.
- 30 is a primitive term because the square 30 X 30 can be tiled with 90 squares of size 1 X 1 and 90 squares of size 3 X 3, and no smaller square can be tiled with a same number of squares of size 1 X 1 and of squares of size 3 X 3,
  but also, 30 is a non-primitive term because the square 30 X 30 can be tiled with 180 squares of size 1 X 1 and 180 squares of size 2 X 2.
		

References

  • Ivan Yashchenko, Invitation to a Mathematical Festival, pp. 10 and 102, MSRI, Mathematical Circles Library, 2013.

Crossrefs

Programs

  • PARI
    isokp1(s) = {if (!(s % 2) && ispower(s/2, 4), return (0)); my(m = sqrtnint(s, 3)); vecsearch(setbinop((x, y)->x*y*(x^2+y^2), [1..m]), s); }
    isok(s) = {if (isokp1(s), return (1)); fordiv(s, d, if ((d>1) || (dMichel Marcus, Dec 22 2021

A346264 a(n) is the number of distinct possible tilings of type 2 for squares with side = A344332(n) and that can be tiled with squares of two different sizes so that the numbers of large or small squares are equal.

Original entry on oeis.org

1, 2, 2, 3, 1, 2, 4, 2, 4, 2, 3, 4, 2, 1, 6, 4, 4, 4, 5, 2, 3, 6, 2, 6, 4, 2, 4, 2, 2, 8, 1, 3, 8, 4, 6, 2, 8, 2, 2, 6, 4, 4, 4, 6, 9, 2, 4, 7, 8, 2, 8, 2, 4, 6, 1, 6, 4, 3, 2, 2, 10, 3, 2, 6, 4, 12, 2, 8, 4, 8, 2, 4, 4, 2, 2, 12, 4, 2, 4, 6, 7, 8, 8, 2, 6, 4, 5, 12, 2, 12, 2, 3, 3, 4
Offset: 1

Views

Author

Bernard Schott, Aug 09 2021

Keywords

Comments

Every side of square of type 2 in A344332 is also the side of an elementary square of type 2. An elementary square of type 2 is the smallest square that can be tiled with squares of two different sides a < b satisfying a^2+b^2 = c^2 and so that the numbers of small and large squares are equal.
Some notation: s = side of the tiled square, a = side of small squares, b = side of large squares, and z = number of small squares = number of large squares.
a(n) = 1 iff A344332(n) is a term of A005917 that is not a multiple of another term of A005917 (15, 65, 175, 369, 671, 2465, ...).
The first side that is a multiple of two primitive sides is 195 = 13*15 = 3*65 (see 3rd example).

Examples

			---> For a(1), A344332(1) = 15, then, with the formula, we get a(1) = tau(A344332(1)/A005917(2)) = tau(15/15) = tau(1) = 1, and the corresponding tiling of this smallest square 15 X 15 of type 2 consists of z = 9 squares whose sides (a,b) = (3,4) (see below).
            ________ ________ ________ ______
           |        |        |        |      |
           |        |        |        |      |
           |        |        |        |______|
           |_______ |________|________|      |
           |        |        |        |      |
           |        |        |        |______|
           |        |        |        |      |
           |________|________|________|      |
           |        |        |        |______|
           |        |        |        |      |
           |        |        |        |      |
           |_____ __|___ ____|_ ______|______|
           |     |      |      |      |      |
           |     |      |      |      |      |
           |_____|______|______|______|______|
                       a(1) = 1
---> For a(2), A344332(2) = 30, then, with the formula, we get a(2) = tau(A344332(2)/A005917(2)) = tau(30/15) = tau(2) = 2, and these 2 distinct tilings are:
1) 30 = 2*A344332(1) = 2*15, z(30) = 2^2 * z(15) = 4*9 = 36 and square 30 X 30 can be tiled with z = 36 squares whose sides (a,b) = (3,4), that is 4 copies of the elementary and primitive square 15 X 15 (as above). Also,
2) 30 = 1*A344332(2) = 1*30, z(30) = 1^2 * z(15) = 1*9 = 9 and the elementary square 30 X 30 can be tiled with z = 9 squares whose sides (a,b) = (6,8) (see link with corresponding drawings).
---> For a(16), A344332(16) = 195, then, with the formula, we get a(16) = tau(A344333(16)/A005917(2)) + tau(A344333(16)/A005917(3)) = tau(195/15) + tau(195/65) = tau(13) + tau(3) = 2+2 = 4, and these 4 distinct tilings are:
1) 195 = 13*A344332(1) = 13*15, z_1(195) = 13^2 * z(15) = 169*9 = 1521 and square 195 X 195 can be tiled with z = 1521 squares whose sides (a,b) = (3,4), that is 169 copies of the elementary and primitive square 15 X 15, as above;
2) 195 = 1*A344332(16) = 1*195, z_2(195) = 1^2 * z(195) = 1*9 = 9 and the elementary square 195 X 195 can be tiled with z = 9 squares whose sides (a,b) = (39,52);
3) 195 = 3*A344332(5) = 3*65, z_3(195) = 3^2 * z(65) = 9*25 = 225 [z(65) = A346263(5) = T(5,1) = 25] and square 195 X 195 can be tiled with z = 225 squares whose sides (a,b) = (5,12), that is 9 copies of the elementary and primitive square 65 X 65;
4) 195 = 1*A344332(16) = 1*195, z_4(195) = 1^2 * z(195) = 1*25 = 25 and the elementary square 195 X 195 can be tiled with z = 25 squares whose sides (a,b) = (15,36).
		

References

  • Ivan Yashchenko, Invitation to a Mathematical Festival, pp. 10 and 102, MSRI, Mathematical Circles Library, 2013.

Crossrefs

Programs

  • PARI
    \\ using isok2 from A344332; isok7 is for A005917
    isok7(k) = my(kk= sqrtnint(k\4, 3)+2); vecsearch(vector(kk, i, (i+1)^4 - i^4), k);
    sd(x) = sumdiv(x, d, if (isok7(d), numdiv(x/d)));
    lista(nn) = my(v2 = select(isok2, [1..nn])); apply(sd, v2);

Formula

a(n) = Sum_{(k>=2) & (A005917(k)|A344332(n))} tau(A344332(n)/A005917(k)).

A345286 a(n) is the number of large or small squares that are used to tile primary squares of type 1 (see A344331) whose side length is A345285(n).

Original entry on oeis.org

20, 90, 272, 468, 650, 1280, 1332, 2900, 3600, 2450, 7650, 5760, 4160, 6642, 10388, 810, 16400, 10100, 1088, 25578, 29952, 14762, 27540, 20880, 42048, 50960, 54900, 41600, 28730, 65610, 81920, 90650, 60500, 38612, 98100, 50850, 125712, 85248, 142400, 149940
Offset: 1

Views

Author

Bernard Schott, Jun 13 2021

Keywords

Comments

Notation: s = side of the primary tiled squares, a = side of small squares, b = side of large squares, and z = number of small squares = number of large squares.
Every term is of the form z = (a*b)^2 * (a^2+b^2) = a*b*s with a < b.
Every such primary square is composed of m = a*b * (a^2+b^2) elementary rectangles of length L = a^2+b^2 and width W = a*b, so with an area A = a*b * (a^2+b^2) = m.
This sequence is not increasing: a(10) = 2450 < a(9) = 3600.
If gcd(a, b) = 1, then number of squares z = a*b * (a^2+b^2) is in A344334.
If a = 1 and b = n > 1, then number of squares z = n^2 * (n^2+1) is in A071253 \ {0,2}.
Every term is even.

Examples

			The primary square with side A345285(1) = 10 can be tiled with a(1) = 20 small squares of side a = 1 and 20 large squares of side b = 2.
      ___ ___ _ ___ ___ _
     |   |   |_|   |   |_|
     |___|___|_|___|___|_|
     |   |   |_|   |   |_| with 10 elementary 2 x 5 rectangles
     |___|___|_|___|___|_|
     |   |   |_|   |   |_|              ___ ___ _
     |___|___|_|___|___|_|             |   |   |_|
     |   |   |_|   |   |_|             |___|___|_|
     |___|___|_|___|___|_|
     |   |   |_|   |   |_|
     |___|___|_|___|___|_|
The primary square with side A345285(6) = 160 can be tiled with a(6) = 1280 small squares of side a = 2 and 1280 large squares of side b = 4.
		

References

  • Ivan Yashchenko, Invitation to a Mathematical Festival, pp. 10 and 102, MSRI, Mathematical Circles Library, 2013.

Crossrefs

A345287 a(n) is the number of distinct possible tilings of type 1 for squares with side = A344331(n) and that can be tiled with squares of two different sizes so that the numbers of large or small squares are equal.

Original entry on oeis.org

1, 2, 3, 3, 2, 6, 1, 2, 1, 4, 5, 4, 2, 9, 3, 2, 4, 6, 2, 5, 2, 10, 2, 6, 2, 6, 4, 1, 2, 2, 12, 3, 6, 7, 3, 6, 3, 13, 2, 3, 6, 6, 6, 5, 15, 2, 4, 10, 8, 4, 2, 12, 2, 6, 2, 10, 4, 4, 2, 2, 15, 3, 6, 7, 10, 2, 14, 4, 2, 4, 8, 6, 6, 2, 20, 2, 3, 4, 4, 10, 7, 6, 12, 2, 2, 10, 6
Offset: 1

Views

Author

Bernard Schott, Jun 14 2021

Keywords

Comments

Every side of square of type 1 in A344331 is also the side of an elementary square of type 1. An elementary square of type 1 is the smallest square that can be tiled with squares of two different sides a < b and so that the numbers of small and large squares are equal.
Some notation: s = side of the tiled square, a = side of small squares, b = side of large squares, and z = number of small squares = number of large squares.
a(n) = 1 iff A344331(n) is a term of A344333 that is not a multiple of another term of A344333 (10, 68, 78, 222, ...).
The first side that is a multiple of two primitive sides is 30 = 3*10 = 1*30 (see 2nd example).

Examples

			For a(1), A344331(1) = 10, then, with the formula, we get a(1) = tau(A344331(1)/A344333(1)) = tau(10/10) = tau(1) = 1. This unique corresponding tiling of this square 10 x 10 of type 1 with side s = 10 consists of z = 20 squares whose sides (a,b) = (1,2) (see below).
          ___ ___ _ ___ ___ _
         |   |   |_|   |   |_|
         |___|___|_|___|___|_|
         |   |   |_|   |   |_|
         |___|___|_|___|___|_|
         |   |   |_|   |   |_|
         |___|___|_|___|___|_|
         |   |   |_|   |   |_|
         |___|___|_|___|___|_|
         |   |   |_|   |   |_|
         |___|___|_|___|___|_|
                a(1) = 1
For a(3), A344331(3) = 30, then, with the formula, we get a(3) = tau(A344331(3)/A344333(1)) + tau(A344331(3)/A344333(2)) = tau(30/10) + tau(30/30) = tau(3) + tau(1) = 3. The 3 corresponding tilings of the square 30 x 30 of type 1 with side s = 30 consists of:
-> from 30 = 3*A344333(1) = 3*10, square with side s = 30 can be tiled with z = 180 squares with sides (a,b) = (1,2), indeed with 9 copies of primitive square 10 x 10, as above.
-> from 30 = 1*A344331(3) = 1*30, square with side s = 30 can be tiled with z = 20 squares with sides (a,b) = (3,6), indeed, it is the above square with scale 3.
-> from 30 = 1*A344331(3) = 1*30, square with side s = 30 can also be tiled with z = 90 squares with sides (a,b) = (1,3), indeed that is primitive square 30 x 30 with squares (a,b) = (1,3).
		

References

  • Ivan Yashchenko, Invitation to a Mathematical Festival, pp. 10 and 102, MSRI, Mathematical Circles Library, 2013.

Crossrefs

Programs

  • PARI
    isokp1(s) = {if (!(s % 2) && ispower(s/2, 4), return (0)); my(m = sqrtnint(s, 3)); vecsearch(setbinop((x, y)->x*y*(x^2+y^2), [1..m]), s); }
    isok1(s) = {if (isokp1(s), return (1)); fordiv(s, d, if ((d>1) || (dA344331
    isok3(s) = {if (!(s % 2) && ispower(s/2, 4), return (0)); my(m = sqrtnint(s, 3)); vecsearch(setbinop((x, y)->if (gcd(x,y)==1, x*y*(x^2+y^2), 0), [1..m]), s); } \\ A344333
    sd(x) = sumdiv(x, d, if (isok3(d), numdiv(x/d)));
    lista(nn) = my(v1 = select(isok1, [1..nn])); apply(sd, v1); \\ Michel Marcus, Dec 22 2021

Formula

a(n) = Sum_{(k=1..n) & (A344333(k)|A344331(n))} tau(A344331(n)/A344333(k)).
a(n) = Sum_{(d | A344331(n)) & (d in A344333)} tau(A344331(n)/d) where tau is A000005. - Michel Marcus, Dec 22 2021

Extensions

Corrected and extended by Michel Marcus, Dec 22 2021

A345285 Sides of primary squares of type 1 (A344331). A primary square of type 1 is the smallest square that can be tiled with squares of two different sides a < b, so that the numbers of small and large squares are equal.

Original entry on oeis.org

10, 30, 68, 78, 130, 160, 222, 290, 300, 350, 480, 510, 520, 738, 742, 810, 820, 1010, 1088, 1218, 1248, 1342, 1530, 1740, 1752, 1820, 1830, 2080, 2210, 2430, 2560, 2590, 2750, 2758, 3270, 3390, 3492, 3552, 3560, 3570, 4112, 4290, 4498, 4640, 4770, 4800, 4930, 5508, 5600, 5850, 6028, 6250
Offset: 1

Views

Author

Bernard Schott, Jun 13 2021

Keywords

Comments

Notation: s = side of the primary tiled squares, a = side of small squares, b = side of large squares, and z = number of small squares = number of large squares.
Every term is of the form s = a*b * (a^2+b^2), with 1 <= a < b, and corresponding z = (a*b)^2 * (a^2+b^2) (A345286).
Every such primary square is composed of m = a*b * (a^2+b^2) elementary rectangles of length L = a^2+b^2 and width W = a*b, so with an area A = a*b * (a^2+b^2) = m.
If gcd(a, b) = 1, then primitive sides of square s = a*b * (a^2+b^2) are in A344333 that is a subsequence.
If a = 1 and b = n > 1, then sides of squares s = n * (n^2+1) form the subsequence A034262 \ {0, 1}.
If q is a term and integer r > 1, then q * r^4 is another term.
Every term is even.

Examples

			a(1) = 10 and the primary square 10 X 10 can be tiled with A345286(1) = 20 small squares with side a = 1 and 20 large squares with side b = 2.
      ___ ___ _ ___ ___ _
     |   |   |_|   |   |_|
     |___|___|_|___|___|_|
     |   |   |_|   |   |_|     with 10 elementary 2 X 5 rectangles
     |___|___|_|___|___|_|
     |   |   |_|   |   |_|              ___ ___ _
     |___|___|_|___|___|_|             |   |   |_|
     |   |   |_|   |   |_|             |___|___|_|
     |___|___|_|___|___|_|
     |   |   |_|   |   |_|
     |___|___|_|___|___|_|
a(6) = 160 is the first side of an primary square that is not primitive and it corresponds to (a,b) = (2,4); the square 160 X 160 can be tiled with A345286(6) = 1280 small squares with side a = 2 and 1280 large squares with side b = 4.
		

References

  • Ivan Yashchenko, Invitation to a Mathematical Festival, pp. 10 and 102, MSRI, Mathematical Circles Library, 2013.

Crossrefs

A346265 a(n) is the number of distinct possible tilings of type 1 (A344331) or of type 2 (A344332) for a square whose side is A344330(n).

Original entry on oeis.org

1, 1, 2, 5, 3, 2, 2, 9, 1, 1, 2, 2, 1, 4, 9, 4, 2, 2, 13, 5, 3, 2, 4, 10, 2, 5, 2, 2, 1, 16, 2, 4, 6, 2, 10, 4, 1, 4, 2, 2, 17, 3, 2, 9, 13, 3, 6, 2, 3, 19, 2, 3, 4, 6, 2, 10, 6, 2, 7, 23, 2, 2, 3, 4, 18, 8, 4, 4, 2, 18, 2, 2, 6, 2, 18, 2, 4, 2, 4, 2, 2, 21, 3, 4, 6, 11, 14, 6, 2, 23
Offset: 1

Views

Author

Bernard Schott, Aug 11 2021

Keywords

Comments

These squares with side = A344330(n) can be tiled with squares of two different sizes so that the numbers of large or small squares are equal.
Notation: s = side of the tiled squares, a = side of small squares, b = side of large squares, and z = number of small squares = number of large squares.

Examples

			-> A344330(1) = A344331(1) = 10 and there is no k_2 such that A344330(1) = A344332(k_2) = 10, then a(1) = A345287(1) = 1 (example below of type 1):
   Primitive square 10 X 10 corresponding to a(1) = 1 with
    a = 1, b = 2, s = 10, z = 20:
      ___ ___ _ ___ ___ _
     |   |   |_|   |   |_|
     |___|___|_|___|___|_|
     |   |   |_|   |   |_|
     |___|___|_|___|___|_|
     |   |   |_|   |   |_|
     |___|___|_|___|___|_|
     |   |   |_|   |   |_|
     |___|___|_|___|___|_|
     |   |   |_|   |   |_|
     |___|___|_|___|___|_|
-> A344330(2) = A344332(1) = 15 and there is no k_1 such that A344330(2) = A344331(k_1) = 15, then a(2) = A346264(1) = 1 (example below of type 2):
   Primitive square 15 X 15 corresponding to a(2) = 1 with
     a = 3, b = 4, c = 5, s = 15, z = 9:
        ________ ________ ________ ______
       |        |        |        |      |
       |        |        |        |      |
       |        |        |        |______|
       |_______ |________|________|      |
       |        |        |        |      |
       |        |        |        |______|
       |        |        |        |      |
       |________|________|________|      |
       |        |        |        |______|
       |        |        |        |      |
       |        |        |        |      |
       |_____ __|___ ____|_ ______|______|
       |     |      |      |      |      |
       |     |      |      |      |      |
       |_____|______|______|______|______|
-> A344330(4) = A344331(3) = A344332(2) = 30, then a(4) = A345287(3) + A346264(2) = 3+2 = 5 (see link with the corresponding 5 distinct tilings).
-> A344330(6) = A344332(3) = 45 and there is no k_1 such that A344330(6) = A344331(k_1) = 45, then a(6) = A346264(3) = 2.
		

References

  • Ivan Yashchenko, Invitation to a Mathematical Festival, pp. 10 and 102, MSRI, Mathematical Circles Library, 2013.

Crossrefs

Programs

  • PARI
    \\ isok1 from A344331 and isok2 from A344332
    isok3(s) = {if (!(s % 2) && ispower(s/2, 4), return (0)); my(m = sqrtnint(s, 3)); vecsearch(setbinop((x, y)->if (gcd(x, y)==1, x*y*(x^2+y^2), 0), [1..m]), s); } \\ A344333
    sd7(x) = sumdiv(x, d, if (isok3(d), numdiv(x/d))); \\ A345287
    isok7(k) = my(kk= sqrtnint(k\4, 3)+2); vecsearch(vector(kk, i, (i+1)^4 - i^4), k); \\ A005917
    sd4(x) = sumdiv(x, d, if (isok7(d), numdiv(x/d))); \\ A346264
    lista(nn) = {for (n=1, nn, my(b1 = isok1(n), b2 = isok2(n)); if (b1 || b2, my(x = 0); if (b1, x += sd7(n)); if (b2, x += sd4(n)); print1(x, ", ");););} \\ Michel Marcus, Dec 23 2021

Formula

If A344330(n) = A344331(k_1) and there is no k_2 such that A344330(n) = A344332(k_2) then a(n) = A345287(k_1).
If A344330(n) = A344332(k_2) and there is no k_1 such that A344330(n) = A344331(k_1) then a(n) = A346264(k_2).
If A344330(n) = A344331(k_1) = A344332(k_2) then a(n) = A345287(k_1) + A346264(k_2).

Extensions

a(19),a(59),a(86),a(87) corrected by Bernard Schott, Dec 23 2021
Showing 1-8 of 8 results.