Divisibility of equi-constructible side lengths
Prove that every side length X of an equilateral triangle tileable by congruent copies of an integral-sided triangle (a,b,c) with c^2=a^2+b^2+ab and an angle 2π/3 is divisible by ab.
References
All equi-constructible $X$ are divisible by $ab$.
— Tiling Triangles with $2π/3$ Angles
(2512.22696 - Zhang, 27 Dec 2025) in Conjecture 1, Section 3.1, Equilateral Triangles