REVIEW 3 major objections 4 minor 3 references
Grid dissections of tangential quadrilaterals
T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Every tangential quadrilateral can be dissected into n² tangential quadrilaterals for every n ≥ 2.
desk verdict The construction is genuinely new and the main theorem is almost certainly true, but the paper's surjectivity proof leans on a MAPLE-verified identity it never shows; fix that and it's a solid geometry paper. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the transformation $T$ of equation (11), with parameter $a>1$. It maps horizontal lines $y=c$ to lines through the origin $O(0,0)$ and vertical lines $x=c$ to lines through $P(1,0)$, and it maps every axis-parallel square in the half-plane $x+y>0$ to a tangential quadrilateral. The local condition (1), $f_x^2+g_x^2=f_y^2+g_y^2$, is derived from the Pitot–Steiner characterization and is exactly what forces small squares to have tangential images. The surjectivity of $T$ up to similarity is proved by expressing the half-angle tangents $t_1,\dots,t_4$ of the target quadrilateral in terms of $X=a^x$, $Y=a^y$, $L=a^l$ via system (15), and solving for $X,Y,L$ as the larger roots of the quadratics (16)–(18); the inequalities $XY>1$ and $L>1$ guarantee the preimage square lies in the correct half-plane.
What would settle it
Take valid half-angle tangents $t_1,t_2,t_3,t_4$ satisfying (12) and the inequalities in (14), compute the larger roots $X,Y,L$ of (16)–(18), and check whether the formulas (15) reproduce the original $t_i$ and whether $XY>1$ and $L>1$ hold. A single failure among sampled admissible values would disprove Theorem 6.2 and hence Theorem 3.1; conversely, exhaustive symbolic verification for generic parameters would close the gap.
Extended reading notes
Core claim
The central claim is Theorem 3.1: for any $n\ge 2$ and any tangential quadrilateral $Q$, there exists an $n\times n$ grid dissection of $Q$ into $n^2$ tangential quadrilaterals. The proof is constructive. A map $T$ defined by $u = a^x(a^{2y}-1)/((a^x+a^y)(a^{x+y}-1))$, $v = 2a^{x+y}/((a^x+a^y)(a^{x+y}-1))$ sends each axis-parallel square lying in $x+y>0$ to a tangential quadrilateral, sends horizontal grid lines through the origin and vertical grid lines through $(1,0)$, and satisfies the local condition $f_x^2+g_x^2 = f_y^2+g_y^2$ forced by the Pitot–Steiner theorem. The authors then show that any tangential quadrilateral, after scaling and rotation, is the image under $T$ of such a square, by solving for the preimage in terms of the half-angle tangents of the target quadrilateral. This establishes the main theorem and the corollary that any square dissection transfers topologically to any tangential quadrilateral.
Load-bearing premise
The surjectivity step rests on an algebraic assertion the paper does not display: that the larger roots of quadratics (16), (17), and (18) satisfy the half-angle system (15) and give $XY>1$ and $L>1$; if that assertion failed, the main theorem would not follow.
Editorial extensions
If this is right
- Every tangential quadrilateral has an $n\times n$ grid dissection into $n^2$ tangential quadrilaterals for every $n\ge 2$.
- Any dissection of a square into smaller squares can be transplanted, preserving the combinatorial pattern, to a dissection of any tangential quadrilateral into tangential pieces (Corollary 6.3).
- In any tangential quadrilateral, the incenter, the intersection of the diagonals, and the $2\times2$ center of the grid dissection lie on one line perpendicular to the segment joining the two opposite-side intersection points.
- The four pieces of the $2\times2$ dissection have inradii satisfying $1/r_1+1/r_3=1/r_2+1/r_4$.
- The incenters, the diagonal-intersection points, and the $2\times2$ centers of the $n^2$ pieces each form an $n\times n$ grid-like pattern.
Reading between the lines
- Because $a>1$ is a free parameter, varying it should produce a continuous family of distinct $n\times n$ grid dissections of the same tangential quadrilateral, so the constructed dissection is not unique.
- The same local-condition strategy may apply to other classes of quadrilaterals; the known negative results for cyclic and orthodiagonal quadrilaterals suggest that the corresponding differential condition would be much more restrictive, which would explain those obstructions.
- The surjectivity proof could likely be made fully explicit by interpreting $X,Y,L$ as hyperbolic functions of the half-angle parameters, yielding a closed-form dissection without computer algebra.
- The collinearity of the three centers hints at a projective relation between the incircle and the diagonal grid; looking for analogous alignments in larger grids or in dual dissections may be productive.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that every tangential quadrilateral admits an n×n grid dissection into n² smaller tangential quadrilaterals for every integer n≥2. The strategy is to construct an explicit transformation T from the xy-plane to the uv-plane that maps axes-parallel squares to tangential quadrilaterals, with horizontal lines mapped to lines through O and vertical lines mapped to lines through P; the local Pitot condition is used to derive a PDE whose explicit solution gives T. The authors verify the local tiling property by direct side-length computations, then prove a surjectivity theorem for T to cover an arbitrary tangential quadrilateral. A corollary states that any square dissection transfers topologically, and the paper also proves collinearity of the incenter, diagonal intersection, and 2×2 center, together with a relation among the inradii of the four subtiles.
Significance. If the technical gap noted below is filled, this is a strong and appealing result: it resolves the natural question raised in [1] in the affirmative for all grid sizes, and it does so constructively with explicit formulas. The local-to-global PDE idea is elegant and the use of the Pitot–Steiner characterization is a good fit. The paper also gives machine-checkable side-length computations, a corollary on topological equivalence of dissections, and a novel collinearity statement for tangential-quadrilateral centers. The main missing piece is a human-verifiable algebraic verification in Theorem 6.2, which is essential for surjectivity.
major comments (3)
- [§6.2, proof of Theorem 6.2, equations (15)–(18)] The proof asserts that the larger roots X, Y, L of the quadratics (16), (17), and (18) satisfy the half-angle system (15), and the only support offered is that this is 'a matter of algebraic calculation' checked with MAPLE. This step is load-bearing: it is exactly what upgrades the local tiling construction of Theorem 6.1 to a surjective parametrization of all tangential quadrilaterals, and Theorem 3.1 depends on that surjectivity. If the chosen roots are extraneous for some valid tuple (t1,t2,t3,t4), the main theorem is not proved. Please provide a complete algebraic verification, or a certified symbolic computation (e.g., a reproducible script with explicit reductions), that these roots satisfy (15), including the t3 equation via identity (13).
- [§6.2, identity (13)] Identity (13), namely t1t2 + t1t4 + t2t4 − 1 = cos(∠C'/2)/(cos(∠A'/2)cos(∠B'/2)cos(∠D'/2)), is stated without proof and is used both in the verification that the roots satisfy (15) and in the positivity argument leading to (14). This identity is not obvious and needs a derivation; without it the proof of Theorem 6.2 is incomplete.
- [§6.2, inequalities (14)] The proof needs to justify that the labeling of the tangential quadrilateral can be chosen so that ∠A + ∠B < π and ∠A + ∠D < π, and hence t1t2 < 1 and t1t4 < 1, together with t1t2 + t1t4 + t2t4 − 1 > 0. The opening 'without loss of generality' in Theorem 6.2 covers scaling, rotation, and translation, but not relabeling of the vertices; these inequalities are used to ensure the quadratics (16)–(18) are well-defined and to prove XY > 1, so this point should be made explicit.
minor comments (4)
- [§4, proof of Lemma 4.1] There is a typo in the displayed formula for v_{B'}: 'g(a+ϵ, B)' should be 'g(a+ϵ, b)', and 'obatain' should be 'obtain'.
- [§6.2, equation (21)] In the definition of c, the term 't!' should be 't1'.
- [§5, proof of Theorem 5.1] After choosing X=1, Y=m+√(1+m²), and L=(√(1+p²)+p)(√(1+m²)−m), the proof should state explicitly that the inequalities X>0, Y>0, L>1 hold for the given slopes, so that the earlier variable conventions are respected.
- [§7, proof of Theorem 7.1] The sentence describing the inradius relation for triangles A'SB', B'SC', C'SD', and D'SA' cites [2] as a 'necessary and sufficient condition'; it would be helpful to identify precisely which part of the cited problem/solution establishes this equivalence.
Circularity Check
No significant circularity: all load-bearing constructions are derived and verified from the Pitot-Steiner condition; the MAPLE-checked algebra is a gap, not circularity.
full rationale
The paper's central construction is self-contained. Lemma 4.1 derives the local PDE condition f_x^2 + g_x^2 = f_y^2 + g_y^2 directly from the Pitot-Steiner characterization applied to infinitesimal axes-parallel squares. Sections 5 and 6 solve that PDE and then directly verify, by explicit side-length computation, that every axes-parallel square in the relevant half-plane maps to a tangential quadrilateral. Theorem 6.2 starts from the half-angle tangents t1, t2, t3, t4 of an arbitrary target tangential quadrilateral and solves for the preimage parameters X, Y, L through the quadratics (16)-(18); this is a constructive parametrization of the target from its own angles, not a fitted quantity or an assumed version of the conclusion. The unshown MAPLE verification that the larger roots of (16)-(18) satisfy the half-angle system (15) is an omitted algebraic proof and therefore a rigor/completeness concern, not a circularity concern: the asserted identities are independent algebraic facts about the chosen roots, not restatements of the target theorem. Similarly, identity (13) is stated without derivation, but it is a trigonometric identity used inside the verification, not an assumption of the result being proved. Citation [1] supplies motivation and a previously known 2x2 existence result, but it is not load-bearing for Theorem 3.1; citations [2] and [3] are standard external facts. No step exhibits a definition in terms of the target result, no fitted parameter is relabeled as a prediction, and no load-bearing self-citation chain appears. The derivation is therefore not circular; the main limitations are unshown algebraic identities, which fall under proof completeness, not circularity.
Assumptions & free parameters
assumptions (4)
- standard math Pitot-Steiner characterization: a quadrilateral is tangential iff the sums of opposite sides are equal.
- standard math Half-angle identity for a quadrilateral: if angles sum to 2π and t_i = tan(angle_i/2), then t1+t2+t3+t4 = t1t2t3+t1t2t4+t1t3t4+t2t3t4.
- domain assumption Identity (13): t1t2+t1t4+t2t4-1 = cos(C/2)/(cos(A/2)cos(B/2)cos(D/2)).
- domain assumption For a tangential quadrilateral placed with opposite side intersections at O and P as in Theorem 6.2, the angle sums satisfy ∠A+∠B<π and ∠A+∠D<π.
Cite this review
Pith. "Pith review of Grid dissections of tangential quadrilaterals." pith.science (2026). https://pith.science/paper/DJWOP3BQ
@misc{pith2026190802251,
author = {Pith},
title = {Pith review of: Grid dissections of tangential quadrilaterals},
year = {2026},
howpublished = {\url{https://pith.science/paper/DJWOP3BQ}},
note = {Machine review of arXiv:1908.02251}
}
abstract
For any integer $n\ge 2$, a square can be partitioned into $n^2$ smaller squares via a checkerboard-type dissection. Does there such a class-preserving grid dissection exist for some other types of quadrilaterals? For instance, is it true that a tangential quadrilateral can be partitioned into $n^2$ smaller tangential quadrilaterals using an $n\times n$ grid dissection? We prove that the answer is affirmative for every integer $n\ge 2$.
Figures
Figures from the paper (5 more)
Reference graph
Works this paper leans on
-
[1]
D. Ismailescu and A. Vojdany, Class Preserving Dissections of Convex Quadrilaterals, Fo- rum Geometricorum 9(2009), pp. 195–211
work page 2009
-
[2]
W. C. Wu and P. Simeonov, Problem 10698, American Mathematical Monthly , 105(1998) pp. 995; solution, 107(2000), pp. 657-658
work page 1998
-
[3]
Yiu, Notes on Euclidean Geometry , 1998, manuscript
P. Yiu, Notes on Euclidean Geometry , 1998, manuscript. Available online at www.math.fau.edu/yiu/EuclideanGeometryNotes.pdf. Blair Academy, Blairstown, NJ 07825 E-mail address : choie@blair.edu Mathematics Department, Hofstra University, Hempstead, NY 11549 E-mail address : dan.p.ismailescu@hofstra.edu Canterbury School, New Milford, CT 06776 E-mail addre...
work page 1998
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.