For any positive integer $k\ge 3$, it is easy to prove that the $k$-polygonal numbers are $a_n\left(k\right)=(2n+n(n-1)(k-2))/2$. The main purpose of this paper is, using the properties of Gauss sums and Dedekind sums, the mean square value theorem of Dirichlet $L$-functions and the analytic methods, to study the computational problem of one kind mean value of Dedekind sums $S(a_n\left(k\right){\overline{a}}_m\left(k\right),p)$ for $k$-polygonal numbers with $1\le m,n\le p-1$, and give an interesting computational formula for it.

Consider two families of hyperelliptic curves (over ℚ), $C^{n,a}:y²=xⁿ+a$ and $C_{n,a}:y²=x(xⁿ+a)$, and their respective Jacobians $J^{n,a}$, $J_{n,a}$. We give a partial characterization of the torsion part of $J^{n,a}\left(\mathbb{Q}\right)$ and $J_{n,a}\left(\mathbb{Q}\right)$. More precisely, we show that the only prime factors of the orders of such groups are 2 and prime divisors of n (we also give upper bounds for the exponents). Moreover, we give a complete description of the torsion part of $J_{8,a}\left(\mathbb{Q}\right)$. Namely, we show that $J_{8,a}{\left(\mathbb{Q}\right)}_{tors}=J_{8,a}\left(\mathbb{Q}\right)\left[2\right]$. In addition, we characterize the torsion parts of $J_{p,a}\left(\mathbb{Q}\right)$, where p is an odd prime, and...