αが有理数のとき
Q(cos(απ))⊂Q(sin(απ)) または
Q(cos(απ))⊃Q(sin(απ)) または
Q(cos(απ))=Q(sin(απ))
が成立する、言い方を変えれば、√(1-sin(απ)^2),√(1-cos(απ)^2)
の少なくとも一つのルートが外れる というのは著しいことであって
ほとんどすべての無理数に対してはこのような包含関係はない
つまり「ほとんどすべての無理数αに対しては上記のルートは両方とも外れない」

練習問題　そのことを示しなさい。