Classify two-dimensional figures in a hierarchy based on their properties and use the hierarchy to decide which properties a figure inherits

Learning goal: Classify two-dimensional figures in a hierarchy based on properties, so that each category is defined by a property, each subcategory inherits every property of the categories above it, and a specific figure given by coordinates can be placed at the most specific level it satisfies.

What a hierarchy is. A hierarchy is an arrangement of categories in which some are contained in others. In geometry the containment comes from definitions: a category lower down is defined by adding a property to the category above it. Because a lower category satisfies the definition of every category above it, it inherits every theorem proved about those categories. That is the practical value: once "the diagonals of a parallelogram bisect each other" is proved, it holds for rectangles, rhombuses and squares without new proofs, because each of those is a parallelogram.

The quadrilateral hierarchy. Start with polygons: closed figures made of segments meeting only at endpoints. Quadrilaterals are polygons with four sides. Below quadrilaterals sit two branches. On one branch, a trapezoid is a quadrilateral with at least one pair of parallel sides; this course uses that inclusive definition, and some books use the exclusive one, "exactly one pair", so always state which definition you use, because it changes whether a parallelogram is a trapezoid. A parallelogram is a quadrilateral with two pairs of parallel sides, so under the inclusive definition every parallelogram is a trapezoid. A rectangle is a parallelogram with four right angles. A rhombus is a parallelogram with four congruent sides. A square is a parallelogram that is both a rectangle and a rhombus: four right angles and four congruent sides. On the other branch, a kite is a quadrilateral with two pairs of congruent adjacent sides, no side belonging to both pairs. This course uses that inclusive definition, as it does for trapezoids. A rhombus ABCD has AB = BC and CD = DA, so every rhombus, and therefore every square, is also a kite, and the rhombus sits below both the parallelogram and the kite. Books that keep kites and rhombuses apart add that the two pairs have different lengths; as with trapezoids, state which definition you use. An isosceles trapezoid is a trapezoid with a pair of parallel sides (the bases) whose two angles at each base are congruent; under the inclusive definition a rectangle qualifies, but a parallelogram with no right angle does not. Defining it by congruent legs alone would admit every parallelogram, whose opposite sides are congruent, so a trapezoid that is not a parallelogram and has congruent legs is isosceles, while a parallelogram needs the base-angle test.

Inherited properties. Reading down the hierarchy: a parallelogram has congruent opposite sides, congruent opposite angles, supplementary consecutive angles, and diagonals that bisect each other. A rectangle inherits all of those and adds four right angles and congruent diagonals. A rhombus inherits all the parallelogram properties and adds four congruent sides, perpendicular diagonals, and diagonals that bisect its angles. A square inherits everything from both rectangle and rhombus. Reading up the hierarchy is the error to avoid: a property of squares, such as perpendicular diagonals, does not belong to all rectangles.

Placing a figure from coordinates. To classify a quadrilateral given by its vertices, compute what the definitions ask for: slopes for parallel sides, lengths for congruent sides, slope products for right angles, and diagonal lengths and midpoints when a rectangle or rhombus is in question. Then place the figure at the most specific category it satisfies. A worked model: A(0, 0), B(3, 4), C(−1, 7), D(−4, 3). Sides: AB = √(9 + 16) = 5; BC = √(16 + 9) = 5; CD = √(9 + 16) = 5; DA = √(16 + 9) = 5. Four congruent sides. Slopes: AB has slope 4/3 and DC, from (−4, 3) to (−1, 7), has slope 4/3, parallel; BC has slope 3 ÷ (−4) = −3/4 and AD, from (0, 0) to (−4, 3), has slope −3/4, parallel. So it is a parallelogram, and with four congruent sides, a rhombus. Right angle? The product of the slopes of AB and BC is (4/3)(−3/4) = −1, so the angle at B is 90°, and in a parallelogram one right angle forces all four (consecutive angles are supplementary, opposite angles congruent). So it is a rectangle too, hence a square. Confirm with diagonals: AC = √(1 + 49) = √50 and BD = √(49 + 1) = √50, congruent, as a rectangle requires. The most specific classification is square; it is also a rhombus, a rectangle, a parallelogram, a trapezoid (inclusive definition), a quadrilateral and a polygon.

Three more placements. E(0, 0), F(4, 0), G(5, 3), H(1, 3): EF and HG are horizontal, FG and EH both have slope 3, so it is a parallelogram; sides 4, √10, 4, √10 are not all congruent, so not a rhombus; slopes 0 and 3 have product 0, not −1, so no right angle, not a rectangle. Most specific: parallelogram. Next, K(0, 0), L(3, 2), M(0, 6), N(−3, 2): KL = √13, LM = √(9 + 16) = 5, MN = 5, NK = √13; two pairs of congruent adjacent sides, so a kite; KL has slope 2/3 and NM has slope 4/3, not parallel, so not a parallelogram. Finally P(0, 0), Q(8, 0), R(6, 3), S(2, 3): PQ and SR are horizontal, so parallel; QR has slope −3/2 and PS has slope 3/2, not parallel; legs QR and PS both have length √13. Most specific: isosceles trapezoid.

