周長と面積が等しい有理数辺の三角形の組

We study pairs consisting of a rational isosceles triangle and a rational triangle having a prescribed angle $\theta$, with equal perimeter and equal area. Writing $\rho=\cos(\theta)\in\mathbb{Q}$, we obtain a two-parameter description of the solutions and, for fixed $\rho$, a family of curves $C_\rho$ which are generically of genus $2$. We determine the two singular specializations: there is no genuine pair for $\rho=\frac{1}{2}$, while $\rho=\frac{47}{49}$ admits infinitely many genuine pairs. We completely parametrize two natural one-parameter families in which the $\theta$-triangle is isosceles, and prove several density results for values of $\rho$ admitting one or more genuine pairs. For thirty-five explicit values of $\rho$, Chabauty--Coleman computations determine $C_\rho(\mathbb{Q})$ completely and show that the corresponding pair is unique up to homothety. We also study multiplicity when one triangle is fixed; the condition for a scalene $\theta$-triangle to have two isosceles partners leads to an elliptic $K3$ surface and yields a dense set of such values of $\rho$. Finally, we construct infinite families with at least four genuine pairs and exhibit examples carrying at least five, and in two cases at least six, genuine pairs.

66 pages; includes an appendix with code