x=−1x=-1x=−1 なら左辺は 222 となり、平方数ではない。x≤−2x\le-2x≤−2 なら 1+2x+22x+11+2^x+2^{2x+1}1+2x+22x+1 は 111 と 222 の間に厳密に入るので、整数 y2y^2y2 にはなれない。したがって x≥0x\ge0x≥0 である。