Let l=lcm(m,n) and write n=l/u,m=l/v. Then
α1/n=(αu)1/l,β1/m=(βv)1/l.
Note that αu and βv are also rationals. Thus it is sufficient to consider the case n=m. Let us write a=α1/n, b=β1/m and c=a+b. We are given that c is rational.
Lemma 1: Let a,b be real numbers such that a+b=c is a rational number. Let f(x) and g(x) be the irreducible polynomials of a and b over Q. Then deg(f(x))=deg(g(x)).
Proof of Lemma 1: Let p=deg(f(x)) and q=deg(g(x)). Then
f(x)=xp+ap−1xp−1+⋯+a0,g(x)=xq+bq−1xq−1+⋯+b0
and these are polynomials with rational coefficients. Since f(a)=0, we have f(c−b)=0. Thus b satisfies the polynomial f(c−x) over Q. Since g(x) is the irreducible polynomial of b over Q, it follows that g(x) divides f(c−x). Hence q≤p. Similarly we show that p≤q and we obtain p=q.
We prove the result by induction on n. If n=1, then α,β are rational by the given condition. If n=2, then
α1/2−β1/2=α1/2−β1/2α−β
which shows that α1/2−β1/2 is also rational. Combined with the given condition that α1/2+β1/2 is rational, it follows that each of α1/2,β1/2 is rational.
Suppose the result is true for k=0,1,2,…,n−1. Let f(x) be the irreducible polynomial of a=α1/n over Q and g(x) be that of b=β1/n over Q. Then the lemma 1 shows that deg(f(x))=deg(g(x))=m, say. But we know that a is a root of xn−α=0, b is a root of xn−β=0 and b=c−a. Thus (c−a)n=bn=β. Hence (a−c)n=(−1)nβ. This shows that a is a root of (x−c)n−(−1)nβ=0. This is a polynomial with rational coefficients. Thus a is a root of
h(x)=(x−c)n−(−1)nβ−(xn−α).
Now deg(h(x))=n−1, it follows that deg(f(x))≤n−1. Thus we have m≤n−1<n. Let ω be a primitive n-th root of unity. Then
xn−α=j=0∏n−1(x−aωj).
Since f(x) is the irreducible polynomial of a over Q, and a is a root of xn−α, we see that f(x) divides xn−α. Hence xn−α=f(x)q(x) for some rational polynomial q(x). Now the factors of f(x) are all of the form (x−aωj). Hence the constant coefficient of f(x) which is a rational number must be of the form ±am, where m=deg(f(x)). Since m<n, we see that am∈Q for some m<n. Similarly, we see that bm is also in Q. Since m<n, induction hypothesis shows that a,b are also in Q. This completes the proof.