假设tan3°是有理数,根据倍角公式及和角公式tan6°=2×tan3°/(1-tan²3°),也是有理数tan9°=（tan3°+tan6°）/（1-tan3°tan6°）,也是有理数tan15°=（tan9°+tan6°）/（1-tan9°tan6°）,也是有理数tan30...