# The Proof of the Kite Symmetry Theorem

A kite is a quadrilateral with two distinct pairs of congruent sides. The common vertices of its congruent sides are called its ends. In quadrilateral $latex ABCD$ below, the distinct pairs of congruent sides are $latex \overline{AB}$ & $latex \overline{BC}$ and $latex \overline{AD}$ & $latex \overline{CD}$. The ends are $latex B$ and $latex D$.

Exercise: Locate the ends and the pairs of the distinct pairs of the remaining quadrilaterals. In this post, we are going to prove the Kite Symmetry Theorem. The theorem states that the line containing the ends of a kite is a symmetry line for the kite. In proving this theorem, we are going to use the Figure Reflection Theorem which is stated as follows.

If a figure determined by certain points, then its reflection image is the corresponding figure determined by the images of those points.

Now, we proceed with the proof.

The Kite Symmetry Theorem

The line containing the ends of a kite is a symmetry line for the kite.

Proof

Let $latex ABCD$ be a kite with with ends $latex B$ and $latex D$.

$latex AB = BC$ and $latex AD = DC$ since the ends of the kite are $latex B$ and $latex D$ (definition of the ends of a kite).

Triangle $latex ABC$ and triangle $latex ADC$ are isosceles since each triangle has two pairs of congruent sides (definition of isosceles triangle).

We draw $latex AC$, and let line $latex m$ be the angle bisector of $latex AC$. The reflection of A through $latex m$ is $latex C$ and the reflection of $latex C$ through $latex m$ is $latex A$ (definition of reflection).

Now, line $latex m$ contains $latex B$ and $latex D$ since the bisector of an isosceles triangle is the bisector of the vertex angle and therefore contains the vertex.

There reflection of $latex B$ through $latex m$ is itself and the reflection of $latex D$ is itself (definition of reflection).

The reflection of $latex ABCD$ through $latex m$ is $latex CBAD$ by the Figure Reflection Theorem.

Therefore, line m which is also line $latex BD$ is a symmetry line for $latex ABCD$ (definition of symmetry line).