Triangles in the hierarchy. Triangles are classified two ways at once. By sides: scalene (no congruent sides), isosceles (at least two congruent sides), equilateral (three congruent sides), so every equilateral triangle is isosceles and inherits the base-angle theorem for every pair of sides, which is why all its angles are 60°. By angles: acute, right, obtuse, which are mutually exclusive because the angle sum is 180°. A triangle has one label from each system, for instance "isosceles right".

The misconception. Students commonly say a square is not a rectangle because "a rectangle is longer than it is wide". The definition of a rectangle is four right angles; nothing in it forbids congruent sides, so a square is a rectangle. Everyday usage sorts shapes into disjoint bins, while a hierarchy nests them. When a problem says "a rectangle", a square is allowed unless the problem excludes it; when a theorem is proved for rectangles, it is proved for squares too.

Worked, most specific classification: T(1, 1), U(5, 4), V(2, 8), W(−2, 5). Sides: TU = √(16 + 9) = 5; UV = √(9 + 16) = 5; VW = √(16 + 9) = 5; WT = √(9 + 16) = 5. Slopes: TU is 3/4, WV from (−2, 5) to (2, 8) is 3/4, parallel; UV is 4 ÷ (−3) = −4/3, TW from (1, 1) to (−2, 5) is 4 ÷ (−3) = −4/3, parallel. Parallelogram with four congruent sides: a rhombus. Slope product (3/4)(−4/3) = −1, so the angle at U is a right angle and the figure is also a rectangle. Rectangle and rhombus: square. Diagonals: TV = √(1 + 49) = √50 and UW = √(49 + 1) = √50, congruent and, since their slopes are 7 and −1/7, perpendicular, as a square requires.

Worked, a rectangle that is not a square: J(0, 0), K(6, 0), L(6, 4), M(0, 4). Opposite sides horizontal and vertical, so a parallelogram; all angles are 90°, so a rectangle; sides 6 and 4 are not all congruent, so not a rhombus and not a square. Inherited from parallelograms: the diagonals bisect each other, at (3, 2), the midpoint of both JL and KM. Added by rectangles: the diagonals are congruent, JL = √52 = KM. Not inherited from squares: the diagonals are not perpendicular, since JL has slope 2/3 and KM has slope −2/3, product −4/9.

Worked, using the inclusive trapezoid definition: Decide whether the parallelogram E(0, 0), F(4, 0), G(5, 3), H(1, 3) is a trapezoid. Under the inclusive definition, a trapezoid has at least one pair of parallel sides; EFGH has two pairs, so it is a trapezoid, and every parallelogram is. Under the exclusive definition, exactly one pair, it is not. The classification depends on the definition chosen, which is why the definition must be stated before the figure is placed.

Worked, a kite and what it does not inherit: K(0, 0), L(3, 2), M(0, 6), N(−3, 2). KL = NK = √13 and LM = MN = 5: a kite. Its diagonals are KM, vertical from (0, 0) to (0, 6), and LN, horizontal from (3, 2) to (−3, 2); they are perpendicular, and LN is bisected by KM at (0, 2), but KM is not bisected, since (0, 2) is not the midpoint (0, 3) of KM. The kite is not a parallelogram (KL slope 2/3, NM slope 4/3), so it inherits no parallelogram property; the diagonals bisecting each other is one it lacks.

Recording task: Draw the hierarchy as boxes joined by a line from each category down to every category directly inside it: polygon at the top, then quadrilateral, then trapezoid (inclusive definition) → isosceles trapezoid and parallelogram, parallelogram → rectangle and rhombus, isosceles trapezoid → rectangle, kite → rhombus, and rectangle and rhombus → square. It is not a simple tree, because some categories sit below two others: square below rectangle and rhombus, rhombus below parallelogram and kite, and rectangle below parallelogram and isosceles trapezoid. On each box write the defining property. Then place the four figures A(0, 0), B(3, 4), C(−1, 7), D(−4, 3) (square); E(0, 0), F(4, 0), G(5, 3), H(1, 3) (parallelogram); K(0, 0), L(3, 2), M(0, 6), N(−3, 2) (kite); P(0, 0), Q(8, 0), R(6, 3), S(2, 3) (isosceles trapezoid) at their most specific box, recording for each the side lengths, the slopes used and any diagonal lengths, and list every category above the box that the figure also belongs to.

Independent performance: Write a classification guide for quadrilaterals given by coordinates: a numbered procedure (slopes for parallelism, lengths for congruence, slope products for right angles, diagonals when needed) that ends at the most specific category. Apply it to three quadrilaterals you design so that they land in three different categories, and to one that a classmate designs. Success criteria: the procedure states the definition of each category it uses, including which trapezoid definition; every classification is supported by computed slopes and lengths; for each figure the full list of inherited categories is given from the most specific up to quadrilateral; one paragraph explains, with the diagonal-bisecting property as the example, why a theorem proved for parallelograms applies to every rectangle, rhombus and square without a new proof; and one paragraph explains why a square is a rectangle even though everyday language separates them.