Some Non-Trivial Algebraic(Rational) Number Every problem about algebraic-ness (rational-ness) of numbers that I have seen is in one of the below types:


*

*The number is algebraic(rational) and proving that it is algebraic(rational) is trivial, like proving that $\sqrt{7+\sqrt{2}}$ is algebraic.

*The number is not algebraic, and $\cdots$.


My Question:


*

*Is there any example of an algebraic(rational) number which is not trivial to prove that the number is algebraic(rational)?

 A: Let $E/\mathbb{Q}$ be an elliptic curve, let $\Omega$ be its real period (which is the value of an elliptic integral that's easy to write down using the equation of $E$), and let $L(E,s)$ be the $L$-series of $E$, which we know by Wiles' theorem has an analytic continuation to all of $\mathbb{C}$. Then $L(E,1)/\Omega$ is a rational number, but I'd say that that's not so easy to prove. Even harder, suppose that $E(\mathbb{Q})$ has rank 1, let $P$ be a non-torsion point, and let $\hat h(P)$ be the canonical height of $P$. Then
$$
  \frac{L'(E,1)}{\Omega\cdot\hat h(P)}
$$
is a rational number. In this latter problem, we don't actually know that $\hat h(P)$ is not itself rational (this is unknown for even a single example), but the consensus seems to be that $\hat h(P)$ should be transcendental if it's not zero.
A: Special values of modular functions are algebraic, but this requires the theory of complex multiplication to prove.
A: There are plenty of examples. See, for example this page from google books, which talks about non-trivial proofs of algebraicity of functions. In particular, if a function is algebraic, so are its special values at rational arguments (one example: function is algebraic if its power series has integer coefficients and is meromorphic in a domain of conformal radius $> 1$ - this result is due to Borel and Polya).
A: Algebraic numbers like a^(1/m) + b^(1/n) with a, b  simple digits and m, n coprime non-negative integers greater than three, are numbers whose algebraicity is very difficult, impossible indeed, to be directly proved. Fortunately each term of the sum is obviously algebraic and we know that the sum of two algebraic numbers is algebraic itself. 
