I am studying the Euler's totient function $\varphi(n)$ and the divisors count function, $\tau(n)$, also named $d(n)$, and recently opened a question (link here) about the following condition:
(1)$\ \forall n\ge3$, if $(\frac{\varphi(n)}{2}+1)\ \mid\ n\ $ then $(\frac{\varphi(n)}{2}+1)\in \Bbb P$
I wanted to do the same exercise, but adding an extra restriction regarding the divisors count function, $\tau(n)$, and I found the following to be true in the interval $[3,29]\cup[31,10^9]$ except for only one isolated counterexample at $n=30$:
(2)$\ \forall n\in [3,29]\cup[31,10^9]$,
if $[(\frac{\varphi(n)}{2}+1)\ \mid\ n]\ \land\ [(\frac{\tau(n)}{2}+1)\ \mid\ n]\ $ then $[(\frac{\varphi(n)}{2}+1)\cdot(\frac{\tau(n)}{2}+1)] = n$
So basically when the condition (1) happens and also the restriction $(\frac{\tau(n)}{2}+1)\mid n$ happens, then both $(\frac{\varphi(n)}{2}+1)$ and $(\frac{\tau(n)}{2}+1)$ are factors of $n$ and if they are multiplied they are exactly $n$.
E.g.:
$n=21\ ,\ (\frac{\varphi(21)}{2}+1)=7 = a\ ,\ (\frac{\tau(21)}{2})+1=3 = b\ ,$ and $a\cdot b = 7\cdot3 = 21$
$n=999993\ ,\ (\frac{\varphi(999993)}{2}+1)=333331 = a\ ,\ (\frac{\tau(999993)}{2})+1=3 = b\ ,$ and $a\cdot b = 333331\cdot3 = 999993$
The only counterexample I found so far is:
$n=30\ ,\ (\frac{\varphi(30)}{2}+1)=5 = a\ ,\ (\frac{\tau(30)}{2})+1=5 = b\ ,$ and $a\cdot b = 5\cdot 5 = 25 \not= 30$
I have been reading about the properties of both the totient and the divisor count functions, but I do not understand why always seems to happen (2), except for $n=30$, so I wanted to share with you these questions:
- Is it trivial? can be obtained by knowing the properties of $\varphi(n)$ and $\tau(n)$?
- Is there another counterexample for $n\gt10^9$?
If somebody could check further would be very appreciated. Any hint or explanation about why (2) happens is very welcomed, thank you!
UPDATE 2015/05/25
Tested up to $10^9$, no counterxamples found apart from $n=30$. Here is the PARI/GP code:
eulerdiv(limitval)={
for (n = 1, limitval,
mytot = (eulerphi(n)/2)+1;
mydiv = (numdiv(n)/2)+1;
if ((n%mytot==0) && (n%mydiv==0),
if((mytot*mydiv)==n,,print("Counterexample: "," ",n," ",mytot," ",mydiv)
)
)
)
}