This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A110172 #41 Aug 23 2022 09:31:56 %S A110172 3,15,21,39,45,57,69,105,147,165,177,195,213,273,285,315,345,393,399, %T A110172 465,489,525,585,615,633,645,651,681,717,777,807,813,843,855,879,885, %U A110172 903,915,933,939,1005,1035,1041,1065,1095,1149,1263,1281,1293,1317,1395 %N A110172 Conjectured numbers j such that phi(j) + phi(k) = phi(j+k) has no solution k, where phi is Euler's totient function. %C A110172 All k < 10^8 have been checked. All of these numbers are multiples of 3. %C A110172 The observation above is true for every term. Substituting k=j into phi(j) + phi(k) = phi(j+k) gives phi(j) + phi(j) = phi(j+j), i.e., 2*phi(j) = phi(2j), which is true for every positive even number j; thus k=j yields a solution for every positive even number j. Substituting k=2j into phi(j) + phi(k) = phi(j+k) gives phi(j) + phi(2j) = phi(j+2j), i.e., phi(j) + phi(2j) = phi(3j); since phi(j) = phi(2j) for every odd number j, this is equivalent (for odd j) to phi(j) + phi(j) = phi(3j), i.e., 2*phi(j) = phi(3j), which holds for every odd j that is not a multiple of 3; thus, k=2j yields a solution for every odd j that is not a multiple of 3. Consequently, every term of the sequence is an odd multiple of 3. - _Flávio V. Fernandes_, May 10 2022 %Y A110172 Cf. A066426 (least k such that phi(n) + phi(k) = phi(n+k)). %Y A110172 Cf. A306771. %K A110172 nonn %O A110172 1,1 %A A110172 _T. D. Noe_, Jul 15 2005