- 280 名前：１３２人目の素数さん mailto:sage [2012/07/17(火) 20:57:53.28 ]
- >>273です。
まさに>>277の言うとおりです。
>>278の疑問ではありません。
また、背理法がなにかはわかっているつもりです。
>>267（これは私ではありません） には
＞ 方程式x/2−y/3=1/4を満たす整数x,yは存在しないことを、背理法で表せることを証明せよ。
とあります。
つまり これは 背理法を使って証明する問題ではなく、背理法で証明できることを証明する問題でありましょう。
それに対し、>>268氏はいとも簡単に「普通に証明できる」と答えています。
証明できることを証明するには、もちろん実際に証明してみせればよいことは理解できますが
実際に証明をしてみせることなく証明することがが可能なものなのでしょうか？
可能だとしたらどのように？
