Area, a Continuous Quantity, Comes Out Exactly from Counting Two Kinds of Points ── Interior Points Count 1, Boundary Points 1/2, and Then -1 ── That -1 Is Not the Shape but One Full Turn ── In Three Dimensions the Volume Grows Tenfold While the Point Count Stays at 4 ── [Paper 331]

Abstract

The area of a polygon whose vertices sit on lattice points comes out exactly from counting points. This paper asks why a count can produce a continuous quantity──the answer is that the three terms on the right count three different things. No new mathematical theorem and no new law is claimed. Scope of this paper (scope note): No new mathematical theorem and no new law is claimed──Pick’s theorem of 1899, Reeve’s tetrahedron, the shoelace formula, and the sum of interior angles are all standard. We do not build a theory of lattices──only the integer lattice Z^2 is used; general lattices are not entered. We do not treat Ehrhart polynomials──the general count of lattice points in a k-fold dilate is not entered. It is mentioned and no more. We prove no theorem──what is done here is to show, by actually summing angles, what each of the three terms on the right counts. No proof of Pick’s theorem itself is given. We do not treat regions with holes──only simply connected simple polygons are looked at. We do not treat number theory──where lattice-point counting joins arithmetic is not entered. Relation to earlier papers: Paper 149 showed that what fixes the denominator is not the determinant but the largest invariant factor──there too lattice points are counted, to confirm the volume of a fundamental domain. But 149 measures an index of the lattice itself, while this paper measures the area of a figure placed on it. Paper 316 showed the same integer returning from three different counts──here one continuous quantity is returned by two kinds of count. The pair runs the other way. Paper 205 showed the shortest enclosure is not always a disc──it too asks after the relation of area to boundary. Paper 300 showed whether two things share a root is decidable──by that test the two-dimensional and three-dimensional cases here have distinct roots. Paper 182 showed “the curse of dimensionality” is not one curse──what is lost here as the dimension rises is the existence of the formula itself. What is added is checking five polygons, two of them concave, against exhaustive recounts, deriving the -1 numerically from the sum of interior angles, setting side by side a case where the hypothesis is broken and a case where the formula ceases to exist, and putting the separator on the dimension of the boundary. First, for a concave hexagon A=12.0, B=16, I=5 ── and 5+8-1=12 (Section 2). Second, all five polygons agreed. Including one of area 10 with no interior points and one of area 17.5 with five boundary points (Section 2). Third, this is the core of the paper. The -1 is not the shape; it is one full turn (Section 3). Fourth, move a vertex off the lattice and it breaks. Against a true area of 0.25 the formula returns 0.0 (Section 4). Fifth, no such formula exists in three dimensions. The volume runs from 0.1667 to 1.6667 while the lattice points stay at 4 (Section 4). Sixth, the separator is whether the boundary is one-dimensional or two (Section 5). For a polygon whose vertices are lattice points, area, a continuous quantity, comes out exactly from counting two kinds of points──for a concave hexagon A=12.0000, B=16, I=5, and 5+8-1 is exactly 12. Not one of five polygons of differing shape, two of them concave, missed. And both kinds of count are needed──the convex quadrilateral has only 5 boundary points yet an area of 17.5, and the U-shape has no interior points at all yet an area of 10. Neither count alone gives the area. The three terms on the right are not one thing counted three times──I counts points occupying a whole turn, B/2 points occupying half a turn, and -1 is not a count of points at all but one full turn. Summing the interior angles gives (v-2)pi even for concave polygons, so the vertices contribute v/2-1. The -1 has nothing to do with the shape; it comes from nothing but going once around and returning to the same heading. There are two ways of breaking──move a vertex off the lattice and against a true area of 0.25 the formula returns 0.0; that breaks a hypothesis and is a misuse. But in three dimensions it fails with every hypothesis intact──the tetrahedron (0,0,0),(1,0,0),(0,1,0),(1,1,k) keeps exactly 4 lattice points while its volume runs from 0.1667 to 1.6667. A function whose only input is a point count cannot tell the two apart. The three-dimensional version is not undiscovered; it cannot exist. One thing separates them──whether the points on the boundary can be written as finitely many halves. In two dimensions an edge is a straight line, so every lattice point on it occupies half a turn, always. In three dimensions that constancy is not enough, and volume grows with no point appearing on a face or inside. Paper 182 wrote that “the curse of dimensionality” is not one curse──what is lost here as the dimension rises is neither cost nor accuracy but the existence of the formula itself. One last thing──this theorem is hardly ever used as a way of measuring area. The shoelace formula is faster and demands no hypotheses. What keeps this one alive is not that the answers agree, but that it shows two worlds pointing at the same number. The value is not what is worth having; the equals sign is. On the making of this work: The ideas and content of this work stem from the author's own considerations. Assistance from an AI (a large language model) was used for structuring, English translation, and checking the algebra. Any remaining errors or misinterpretations are solely the author's. Feedback and corrections are sincerely appreciated. ----- 頂点が格子点にある多角形の面積は、点を数えるだけで厳密に出る。本稿が問うのは、なぜ数え上げが連続量を出せるのかである──答は、右辺の三つの項が、それぞれ別のものを数えているからである。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない──ピックの 1899 年の定理、リーヴの四面体、靴紐公式、内角の総和はいずれも標準的である。格子の理論を作らない──使うのは整数格子 Z^2 だけであり、一般の格子には立ち入らない。エルハート多項式を扱わない──多角形を k 倍に膨らませたときの格子点数の一般論には入らない。触れるにとどめる。定理を証明しない──本稿がするのは、右辺の三項がそれぞれ何を数えているかを、角度を実際に足して示すことである。ピックの定理そのものの証明は与えない。穴のある領域を扱わない──単連結な単純多角形だけを見る。数論を扱わない──格子点の数え上げが整数論に接続する側面には入らない。既刊との関係:論文149 は分母を決めるのが行列式ではなく最大不変因子だと示した──そこでも格子点を数えて基本領域の体積を確かめている。ただし 149 が測るのは格子そのものの指数で、本稿が測るのは格子に置かれた図形の面積である。論文316 は同じ整数を三つの別の数え方が返すと示した──本稿では、一つの連続量を二種類の数え上げが返す。向きが逆の対である。論文205 は最も短い囲いがいつも円板とはかぎらないと示した──同じく、面積と境界の関係を問うている。論文300 は同根か別根かは判定できると示した──本稿の二次元と三次元は、その基準で別根である。論文182 は「次元の呪い」が一つの呪いではないと示した──ここでは、次元が上がって失われるのが「公式の存在そのもの」である。加えたのは五つの多角形(凹二つを含む)で総当たりの点の数え直しと突き合わせたこと、右辺の -1 を内角の総和から数で導いたこと、成立条件が破れる例と、次元が上がって公式が消える例を並べたこと、分離子を「境界の次元」に置いたことである。 第一に、凹六角形で A=12.0、B=16、I=5 ── 5+8-1=12(第2節)。 第二に、五つの多角形すべてで一致した。内部点 0 で面積 10 の例と、境界点 5 で面積 17.5 の例を含む(第2節)。 第三に、これが本稿の芯である。「-1」は形ではなく、一周ぶんの回転から出ている(第3節)。 第四に、頂点が格子点を外れると壊れる。真の面積 0.25 に対し、式は 0.0 を返す(第4節)。 第五に、三次元には同じ式が存在しない。体積が 0.1667 から 1.6667 まで動く間、格子点は 4 個のまま動かない(第4節)。 第六に、分離子は「境界が一次元か、二次元か」である(第5節)。 頂点が格子点にある多角形なら、面積という連続量が、二種類の点を数えるだけで厳密に出る──凹六角形で A=12.0000、B=16、I=5 であり、5+8-1 がちょうど 12 になる。形の違う五つ(凹二つを含む)すべてで外れなかった。そして二種類を数えることが要る──凸四角形は境界点が 5 しかないのに面積 17.5、コの字は内部点が 0 なのに面積 10 である。どちらか一方だけでは面積は出ない。右辺の三項は、同じものを三回数えたのではない──I は全周を占める点、B/2 は半周を占める点、そして-1 は点の数ではなく、一周ぶんの回転である。内角の総和を実際に足すと、凹んでいても (v-2)pi になり、頂点の寄与は v/2-1 になる。-1 は多角形の形とは無関係で、一周して元の向きに戻るというそれだけから出ている。壊れ方は二種類ある──頂点を格子点から外すと、真の面積 0.25 に対して式は 0.0 を返す。これは仮定を破ったのだから、使い方の誤りである。ところが三次元では、仮定を守っていても駄目である──四面体 (0,0,0),(1,0,0),(0,1,0),(1,1,k) は、体積が 0.1667 から 1.6667 まで動く間、格子点が 4 個のまま一つも動かない。格子点の数だけを入力とする関数は、この二つを区別できない。三次元版が無いのは、探し方の問題ではなく、存在しえないからである。分けるものは一つ──境界の上の点が、有限個の「半分」で書けるかどうか。二次元では辺が直線なので、その上の点はどれも必ず半周を占め、一定である。三次元ではその一定さが足りず、面の上にも内部にも点が無いまま体積だけが伸びる。論文182 は「次元の呪い」が一つの呪いではないと書いた──ここで次元が上がって失われるのは、計算量でも精度でもなく、公式の存在そのものである。最後に一つ──この定理は、面積を測る道具としてはほとんど使われない。靴紐公式のほうが速く、条件も要らない。それでも残っているのは、答が同じだからではなく、二つの世界が同じ数を指していることを見せるからである。価値があるのは値ではなく、等号のほうである。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。