Sur les carrés dans certaines suites de Lucas
Soit un entier . Pour et , nous considérons la suite de Lucas . Nous montrons que, pour n’est ni un carré, ni le double, ni le triple d’un carré, ni six fois un carré pour sauf si et .
Soit un entier . Pour et , nous considérons la suite de Lucas . Nous montrons que, pour n’est ni un carré, ni le double, ni le triple d’un carré, ni six fois un carré pour sauf si et .
In this paper we give a much shorter proof for a result of B.M.M de Weger. For this purpose we use the theory of linear forms in complex and -adic elliptic logarithms. To obtain an upper bound for these linear forms we compare the results of Hajdu and Herendi and Rémond and Urfels.
In this paper, we use the generalisation of Mason’s inequality due to Brownawell and Masser (cf. [8]) to prove effective upper bounds for the zeros of a linear recurring sequence defined over a field of functions in one variable. Moreover, we study similar problems in this context as the equation , where is a linear recurring sequence of polynomials and is a fixed polynomial. This problem was studied earlier in [14,15,16,17,32].
We consider the diophantine equation (*) xp - x = yq - y in integers (x, p, y, q). We prove that for given p and q with 2 ≤ p < q, (*) has only finitely many solutions. Assuming the abc-conjecture we can prove that p and q are bounded. In the special case p = 2 and y a prime power we are able to solve (*) completely.
Canonical number systems can be viewed as natural generalizations of radix representations of ordinary integers to algebraic integers. A slightly modified version of an algorithm of and is presented here for the determination of canonical number systems in orders of algebraic number fields. Using this algorithm canonical number systems of some quartic fields are computed.
For define the function
where is the scalar product of the vectors and . If each orbit of ends up at , we call a
Page 1