The Diophantine equations \(P_n^x+P_{n+1}^y=P_m^x\) or \(P_n^y+P_{n+1}^x=P_m^x\) (Q6042183)

From MaRDI portal
scientific article; zbMATH DE number 7686519
Language Label Description Also known as
English
The Diophantine equations \(P_n^x+P_{n+1}^y=P_m^x\) or \(P_n^y+P_{n+1}^x=P_m^x\)
scientific article; zbMATH DE number 7686519

    Statements

    The Diophantine equations \(P_n^x+P_{n+1}^y=P_m^x\) or \(P_n^y+P_{n+1}^x=P_m^x\) (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    16 May 2023
    0 references
    Let \( (P_n)_{n\ge 0} \) be the Pell sequence defined by the binary recurrence relation: \( P_0=0 \), \( P_1=1 \), and \( P_{n+2}=2P_{n+1}+P_n \) for all \( n\ge 0 \). In the paper under review, the authors prove the following theorem, which is the main result in the paper. \textbf{Theorem 1.} The only solution in positive integers \( (n,m,x,y) \) of either the equations \[ P_n^{x}+P_{n+1}^{y}=P_m^{x}\text{ or }P_n^{y}+P_{n+1}^{x}=P_m^{x}, \] is \( (n,m,x,y)=(1,3,1,2) \), for which \( 1+2^2=5=P_3 \). The proof of Theorem 1 follows from a clever combination of techniques in Diophantine number theory, the usual properties of the Pell sequence, Carmichael's theorem on primitive divisors for Lucas sequences, Baker's theory for nonzero lower bounds for linear forms in logarithms of algebraic numbers, both complex and \(p\)-adic, reduction techniques involving the theory of continued fractions, as well as the LLL algorithm. All computations are done with the aid of a computer program in \texttt{Mathematica}.
    0 references
    Pell numbers
    0 references
    linear form in logarithms
    0 references
    reduction method
    0 references

    Identifiers