15/06/21 21:24:33.85 gXzGyawn.net
>>924
これ知ってる。なるほどなあ、と感心した
tanの加法定理
tan(α+β)=(tanα+tanβ)/(1-tanαtanβ)
「tan1゜は有理数」と仮定すると、tan2゜,tan3゜,…を加法定理で求められ、それらは有理数となる(有理数の加減乗除なので)。tan30゜も有理数。
しかし、現実にはtan30゜=1/√3で無理数となり、矛盾する
矛盾が起きたのは仮定が間違っているからであり、「tan1゜は有理数
15/06/21 21:24:33.85 gXzGyawn.net
>>924
これ知ってる。なるほどなあ、と感心した
tanの加法定理
tan(α+β)=(tanα+tanβ)/(1-tanαtanβ)
「tan1゜は有理数」と仮定すると、tan2゜,tan3゜,…を加法定理で求められ、それらは有理数となる(有理数の加減乗除なので)。tan30゜も有理数。
しかし、現実にはtan30゜=1/√3で無理数となり、矛盾する
矛盾が起きたのは仮定が間違っているからであり、「tan1゜は有理数