If n is a positive integer such that ϕ(n)σ(n) = m² for some positive integer m, then m ≤ n. We put m = n-a and we study the positive integers a arising in this way.

In the article the formal characterization of square-free numbers is shown; in this manner the paper is the continuation of [19]. Essentially, we prepared some lemmas for convenient work with numbers (including the proof that the sequence of prime reciprocals diverges [1]) according to [18] which were absent in the Mizar Mathematical Library. Some of them were expressed in terms of clusters’ registrations, enabling automatization machinery available in the Mizar system. Our main result of the article...

Let p be an odd prime and let a be a positive integer. In this paper we investigate the sum $\genfrac{}{}{0pt}{}{{\sum }_{k=0}^{p^a-1}(h{p}^a-1}{\genfrac{}{}{0pt}{}{k\left)\right(2k}{k)/m^k\left(modp²\right)}}$, where h and m are p-adic integers with m ≢ 0 (mod p). For example, we show that if h ≢ 0 (mod p) and $p^a>3$, then $\genfrac{}{}{0pt}{}{{\sum }_{k=0}^{p^a-1}(h{p}^a-1}{\genfrac{}{}{0pt}{}{k\left)\right(2k}{{k)(-h/2)}^k\equiv ((1-2h)/\left(p^a\right))(1+h({(4-2/h)}^{p-1}-1))\left(modp²\right)}}$, where (·/·) denotes the Jacobi symbol. Here is another remarkable congruence: If $p^a>3$ then $\genfrac{}{}{0pt}{}{{\sum }_{k=0}^{p^a-1}(p^a-1}{\genfrac{}{}{0pt}{}{k\left)\right(2k}{{k)(-1)}^k\equiv 3^{p-1}(p^a/3)\left(modp²\right)}}$.

In 2000, Florian Luca proved that F₁₀ = 55 and L₅ = 11 are the largest numbers with only one distinct digit in the Fibonacci and Lucas sequences, respectively. In this paper, we find terms of a linear recurrence sequence with only one block of digits in its expansion in base g ≥ 2. As an application, we generalize Luca's result by finding the Fibonacci and Lucas numbers with only one distinct block of digits of length up to 10 in its decimal expansion.

For a ternary quadratic form over the rational numbers, we characterize the set of rational numbers represented by that form over the rational numbers. Consequently, we reprove the classical fact that any positive definite integral ternary quadratic form must fail to represent infinitely many positive integers over the rational numbers. Our proof uses only the quadratic reciprocity law and the Hasse-Minkowski theorem, and is elementary.

Let ℕ represent the positive integers and ℕ₀ the non-negative integers. If b ∈ ℕ and Γ is a multiplicatively closed subset of ${\mathbb{Z}}_b=\mathbb{Z}/b\mathbb{Z}$, then the set $H_{\Gamma }=x\in \mathbb{N}|x+b\mathbb{Z}\in \Gamma \cup 1$ is a multiplicative submonoid of ℕ known as a congruence monoid. An arithmetical congruence monoid (or ACM) is a congruence monoid where Γ = ā consists of a single element. If $H_{\Gamma }$ is an ACM, then we represent it with the notation M(a,b) = (a + bℕ₀) ∪ 1, where a, b ∈ ℕ and a² ≡ a (mod b). A classical 1954 result of James and Niven implies that the only ACM...