Visual Tools
Calculators
Tables
Mathematical Keyboard
Converters
Other Tools

The Diagonals of a Kite

How to use
  1. ▶ Play runs the proof, Next → and ← Back step one scene at a time, Reset restores the opening scene and the original figure. Learn more about the controls
  2. Drag AA, BB or CC; DD mirrors BB in the axis, and the readout under the canvas keeps the angle at MM and the two halves of BDBD. Learn more about why it holds
  3. Labels toggles the point names, Measures writes each marked angle's size beside its arc. The Step explanations log keeps every step so far. Learn more about reading a scene
Proof?The axis AC splits the kite into two triangles with three equal sides, so by SSS the angles at A are equal: AC bisects the angle at A. Then the two small triangles on either side of the axis agree in two sides and the included angle, so by SAS BM = MD and the two angles at M are equal; they make a straight angle, so each is 90°. Drag A, B or C; D mirrors B.Kite diagonals
Display
Drag A, B or C; the fourth vertex D follows
ABCD
∠AMB = 90.0°, BM = 2.2, MD = 2.2
Step 1 / 6

Step explanations

1A kite: two pairs of equal adjacent sides
Given
ABCD is a kite: AB = AD (one tick each) and CB = CD (two ticks each). The equal sides meet at A and at C, the ends of the axis. To prove: AC ⟂ BD, and AC bisects BD.
D is the mirror of B in the axis; drag B and it follows. Learn more about the statement




Getting Started with the Visualizer

DemoA run through the proof player
Step 0 of 7
Step through the proof, then drag the vertices and watch the diagonals stay at right angles and the crossing stay at the midpoint of the short diagonal. The picture below is the player with its parts numbered; the other tabs list what can be dragged, what each control does and what the step log shows.
Opening scene: the controls
1234567
1Proof — the theorem loaded in the player; the ? gives its idea in one line
2Display — Labels shows the point names, Measures writes each marked angle's size beside its arc
3Draggable points — A, B and C move freely; the hollow vertex D is the mirror image of B in the axis AC
4Readout — the line under the figure: the angle at M and the two halves of BD, live while you drag
5Back, Play, Next, Reset — step through the proof or run it; Reset returns to step 1 and restores the original figure
6Speed and step counter — how fast Play advances, and which of the 6 steps is on screen
7Step explanations — every step reached so far, with its justification tag and a link to the section that explains it; click an entry to jump back to it
Proof complete: step 6 of 6
12345
1The axis — AC, joining the two vertices where the equal sides meet; it bisects the angles at A and C
2The crossing M — the midpoint of BD, with the right-angle mark; the two angles φ are the linear pair
3The two halves — BM and MD, three ticks each: corresponding sides of ABM and ADM
4Justification tags — Given, SSS congruence, Corresponding parts, SAS congruence, Linear pair, Conclusion
5Replay — at the last step Play becomes Replay and Next is off

The Statement

A kite is a quadrilateral with two pairs of equal adjacent sides: AB=ADAB = AD and CB=CDCB = CD, the equal sides meeting at the two ends AA and CC of its axis. The theorem says what its diagonals do:

AC⊥BDandBM=MDAC \perp BD \qquad \text{and} \qquad BM = MD


where MM is the crossing of the diagonals: the diagonals are perpendicular, and the axis cuts the other diagonal in half. The axis also bisects the angles at AA and at CC. A rhombus is a kite with all four sides equal, and its perpendicular diagonals are the special case.

In the player AA, BB and CC are free; DD is placed as the mirror image of BB in the line ACAC, which is exactly what makes AD=ABAD = AB and CD=CBCD = CB. The readout under the canvas shows the angle at MM and the two halves of BDBD.
ABCD
Opening scene, frozen

The kite ABCD: AB = AD (one tick), CB = CD (two ticks).


The Axis and Two Triangles

Draw the axis ACAC. It splits the kite into the triangles ABCABC and ADCADC, which share the side ACAC and have the kite's equal sides as their other sides:

AB=AD,CB=CD,AC=ACAB = AD, \qquad CB = CD, \qquad AC = AC


Three pairs of equal sides, so by the SSS congruence criterion ABC≅ADCABC \cong ADC. The player shades the two triangles in different colours.
ABCD
The axis and two triangles, frozen

The axis AC splits the kite into ABC and ADC, congruent by SSS.


