対頂角定理計算機

When two lines cross, they form four angles at the intersection point. The Vertical Angles Theorem says that opposite angles (the ones across from each other through the intersection) are always equal. This is one of the simplest yet most-used theorems in geometry — it gives you "free" angle equalities in dozens of proof patterns. This tutorial explains what "vertical" means in this context, why the theorem is always true, and how it shows up in proofs.

The setup

Two straight lines intersect at a single point. At that intersection, 4 angles form:

• Two pairs of "vertical" (opposite) angles: each pair lies on opposite sides of the intersection.
• Two pairs of "adjacent" angles: each pair shares a side and forms a straight line (linear pair).

Label the four angles clockwise around the intersection: ∠1, ∠2, ∠3, ∠4. Then the vertical pairs are (∠1, ∠3) and (∠2, ∠4).

The theorem

For any intersection of two straight lines:

∠1 = ∠3 (vertical angles equal)
∠2 = ∠4 (vertical angles equal)

Additionally, the adjacent angle pairs are supplementary (sum to 180°):

∠1 + ∠2 = 180°, ∠2 + ∠3 = 180°, ∠3 + ∠4 = 180°, ∠4 + ∠1 = 180°.

So among the 4 angles formed by two intersecting lines, there are only TWO distinct measures: some value θ (for one vertical pair) and 180° − θ (for the other).

Why the theorem is true

The proof is one of the cleanest in geometry:

1. ∠1 + ∠2 = 180° (linear pair — they form a straight line along one of the intersecting lines)
2. ∠3 + ∠2 = 180° (linear pair — same reasoning, other intersecting line)
3. So ∠1 + ∠2 = ∠3 + ∠2 (both equal 180°)
4. Subtract ∠2 from both sides: ∠1 = ∠3

QED. The same logic shows ∠2 = ∠4.

Why "vertical"?

"Vertical" in the theorem name is a historical artifact — it means "directly opposite through the vertex (intersection point)". It does NOT refer to up-down orientation. Vertical angles can be horizontal, slanted, or any direction. The word comes from Latin vertex (point).

Worked examples

Example 1: Two lines cross. One of the angles measures 65°. Find the other three.

The angle vertical to 65° is also 65°. The two adjacent angles are each 115° (= 180° − 65°). So the four angles are 65°, 115°, 65°, 115° in order around the intersection.

Example 2: Two lines cross. One angle is given as 90°. Find the others.

The vertical pair: both 90°. The adjacent pair: 180° − 90° = 90°. So all four angles are 90° — meaning the two lines are perpendicular.

Example 3: Vertical angles in algebra. Two lines cross. One angle is labeled 2x + 10, and its vertical angle is labeled 3x − 20. Find x.

By the Vertical Angles Theorem: 2x + 10 = 3x − 20 → x = 30. Each of these vertical angles measures 2(30) + 10 = 70°.

The theorem in proofs

Vertical Angles appears constantly in two-column proofs. Typical pattern:

• Two segments cross at a point, forming an "X" shape.
• The two opposite triangles formed inside the X have vertical-angle pairs at the intersection.
• This gives you ONE pair of equal angles "for free" — often the key to invoking ASA or AAS for triangle congruence.

Example proof setup: "Lines AB and CD intersect at point E. Show that △AEC ≅ △BED, given AC ∥ BD and AC = BD."

The Vertical Angles step (#3) gives the proof its first angle equality. Without it, you'd need to derive that equality from longer reasoning.

Vertical angles vs other angle-pair types

Be careful not to confuse vertical angles with other angle relationships:

Vertical angles require only TWO lines (one intersection). The parallel-line relationships require TWO parallel lines plus a third (transversal).

Common mistakes

• Calling adjacent angles "vertical". Vertical means opposite, not adjacent. The two angles directly next to each other (sharing a side) form a linear pair, not a vertical pair.
• Treating "vertical" as up-down. Two horizontal lines crossing at a point also have vertical angles — the term means "opposite through the vertex", not "up-down oriented".
• Forgetting the theorem when proofs need an obvious angle equality. Many students try to derive angle equalities from longer arguments when "Vertical Angles Theorem" is the direct one-line justification.
• Assuming vertical angles when the lines aren't straight. The theorem applies to STRAIGHT line intersections. Curves or broken lines crossing at a point don't produce vertical angles in the standard sense.