Na verdade ele pertence,certamente, aos irracionais.
A prova é bem simples e através da redução ao absurdo,onde se assume que
![\sqrt[]{10}\in Q \sqrt[]{10}\in Q](/latexrender/pictures/06686342582ad71fa50a2d77cea79b80.png)
e chega a uma contradição,chegando a conclusão de que ele só pode ser irracional:
Se
![\sqrt[]{10}\in Q \sqrt[]{10}\in Q](/latexrender/pictures/06686342582ad71fa50a2d77cea79b80.png)
,então:
Para

e

e mdc(a;b)=1
![\sqrt[]{10}=\frac{a}{b}\Rightarrow {\sqrt[]{10}}^{2}={\frac{a}{b}}^{2}\Rightarrow 10=\frac{{a}^{2}}{{b}^{2}}\Rightarrow \sqrt[]{10}=\frac{a}{b}\Rightarrow {\sqrt[]{10}}^{2}={\frac{a}{b}}^{2}\Rightarrow 10=\frac{{a}^{2}}{{b}^{2}}\Rightarrow](/latexrender/pictures/55356a00c0720f498776303c7898cae3.png)

.Que implica que

é par e multiplo de 5, por consequência

também é par e multiplo de cinco,visto que

e

pertencem aos inteiros e

diferente de zero.Se

é par então pode ser represantado por

,logo:

.Como

é multipo de 5 ,

também é , e como

também é inteiro,

é par que é um absurdo visto que mdc entre

e

é igual a 1.
Espero ter feito uma prova clara e ajudado a esclarecer ,adoraria outras sugestões de prova.
P.S.:Eu sei que é mais fácil com congruência modular.