ピックの定理

とあるブログ で「ピックの定理」なるものを知る。 二次元の格子点上に頂点を持つ(単純)多角形の面積は、 内部に含まれる格子点の数、 プラス、辺上の格子点の数の半分、マイナス 1 に等しい。 綺麗な結果だし、いかにもうまい証明がありそう。 三角形の時にだけ示すのは、 暇つぶしに丁度良いくらいのパズルかも。 私なら長方形で囲んじゃうかなあ。