>>649
前にも解きましたが、そのことは気付きませんでした。
wが整数にならないことから矛盾となることが分かりました。

これで、>>583-584で書いた場合分けが必要なくなりました。