The Axis Bisects the Angle

Congruent triangles have equal corresponding angles. In ABCABC and ADCADC the angle at AA corresponds to the angle at AA, so

∠BAC=∠DAC=α\angle BAC = \angle DAC = \alpha


the axis bisects the angle of the kite at AA. The same argument at the other end gives ∠BCA=∠DCA\angle BCA = \angle DCA. The proof only needs the equal angles at AA, which it uses next as the included angles of two smaller triangles.
ααABCD
The axis bisects the angle, frozen

Corresponding angles: ∠BAC = ∠DAC = α.


Two Smaller Triangles

Draw the other diagonal BDBD and call its crossing with the axis MM. The axis now splits the upper part of the kite into the triangles ABMABM and ADMADM:

AB=AD,∠BAM=∠DAM=α,AM=AMAB = AD, \qquad \angle BAM = \angle DAM = \alpha, \qquad AM = AM


Two sides and the included angle agree, so ABM≅ADMABM \cong ADM by side-angle-side. Nothing new was assumed: the equal sides are the kite's, the equal angles came from the previous step, and AMAM is shared.
ααABCDM
Two smaller triangles, frozen

The diagonal BD and its crossing M; ABM ≅ ADM by SAS.


The Linear Pair

Corresponding parts of ABMABM and ADMADM give two things at once. The sides opposite α\alpha are equal, BM=MDBM = MD (three ticks), so MM is the midpoint of BDBD: the axis bisects the other diagonal. And the angles at MM are equal, ∠AMB=∠AMD=φ\angle AMB = \angle AMD = \varphi.

Those two angles sit side by side along the straight line BDBD, a linear pair, so they add up to a straight angle, as on the vertical angles page:

φ+φ=180°  ⟹  φ=90°\varphi + \varphi = 180° \implies \varphi = 90°


The diagonals are perpendicular.
ααφφABCDM
The linear pair, frozen

BM = MD (three ticks) and the equal angles φ at M along BD: φ = 90°.


Why It Holds

The proof uses the kite's definition twice: once through side-side-side, to show that the axis bisects the angle at AA, and once through side-angle-side, to show that the two halves of the kite on either side of the axis match. Equal angles along a straight line then have to be right angles. The end-of-proof mark ∎ in the log closes the argument. The tags name the facts used: the given sides, SSS, corresponding parts, SAS, and a linear pair.

Another way to say it: AA and CC are both the same distance from BB as from DD, so each lies on the perpendicular bisector of BDBD, and the axis is that perpendicular bisector. The proof above is that fact spelled out with triangles.
ααφφABCDM
The conclusion, frozen

AC ⟂ BD, and M is the midpoint of BD.


Dragging the Figure

Drag BB: it swings about the axis and DD mirrors it, so the kite changes shape while AB=ADAB = AD and CB=CDCB = CD stay true; the readout keeps the angle at MM at 90°90° and the two halves of BDBD equal. Drag AA or CC to lengthen or tilt the axis.

The player keeps the kite convex: the foot of BB on the axis must fall strictly between AA and CC. A drag that would push it past an end, making a dart (a concave kite) in which the diagonals still cross at right angles but outside the figure, is refused, as is one that carries a vertex out of the frame.
ααφφABCDM
After dragging B, frozen

B swung down and out, D mirroring it: a wider kite, the right angle at M unchanged.


Consequences

• Area of a kite. The diagonals are perpendicular, so the kite is four right triangles with legs along the diagonals, and its area is half the product of the diagonals: 12 AC⋅BD\tfrac12 \, AC \cdot BD. The same formula holds for a rhombus and a square.
• The perpendicular bisector. The axis of a kite is the perpendicular bisector of the other diagonal; every point of it is equidistant from BB and DD. This is the fact behind the circumcentre, where three such bisectors meet.
• Kites on these pages. A circle's centre with the two points of contact of the two tangents from an outside point make a kite with two right angles; the centre, the ends of a chord and the foot of the perpendicular from the centre make the same picture in halves.
• Tangential quadrilateral. Every convex kite has an inscribed circle touching all four sides, since the axis bisects the angles at AA and CC and their bisectors meet the other two angle bisectors at one point.
• Not every quadrilateral with perpendicular diagonals is a kite. Perpendicular diagonals alone give the area formula but not equal sides; a kite needs one diagonal to bisect the other as well.