>>4
tan38=tan2018
tan76 = 2tan38/(1-(tan38)^2)
tan114 = (tan38+tan76)/(1-tan38*tan76)
tan10 = tan190 = (tan76+tan114)/(1-tan76*tan114)
tan20 = 2tan10/(1-(tan10)^2)
tan30 = (tan10+tan20)/(1-tan10*tan20)

もしtan2018が有理数ならこいつらは全部有理数だが
実際はtan30=1/√3は無理数なので矛盾

tan1°が無理数であることを示せ、ってのと同類の問題