Abstract:Let $f(a,b,c,d)=\sqrt{a^2+b^2}+\sqrt{c^2+d^2}-\sqrt{(a+c)^2+(b+d)^2}$, let $(a,b,c,d)$ stand for $a,b,c,d\in\mathbb Z_{\geq 0}$ such that $ad-bc=1$. Define \begin{equation} \label{eq_main} F(s) = \sum_{(a,b,c,d)} f(a,b,c,d)^s. \end{equation} In other words, we consider the sum of the powers of the triangle inequality defects for the lattice parallelograms (in the first quadrant) of area one.
We prove that $F(s)$ converges when $s>1$ and diverges at $s=1/2$. (This papers differs from its published version: Fedor Petrov showed us how to easily prove that $F(s)$ converges for $s>2/3$ and diverges for $s\leq 2/3$, see below.) We also prove $$\sum\limits_{\substack{(a,b,c,d), 1\leq a\leq b, 1\leq c\leq d}} \frac{1}{(a+b)^2(c+d)^2(a+b+c+d)^2} = 1/24,$$ and show a general method to obtain such formulae. The method comes from the consideration of the tropical analogue of the caustic curves, whose moduli give a complete set of continuous invariants on the space of convex domains.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the following aspects:
1. **Define and study the function \(F(s)\)**:
- The paper defines the function \(F(s)\), where \(F(s)=\sum_{(a,b,c,d)} f(a, b, c, d)^s\), and the summation is carried out over non - negative integers \((a, b, c, d)\) satisfying \(ad - bc = 1\).
- The function \(f(a, b, c, d)\) is defined as \(\sqrt{a^{2}+b^{2}}+\sqrt{c^{2}+d^{2}}-\sqrt{(a + c)^{2}+(b + d)^{2}}\), which represents the sum of powers of the triangle inequality defect of a lattice parallelogram with an area of 1 in the first quadrant.
2. **Study the convergence of \(F(s)\)**:
- The paper proves that when \(s>1\), \(F(s)\) converges; when \(s\leqslant\frac{1}{2}\), \(F(s)\) diverges.
- Further, Fedor Petrov provided a method to prove that when \(s>\frac{2}{3}\), \(F(s)\) converges, and when \(s\leqslant\frac{2}{3}\), it diverges.
3. **Study of specific formulas**:
- The paper also proves a specific formula: \[\sum_{(a,b,c,d)}\frac{1}{(a + c)^{2}(b + d)^{2}(a + b + c + d)^{2}}=\frac{1}{3}\]
- where the summation is also carried out over non - negative integers \((a, b, c, d)\) satisfying \(ad - bc = 1\).
4. **Proposal of methodology**:
- The paper proposes a general method to obtain formulas of the above type. These methods are derived from the analogical consideration of caustic curves in tropical geometry, and the moduli space of these curves gives a complete set of continuous invariants on convex domains.
5. **Application of specific examples**:
- The paper shows how to apply the above theory through several specific examples, such as:
- Obtaining the expression of \(\pi\) through the tangent of a circle.
- Studying the properties of the quadratic function \(y = 1-\mu x^{2}\).
- Considering the properties of triangles with irrational slopes.
In conclusion, this paper aims to reveal the connection between tropical geometry and number theory by studying the properties and convergence of the specific function \(F(s)\) as well as related formulas, and to provide a new method to deal with these problems.