I've been playing around with an idea about composite numbers and the digits of their factors. I've noticed a certain pattern, and for lack of a better term, I've started calling numbers that exhibit this pattern digit-disjoint." (I haven't found this term used elsewhere, so I think I might be coining it). A number is digit-disjoint if:
- $n$ is odd composite number which is greater than $3$.
- $n$ can represented in at least two $x \times y$ forms where none of $x$ or $y$ is 1
- None of their $x \times y$ representations use any digit from $n$.
For example, the number 81 is digit-disjoint. Its digits are $8$ and $1$. It can be factored as $9 \times 9$ and $3 \times 27$, which none of these use $8$ or $1$.
I stumbled upon this idea while using a small tool I wrote to find factorizations of numbers. I've started exploring it and have found a few examples.
I wrote a program and searched all numbers from $1$ to $50,000,000$ and found some these numbers. I also edited the program to only search numbers only using $4$ and $7$ or $8$ and $1$ digits, allowing to search much bigger numbers. Biggest number found so far was $477,474,774,477$, can represented in $159 \times 3002986003$, $53 \times 9008958009$ and $3 \times 159158258159$.
It seems like these numbers get rarer as they get bigger, but they don't seem to stop.
Every number could represented in $1 \times n$, but the $1$ factor here is ignored.
So, my main question is: are there infinitely many of these numbers, or do they eventually stop?
I'm also curious about their density. Does the proportion of digit-disjoint numbers among all odd composites get closer and closer to zero as the numbers grow? Any thoughts on how to even approach constructing more of them would be amazing.