OFFSET
3,1
COMMENTS
A trapezoid whose base angles are 60 degrees with larger base b and legs s is denoted by {b X s} here. The regular hexagon is drawn in an equilateral triangular grid and the area of the trapezoid {b X s} is s*(2*b-s) in unit equilateral triangles.
Let the difference between the largest and smallest area of the trapezoids be called the defect. Then a(n) is the minimum defect.
Partitioning of a regular hexagon is done as follows:
Regular hexagon ABCDEF is cut along FC into two identical trapezoids.
Category X (1): Each of the trapezoids is cut parallel to FC into two trapezoids.
Category X (2): Only one of the trapezoids is cut parallel to FC into three trapezoids.
Category Y: Upper trapezoid is cut along PQ parallel to CD in order to form a trapezoid FPQE and a parallelogram PCDQ, where P,Q are points on FC,DE respectively. Finally the parallelogram is cut along MN parallel to BC forming two trapezoids PCNM and MNDQ, where M, N are points on PQ, CD respectively.
LINKS
Janaka Rodrigo, Python Code for Minimum Defects
EXAMPLE
For n = 4, there are 7 sets of trapezoids:
{{6 X 1}, {8 X 2}, {8 X 4}, {5 X 1}} with defect = 48-9 = 39,
{{7 X 1}, {8 X 1}, {6 X 2}, {8 X 4}} with defect = 48-13 = 35,
{{8 X 1}, {6 X 2}, {8 X 2}, {7 X 3}} with defect = 33-15 = 18,
{{8 X 1}, {7 X 2}, {8 X 4}, {5 X 1}} with defect = 48-9 = 39,
{{8 X 1}, {7 X 3}, {8 X 3}, {5 X 1}} with defect = 39-9 = 30,
{{6 X 2}, {8 X 2}, {8 X 3}, {5 X 1}} with defect = 39-9 = 30,
{{2 X 1}, {7 X 4}, {8 X 4}, {3 X 1}} with defect = 48-3 = 45.
Therefore a(4) = 18, since this is the minimum defect.
From Hugo Pfoertner, Nov 18 2025: (Start)
a(3) = 13 = 20 - 7:
*---*---*---*
/ 7 \
*---*---*---*---*
/ \
* 20 *
/ \
*---*---*---*---*---*---*
\ 11 /
*---*---*---*---*---*
\ /
* 16 *
\ /
*---*---*---*
a(4) = 18 = 33 - 15:
*---*---*---*---*
/ \
* *
/ 33 \
* *
/ \
*---*---*---*---*---*---*---*
/ 15 \
*---*---*---*---*---*---*---*---*
\ /
* 28 *
\ /
*---*---*---*---*---*---*
\ /
* 20 *
\ /
*---*---*---*---* (End)
CROSSREFS
KEYWORD
nonn
AUTHOR
Janaka Rodrigo, Nov 17 2025
STATUS
approved
