Worked Example 5 — Lattice Polygon (Pick's Theorem Connection)
Find the area of the polygon with vertices , , , , .
Solution (Shoelace):
List vertices in order and apply the formula:
| 1 | 0 | 0 | ||
| 2 | 5 | 0 | ||
| 3 | 4 | 3 | ||
| 4 | 2 | 4 | ||
| 5 | 0 | 2 |
Worked Example 6 — Area Expressed Algebraically
A triangle has vertices , , . Show that its area is .
Solution: Directly apply Shoelace with , , :
This is exactly , confirming the determinant interpretation.
7. Pick's Theorem (Companion Result)
For a polygon whose vertices lie on lattice points (integer coordinates):
where = number of interior lattice points and = number of boundary lattice points.
Pick's theorem and the Shoelace formula are complementary tools:
- Use Shoelace when you know the coordinates and want the area.
- Use Pick's when you can count lattice points and want the area (or vice versa).
AMC Tip: On problems asking for the number of lattice points inside a polygon, combine Pick's with Shoelace to find .
Boundary point count: The number of lattice points on segment from to (including endpoints) is . So for a polygon is:
8. Common Competition Techniques
8.1 Subtract Areas
For a polygon inside a larger region , compute . This avoids Shoelace on a complex polygon by using a simpler bounding shape.
8.2 Translate to Simplify
If all vertices share a large common coordinate, translate so one vertex is at the origin. For example, vertices , , become , , — much easier to compute with.
8.3 Decompose Complex Polygons
Divide a non-convex or complex polygon into triangles or quadrilaterals, compute each area with Shoelace, and sum. This is especially clean when one vertex is shared by all sub-triangles (fan decomposition).
8.4 Shoelace on Curves (AMC 2004 Style)
When vertices lie on a curve (like or ), apply Shoelace with coordinates expressed in terms of a parameter, then simplify algebraically. Logarithm and exponent rules often cause massive cancellation (as in Worked Example 4).
8.5 Area Ratios via Shoelace
If triangle has area and point (with ) is inside it, then , , . These are the barycentric coordinates of — they equal the ratio of the sub-triangle areas to the whole.
9. Strategy Checklist
Before applying Shoelace:
- List vertices in a consistent rotational order (all CW or all CCW). Jumping around gives wrong answers.
- Check that the polygon is simple (no self-intersections). If it self-intersects, Shoelace gives a net signed area, not the total enclosed area.
- Consider translating a vertex to the origin if coordinates are large.
During computation:
- Compute and separately, then subtract.
- Remember to "wrap around": the last pair uses and .
- Keep a table for polygons with 4+ vertices to avoid arithmetic errors.
After computing:
- Apply the absolute value — sign depends only on the orientation chosen.
- Cross-check with a decomposition into triangles when possible.
- For lattice polygons, verify with Pick's theorem if and are easy to count.
10. Common Pitfalls
- Wrong vertex order. Listing vertices out of rotational order (e.g., skipping across the polygon) is the most common error. Always draw the polygon first.
- Forgetting the . The Shoelace sum gives twice the area.
- Forgetting to wrap around. The last term pairs the final vertex back with the first vertex.
- Self-intersecting polygons. Shoelace gives a net signed area. For a self-intersecting polygon (like a star polygon), the formula does not give the total enclosed area.
- Confusing CW vs. CCW. Both work — just take the absolute value. Only matters if you need the signed area.
- Pick's theorem on non-lattice polygons. Pick's theorem requires all vertices to be lattice points. Shoelace has no such restriction.
Practice Problems
Foundational
Find the area of the triangle with vertices , , .
A quadrilateral has vertices , , , . Find its area.
Three points , , are given. Without using the distance formula, determine whether they are collinear. If not, find .
A lattice triangle has vertices at , , . Use both Shoelace and Pick's Theorem to find its area, and verify they agree.
Intermediate
A polygon has vertices , , , , . Find its area using the Shoelace formula.
(Centroid Area) Triangle has , , . Let be the centroid. Find using Shoelace, and verify it equals .
Points , , are the midpoints of sides , , of triangle with , , . Find and verify it equals .
A quadrilateral has , , , with . Express its area using the Shoelace formula and simplify.
AMC/AIME Level
(AMC Style) The vertices of a triangle are at , , and for positive integer . A lattice point is chosen uniformly at random from the interior. Using Pick's Theorem, find the probability that the point is within distance of the hypotenuse.
(Shoelace on a Curve) The vertices of a triangle lie on the parabola , with -coordinates , , . Show that the area of the triangle is .
(AMC 2004 #16 Extension) Suppose instead the vertices lie on with consecutive integer -coordinates . Find the area of the resulting quadrilateral as a function of , and find such that the area equals .
(AIME Style) Let be the polygon with vertices at all lattice points with . Compute the area of using the Shoelace theorem applied to its boundary vertices listed in order.
(Area Ratio) In with , , , cevian is drawn where divides in ratio . Find using Shoelace, and verify Ceva's theorem.
Answer Key (Selected)
Problem 1: .
Problem 3: Slope , slope . Not equal, so not collinear. .
Problem 10: Place vertices at , , . Apply Shoelace:
Factor out — this is a standard symmetric function identity:
Problem 11: Vertices , , , . By the result of Problem 10 and Shoelace on a quadrilateral, the area works out to where indices are chosen carefully — a good exercise in applying Shoelace systematically. Setting equal to gives .
Problem 12: The vertices of form a regular octagon (actually a square rotated 45°) with vertices , , , etc. Actually is a square with vertices — a square of diagonal , area .
| Status | Source | Problem Name | Difficulty | Tags | ||
|---|---|---|---|---|---|---|
| Harvard-MIT Mathematics Tournament | Hard | Show TagsCartesian coordinates, Pick's theorem, Vectors | ||||
| HMMT February 2016 | Hard | Show TagsCartesian coordinates, Constructions and loci, Pick's theorem | ||||
| HMMT February | Hard | Show TagsCartesian coordinates, Greatest common divisors (gcd), Pick's theorem, Quadrilaterals | ||||
| HMMT February | Hard | Show TagsCartesian coordinates, Homothety, Pick's theorem, Rotation | ||||
| HMMT November 2023 | Hard | Show TagsGreatest common divisors (gcd), Pick's theorem | ||||
| Bay Area Mathematical Olympiad | Hard | Show TagsDeterminants, Modular Arithmetic, Pick's theorem, Triangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circle, Vectors | ||||
| Berkeley Math Circle | Hard | Show TagsCartesian coordinates, Optimization in geometry, Triangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circle | ||||
| MathNet | Hard | Show TagsCartesian coordinates, Homothety | ||||
| Berkeley Math Circle | Hard | Show TagsCartesian coordinates, Distance chasing, Homothety | ||||
| Berkeley Math Circle Monthly Contest 6 | Hard | Show TagsCartesian coordinates, Constructions and loci | ||||
| Berkeley Math Circle | Hard | Show TagsCartesian coordinates, Quadrilaterals, Rotation | ||||
| Berkeley Math Circle: Monthly Contest 6 | Hard | Show TagsCartesian coordinates, Constructions and loci, Radical axis theorem | ||||
| MathNet | Hard | Show TagsCartesian coordinates, Homothety, Isogonal/isotomic conjugates, barycentric coordinates, Triangles | ||||
| Berkeley Math Circle Monthly Contest 4 | Hard | Show TagsCartesian coordinates, Recurrence relations, Recursion, bijection | ||||
| MathNet | Hard | Show TagsCartesian coordinates, Optimization in geometry | ||||
| Berkeley Math Circle Monthly Contest 6 | Hard | Show TagsCartesian coordinates, Triangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circle, Vectors | ||||
| Berkeley Math Circle: Monthly Contest 1 | Hard | Show TagsCartesian coordinates, Optimization in geometry, Quadratic functions, Triangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circle | ||||
| HMMT | Hard | Show TagsCartesian coordinates, Constructions and loci, Linear and quadratic inequalities, Quadratic functions | ||||
| HMMT | Hard | Show TagsCartesian coordinates, Quadratic functions, Trigonometry | ||||
Module Progress:
Join the Discord Community!
Stuck on a problem, or don't understand a module? Join the Discord and get help with your doubts while making more math friends.
