別解部分について、@〜Bをあわせて考えてもabcd≧a+b+c+dの等号成立を示せていないと思うのですが、私は何を見落としているのでしょうか。 fp76f19307.tkyc206.ap.nuro.jp (118.241.147.7) Mozilla/5.0 (Windows NT 6.1; Win64; x64; rv:62.0) Gecko/20100101 Firefox/62.0