おっちゃんが>>42の(1)に証明をつけたら、まず間違いなく

・ より一般的な角度θに対しても cos(θ)∈Q(sin(θ)) が証明できてしまうが、
　 反例となるθが存在する

・ より一般的な実数 x,y に対しても x∈Q(y) が証明できてしまうが、
　 反例となる実数 x,y が存在する

というズタボロな結果になると密かに予想していたが、
やはりそうなったなｗ