高木くんがアクセプトされるまで見守るスレ ★9

高木くんがアクセプト ..

445:１３２人目の素数さん
25/05/21 14:12:49.85 OLrQuSbd.net
>>433
>>417で挙げられた「perfect cuboid」の「証明」は >>431が最新だね。

１．背理法の仮定に「aは奇数、b, cは偶数とする」（そこから、矛盾を導こう。）としているんだよね？
つまり背理法の仮定は、その仮定だけですね？

もしそうだとしたら、その先の証明を精読する必要がない。
∵その仮定自体が偽なのはトリビアル。

２．他の可能性のあるパターンを証明し尽くしている？
特に気になるのは「a, b, cのすべてが奇数と仮定」の場合に、触れてもいない様子。

以上、ざっと見た限りのコメント。
（著者ご本人の回答を、期待してもよいでしょうかね。）

次ページ

続きを表示

1を表示