I am quite surprised by the suggestion (and apparent consensus?) that kites and rhombi are not very important for high school geometry. Here are three entirely different arguments for why they should, in fact, play a central role in the curriculum.
Argument 1: Understanding hierarchical relationships.
One of the goals of secondary Geometry is to help students move from a basic conception of "shapes" as individual objects to a more sophisticated notion of "shapes" as generic representatives of categories of objects, and a corresponding focus on the relationships among those categories. (For those who are familiar with the old Van Hiele language for describing geometric understanding, I am talking about the transition from Level 1 to Level 2 and Level 3.).
Students who do not make this transition may fail to understand, for example, that a proof of a property of isosceles trapezoids applies not only to the specific trapezoid represented in a particular diagram, but to any isosceles trapezoid satisfying the hypotheses of the theorem. (See for example Chazan, 1993, particularly at p. 372.)
At a basic level, the goal here is to move students from simpler statements about individual figures ("This is a rectangle because it has four right angles") to claims about nesting of one category of figures inside another category ("All squares are rectangles, but not all rectangles are squares"), with deductive proof making it possible to generalize from a generic case to the category of which it is a representative. At a more advanced level, students are expected to develop an understanding of a hierarchical relationship among types of figures, as shown below. (Image source)
Thus for example students should know (and be able to prove!) conditional statements like the following examples:
- If $ABCD$ is both a rectangle and a rhombus, then it is a square (and conversely if $ABCD$ is a square then it is both a rectangle and a rhombus)
- If $ABCD$ is both a parallelogram and a kite, then it is a rhombus (and conversely if it is a rhombus then it is both a parallelogram and a kite).
- If $ABCD$ is both an isosceles trapezoid and a parallelogram, then it is a rectangle (and conversely...)
- Every rectangle is a parallelogram (but not every parallelogram is a rectangle); every rhombus is a parallelogram (but not every parallelogram is a rhombus); every parallelogram is a trapezoid (but not every trapezoid is a parallelogram); every trapezoid is a quadrilateral (but not every quadrilateral is a trapezoid).
- etc.
Note by the way that in the classification scheme shown above, different types of quadrilaterals are defined inclusively, rather than exclusively. Not all curricula follow this convention consistently; for a historical perspective on quadrilateral definitions and classification, see my answer to a related question.
Now if we were to stipulate, for the sake of discussion, that understanding these hierarchical relationships is one of the goals of the curriculum, consider what would happen if the categories of "kite" and "rhombus" were removed or omitted. Roughly 1/3 of the diagram above, and a corresponding number of hierarchical relationships would simply disappear -- there would be no way to even talk about them! We need kites and rhombi in the lexicon so that we can have a fully-developed theory of quadrilaterals.
Argument 2: Analyzing how quadrilaterals are like, and unlike, triangles. In the standard sequence of the Geometry course, students first study triangles, which they learn to classify into types according to two different schemes:
- When classifying by side lengths, every triangle is either scalene, isosceles, or equilateral.
- When classifying by angle measures, every triangle is either acute, obtuse, or right.
These two different classification schemes interact in complicated ways: a right triangle can be scalene or isosceles; an isosceles triangle can be acute, obtuse, or right; and so on. However, some combinations are impossible. For example, an equilateral triangle cannot be right or obtuse, because of the following theorem:
Theorem. All equilateral triangles are equiangular, and conversely all equiangular triangles are equilateral.
This theorem is a corollary of the Base Angles Theorem and the Triangle Sum Theorem, the proofs of which rely on fundamental properties of parallels and triangle congruence; it is therefore a kind of capstone result for the "triangles unit".
When students move from triangles to quadrilaterals, the situation is suddenly very different. A quadrilateral may be equilateral without being equiangular, or conversely may be equiangular without being equilateral! This is an extremely important idea, one that is very counterintuitive for may students; anecdotally, I can report that many of the high school students I have tutored believe that if you know a quadrilateral has four congruent sides, it must be a square. Informally, the reason this is not true is because quadrilaterals, unlike triangles, are not rigid; there is no "SSSS Congruence" property for quadrilaterals. (See the question, and my answer, at "What is the precise definition of a rigid shape?".)
So we need names for quadrilaterals that are equiangular (but not necessarily equilateral), and for quadrilaterals that are equilateral (but not necessarily equiangular). We call the first type a "rectangle", and we call the second type a "rhombus".
Similarly if we try to generalize the notion of "isosceles triangle" to the quadrilateral case, we might say (as a first attempt) that we are interested in figures in which some, but not all, of the sides are congruent. On further reflection we realize that there are two worthwhile possibilities to consider here:
- If two pairs of opposite sides are congruent, we have a parallelogram.
- If two (disjoint) pairs of adjacent sides are congruent, we have a kite.
Argument 3: Transformation-based approaches to Geometry. I'll be briefer about this one, because transformation-based approaches to Geometry, while common internationally, are still somewhat rare in U.S. curricula (see p. 204 of this book for a brief discussion of the history of such approaches in the secondary curriculum), despite the fact that the Common Core State Standards emphasize them as fundamental.
In a transformation-based approach, figures are classified according to the types of symmetry they have. For example, isosceles triangles have exactly one line of symmetry; equilateral triangles have three. With quadrilaterals, again, things are more complicated:
- A quadrilateral with two lines of symmetry that pass through the midpoints of its sides is a rectangle.
- A quadrilateral with two lines of symmetry that pass through its vertices is a rhombus.
- A quadrilateral with one line of symmetry that passes through the midpoints of (two of) its sides is an isosceles trapezoid.
- A quadrilateral with one line of symmetry that passes through (two of) its vertices is a kite.
There is an important analogy lurking in the above observations: kites and rhombi are, in an important way, dual to isosceles trapezoids and rectangles.
Concluding thoughts:. There is more that could be said on this; for example, one very fruitful avenue of student exploration is to study what kind of figure is produced when one joins together the midpoints of the sides of a quadrilateral. (See here, here, and here for some examples.) This is variously referred to as the "dual" or "midpoint polygon" construction. Some very interesting results can be discovered and proved by students; for example:
- The dual of any quadrilateral is a parallelogram
- The dual of any rectangle is a rhombus
- The dual of any rhombus is a rectangle
- Therefore the dual of a square is a square
- The double-dual of a rhombus is another rhombus; the double-dual of a rectangle is another rectangle
- More generally the double-dual of a parallelogram is another parallelogram similar to the original
- The dual of an isosceles trapezoid is also a rhombus
- The dual of a kite is also a rectangle
- etc.
Without rhombi and kites these kinds of investigations become essentially impossible.
TL;DR: if rhombi and kites did not exist, we would need to invent them in order to answer basic questions about the relationships among the other types of quadrilaterals. Trying to do geometry without them would be like trying to teach algebra without the words "slope" or "quadratic".