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.

A300567 Numbers z such that z^7 = x^5 + y^6 for some integers x, y >= 1.

Original entry on oeis.org

8192, 7593750, 8605184
Offset: 1

Views

Author

M. F. Hasler, Apr 16 2018

Keywords

Comments

Also in the sequence: 72900000 = 2^5*3^6*5^5, 51018336 = 2^5*3^13, 6083264512 = 2^14*13^5, 916132832 = 2^5*31^5, 6530347008 = 2^12*3^13, 16307453952 = 2^26*3^5, 233861123808 = 2^5*3^9*13^5, 850305600000 = 2^9*3^12*5^5.
Consider a solution (x,y,z) of x^5 + y^6 = z^7. For any m, (x*m^42, y*m^35, z*m^30) is also a solution. Reciprocally, if (x/m^42, y/m^35, z/m^30) is a triple of integers for some m, then this is also a solution. We call primitive a solution for which there is no such m > 1.
When S = a^5 + b^12/4 is a square, then z = b^6/2 + sqrt(S) is a solution, with x = a*z and y = b*z. All known solutions are of this form. Sequence A303267 lists the y-values, thus equal to b*z where z = a(n), with corresponding x = a*z = (a(n)^7 - A303267(n)^6)^(1/5).

Examples

			a(1) = 8192 = 2^13 is in the sequence because (2^13)^7 = (2^18)^5 + (2^15)^6, using 18*5 = 15*6 = 90 = 13*7 - 1 and 1 + 1 = 2.
		

Crossrefs

Cf. A300564 (z^4 = x^2 + y^3) and A242183, A300565 (z^5 = x^3 + y^4), A300566 (z^6 = x^4 + y^5), A302174.
See A303267 for the y-values.
Cf. A303375 (numbers of the form a^5 + b^6).

Programs

  • PARI
    is(z)=for(y=1,sqrtnint(-1+z=z^7,6),ispower(z-y^6,5)&&return(y))
    /* Code below for illustration only, not guaranteed to give a complete list. */
    S=[]; N=1e5; forstep(b=1,99,1/6, forstep(a=1,N,1/6, issquare(b^12/4+a^5,&r)&& !frac(z=b^6/2+r)&& S=setunion(S,[z])); print1([b])); S
    
  • Python
    # See Hayden link. This code is built to identify valid z values based on specific conjectures outlined in the file.

A303268 Least y for which x^6 + y^7 = A300568(n)^8 for some x > 1.

Original entry on oeis.org

573308928, 664301250000, 699840000000
Offset: 1

Views

Author

M. F. Hasler, May 04 2018

Keywords

Comments

The values listed here are the y-values corresponding to the z-values listed in A300568. The x-values are then readily computed as (z^8 - y^7)^(1/6).
See the main entry A300567 for all further information.

Examples

			A300568(1) = 47775744 is the smallest z such that z^8 = x^6 + y^7 for some x, y > 1, and the smallest such y is a(1) = 12*z = 573308928. It then follows that x = (47775744^8 - 573308928^7)^(1/6) = 13759414272 = 288*z.
A300568(2) = 22143375000 is the second smallest z such that z^8 = x^6 + y^7 for some x, y > 1, and the smallest corresponding y is a(2) = 30*z = 664301250000. It then follows that x = (22143375000^8 - 664301250000^7)^(1/6) = 29893556250000 = 1350*z.
Similarly, a(3) = 30*A300568(2) = 699840000000 is the smallest y for which x = (A300568(3)^8 - y^7)^(1/6) is an integer, here x = 1800*A300568(3) = 60*a(3).
		

Crossrefs

Showing 1-2 of 2 results.