Abstract:This note proves two theorems regarding Fermat-type equation $x^r + y^r = dz^p$ where $r \geq 5$ is a prime. Our main result shows that, for infinitely many integers~$d$, the previous equation has no non-trivial primitive solutions such that $2 \mid x+y$ or $r \mid x+y$, for a set of exponents $p$ of positive density. We use the modular method with a symplectic argument to prove this result.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the existence of solutions to Fermat - type equations of the form \(x^r + y^r = dz^p\). Specifically, the author is concerned with the fact that when \(r\geq5\) is a prime number, for infinitely many integers \(d\), the equation has no non - trivial primitive solutions under certain conditions.
### Main problem description
1. **Equation form**:
\[
x^r + y^r = dz^p
\]
where \(r\) and \(p\) are prime numbers greater than 3, \(d\) is an odd positive integer and not an \(r\)-th power, and \(r\nmid d\).
2. **Definition of solutions**:
- A solution \((a, b, c)\) is called a **primitive solution** if \(\gcd(a, b, c)=1\).
- A solution is called **non - trivial** if \(abc\neq0\).
3. **Research objectives**:
- Prove that for infinitely many integers \(d\), the above equation has no non - trivial primitive solutions under specific conditions (such as \(2\mid a + b\) or \(r\mid a + b\)).
- Use the modular method and symplectic argument to prove this result.
### Key conditions
- **2 - adic and r - adic conditions**: These conditions naturally occur in the study of Fermat - type equations. In particular, \(r\mid a + b\) is equivalent to \(r\mid c\), which is similar to what Darmon calls the first - class solutions.
### Main theorems
- **Theorem 1.2**: For a set of prime exponents \(p\) with positive density, the equation \(x^r + y^r = dz^p\) has no non - trivial primitive solutions satisfying \(2\mid a + b\) or \(r\mid a + b\).
- **Theorem 1.3**: For sufficiently large prime exponents \(p\equiv\pm1\pmod{r}\), the equation \(x^r + y^r = dz^p\) has no non - trivial primitive solutions satisfying \(p\mid a + b\).
### Methods
- **Modular method**: Construct Frey curves and use modular representation theory to derive contradictions.
- **Symplectic argument**: Combine with the modular method and use symplectic criteria to further restrict the existence of solutions.
### Conclusion
By combining the modular method and symplectic argument, this paper successfully proves that under specific conditions, Fermat - type equations of the form \(x^r + y^r = dz^p\) have no non - trivial primitive solutions for infinitely many integers \(d\) and a set of prime exponents \(p\) with positive density. This result is of great significance for understanding the solution structure of Fermat - type equations.