# Number of solution sets to $\frac{1}{a_1}+\frac{1}{a_2}+\cdots+\frac{1}{a_n}=1,~~a_1,a_2,\ldots,a_n\in\mathbb{N}$

Consider the Diophantine equation $$\frac{1}{a_1}+\frac{1}{a_2}+\cdots+\frac{1}{a_n}=1$$ I'll give you the solutions sets $$(a_1,a_2,\ldots,a_n)$$ for $$n=1$$ up to $$4$$, because beyond $$n=4$$ the number of solutions seem to explode. (These can be found quite easily by considering the smallest value of the $$n$$ variables and seeing just how large/small it can be, and then doing the same for the next smallest variable, and so on.) I will not consider permutations of each set as a separate solution set. \begin{align} n=1:&~~~(1)\\ n=2:&~~~(2,2)\\ n=3:&~~~(3,3,3)~(2,3,6)~(2,4,4)\\ n=4:&~~~(4,4,4,4)~(3,3,4,12)~(3,3,6,6)~(3,4,4,6)~(2,3,7,42)\\&~~~(2,3,8,24) ~(2,3,9,18)~(2,3,10,15)~(2,3,12,12)~(2,4,5,20)\\ &~~~(2,4,6,12)~(2,4,8,8)~(2,5,5,10)~(2,6,6,6) \end{align} Denote by $$a_n$$ the number of solution sets we have for the Diophantine equation above for $$n$$ variables. So we have $$a_n=1,~~a_2=1,~~a_3=3,~~a_4=14$$ (Thanks for the correction @player3236). And I suppose you could include $$a_0=0$$ if you really wanted, although I'm not sure how much sense that makes. My question is:

Is there a formula that tells us the number of solutions sets for the Diophantine equation above? If so, how can I find and prove it?

• You missed $(3,4,4,6)$. See oeis.org/A002966. It has keywords hard, more, which says that we don't know the exact values for $n \ge 9$. Feb 14, 2021 at 12:44
• @player3236 thanks for the correction and link. So it's an unsolved problem in number theory? Feb 14, 2021 at 12:50
• An observation I made: Consider $f(x) = 1/x$, this function has $f''>0$ for $x>0$, then it is clear that by Jensen's inequality: $$f\left(\frac{x_1+x_2+\cdots+x_n}n\right)\leq\frac{f(x_1)+f(x_2)+\cdots+f(x_n)}n$$ or $$\frac{n^2}{x_1 + x_2..+x_n}\leq\frac1{x_1}+\frac1{x_2}+\cdots+\frac1{x_n}=1$$ Then it is clear that: $$n^2 \leq x_1+x_2+\cdots+x_n$$ Suppose we order the the integers, $x_1\leq x_2\leq\cdots\leq x_n$, the above sum must be less than $n\times x_n$: $$n\leq x_n$$ That gives a lower bound on $x_n$. Feb 14, 2021 at 13:07
• @Buraian Isn't that also immediate from the contrapositive? If $x_n<n$ then $x_i<n$ for all $i$ so $\tfrac{1}{x_i}>\tfrac{1}{n}$, and hence $\sum_{i=1}^n\tfrac{1}{x_i}>n\cdot\frac{1}{n}=1$. Feb 14, 2021 at 14:40

The number of solutions are known only for $$n \le 8$$, and a conjecture is given for $$n=9$$.