✨ ベストアンサー ✨
2枚目の画像のグラフの網目部分を満たすy座標は、
0 ≦ y ≦ (k^p)/2 です。(k=0, 1, ・・・, 2n)
(k^p)/2 が整数になるかどうか(転じて、y座標が (k^p)/2 である点が格子点かどうか)は、k の値の偶奇によって決まります。
① k が偶数の時、k^p は偶数となるので、(k^p)/2 は必ず整数となり、y座標が (k^p)/2 である点は格子点となります。
② k が奇数の時、k^p は奇数となるので、(k^p)/2 は整数とならず、y座標が (k^p)/2 である点は格子点とはなりません。
納得しました。ありがとうございます😊