>>978
sin^2θ+cos^2θ=1から導けるのは
わかるんですが
これってトートロジーじゃないですか?