Math Atlas

평행사변형Parallelograms

GeometryGeometry · 5. 사각형과 다각형5. Quadrilaterals & Polygons

학습 목표
  • 평행사변형의 세 성질 — 대변 등변, 대각 등각, 대각선의 상호 이등분 — 을 합동으로 증명한다.
  • 판정 네 가지를 증명하고, "성질로 거두고 판정으로 돌려보내는" 왕복을 사각형에서도 구사한다.
  • "한 쌍은 평행, 다른 한 쌍은 등변"이 판정이 되지 못하는 이유를 반례로 안다.

선불의 상환

수심의 공점을 증명하던 날, 다음 단원의 정리 하나를 선금으로 꺼내 썼다 — "두 쌍의 대변이 평행한 사각형에서 대변끼리 길이가 같다." 오늘이 그 정식 재론의 날이다. 무대의 주인공부터 정의한다.

정의평행사변형

두 쌍의 대변이 각각 평행한 사각형을 평행사변형이라 한다. (ABDC\overline{AB} \parallel \overline{DC}, ADBC\overline{AD} \parallel \overline{BC}인 사각형 ABCDABCD.)

정의가 요구하는 것은 평행 두 쌍뿐이다 — 길이나 각에 대한 말은 한마디도 없다. 그런데 이 한 가지 조건에서 등변·등각·대각선의 성질이 줄줄이 딸려 나온다. 사각형은 혼자서는 힘이 없으니(내각합 360°360° 말고는 아는 게 없다), 전략은 언제나 같다: 대각선을 그어 삼각형 둘로 쪼개고, 합동을 부른다.

성질: 대각선 하나로 두 개, 대각선 둘로 하나 더

정리(성질 1·2) — 평행사변형에서 두 쌍의 대변은 각각 길이가 같고, 두 쌍의 대각은 각각 크기가 같다.

A B C D
대각선 AC가 평행사변형을 두 삼각형으로 — 엇각 두 쌍과 공통변이 ASA를 이룬다.

증명. 대각선 AC\overline{AC}를 긋는다. ABDC\overline{AB} \parallel \overline{DC}에서 엇각 BAC=DCA\angle BAC = \angle DCA, ADBC\overline{AD} \parallel \overline{BC}에서 엇각 BCA=DAC\angle BCA = \angle DAC, 그리고 AC\overline{AC}는 공통 — ASA로

ABCCDA.\triangle ABC \cong \triangle CDA.

대응변에서 AB=CDAB = CD, BC=DABC = DA(성질 1), 대응각에서 B=D\angle B = \angle D. 남은 한 쌍 A=C\angle A = \angle C는 각의 덧셈으로: BAD=BAC+CAD=DCA+ACB=BCD\angle BAD = \angle BAC + \angle CAD = \angle DCA + \angle ACB = \angle BCD. \blacksquare

이웃한 두 각은 동측내각이므로 보각이다(A+B=180°\angle A + \angle B = 180°) — 성질이라기보다 평행의 즉석 선물이지만, 계산 문제의 단골이니 함께 적어 둔다.

정리(성질 3) — 평행사변형의 두 대각선은 서로를 이등분한다.

O A B C D
두 대각선의 교점 O — 엇각 두 쌍과 등변 하나가 ASA를 이루어 O가 두 대각선의 중점이 된다.

증명. 두 대각선의 교점을 OO라 하자. ABDC\overline{AB} \parallel \overline{DC}에서 엇각으로 OAB=OCD\angle OAB = \angle OCD, OBA=ODC\angle OBA = \angle ODC이고, 성질 1에서 AB=CDAB = CD — ASA로 OABOCD\triangle OAB \cong \triangle OCD. 대응변에서 OA=OCOA = OC, OB=ODOB = OD. \blacksquare

합동 단원에서 "평행 ++ 등변이면 대각선이 이등분된다"를 문제로 증명한 적이 있다 — 그때는 조건으로 받았던 등변을 오늘은 성질 1이 대 주므로, 그 문제가 성질 3으로 승격된 셈이다.

판정: 역들의 행진

정의는 양방향이지만 성질은 한 방향이다 — 역이 증명되어야 판정이 된다. 평행사변형은 역이 네 방향 모두 성립하는 드문 무대다.

판정 1 — 두 쌍의 대변이 각각 같으면 평행사변형이다.

증명. AB=CDAB = CD, BC=DABC = DA인 사각형에 대각선 AC\overline{AC}를 긋는다. AC\overline{AC} 공통까지 세 쌍 — SSS로 ABCCDA\triangle ABC \cong \triangle CDA. 대응각 BAC=DCA\angle BAC = \angle DCA가 같으니 엇각 판정으로 ABDC\overline{AB} \parallel \overline{DC}, 또 BCA=DAC\angle BCA = \angle DAC에서 ADBC\overline{AD} \parallel \overline{BC}. 두 쌍이 평행 — 정의 충족. \blacksquare

판정 3 — 두 대각선이 서로를 이등분하면 평행사변형이다.

증명. OA=OCOA = OC, OB=ODOB = OD이고 AOB=COD\angle AOB = \angle COD(맞꼭지각) — SAS로 OABOCD\triangle OAB \cong \triangle OCD. 대응각 OAB=OCD\angle OAB = \angle OCD는 엇각이므로 ABDC\overline{AB} \parallel \overline{DC}. 같은 방법을 OAD\triangle OADOCB\triangle OCB에 쓰면 ADBC\overline{AD} \parallel \overline{BC}. \blacksquare

이 증명의 그림을 어디선가 봤을 것이다 — 중선 두 배 늘이기. 중선을 중점 너머로 복제하면 두 대각선(BC\overline{BC}와 늘인 AD\overline{AD})이 서로를 이등분하는 사각형이 생기는데, 그것이 평행사변형이었던 것이다. 문제 12에서 그 수법의 정체를 정식으로 밝힌다.

나머지 둘 — 판정 2(한 쌍의 대변이 평행하고 길이가 같으면)와 판정 4(두 쌍의 대각이 각각 같으면) — 는 문제 탭에서 독자가 증명한다. 판정 2는 합동 단원의 그 문제(평행 ++ 등변)를 반 바퀴만 더 돌리면 되고, 판정 4는 내각합 360°360°가 평행을 꺼내 준다.

주의

그럴듯하지만 판정이 아닌 조건이 하나 있다: "한 쌍의 대변은 평행하고, 다른 한 쌍의 대변은 길이가 같다." 반례가 등변사다리꼴이다 — 윗변과 아랫변이 평행하고 두 빗변의 길이가 같지만 평행사변형이 아니다. 판정 2와 글자 하나 차이("같은 쌍이 평행하고 같다" vs "다른 쌍이")로 참과 거짓이 갈린다 — 조건을 읽을 때 어느 쌍인지까지 읽어야 한다.

예제 1 · 왕복 계산

평행사변형 ABCDABCD에서 A=70°\angle A = 70°이고 AB=8AB = 8, BC=5BC = 5다. 나머지 세 각과 두 변 CDCD, DADA를 구하여라.

풀이. 대각은 같다: C=70°\angle C = 70°. 이웃각은 보각: B=D=110°\angle B = \angle D = 110°. 대변은 같다: CD=AB=8CD = AB = 8, DA=BC=5DA = BC = 5.

검산 — 내각합: 70+110+70+110=360°70 + 110 + 70 + 110 = 360° ✓. 성질 세 개가 각각 한 번씩 일했다.

참고

"성질로 거두고 판정으로 돌려보낸다" — 평행선 단원에서 세운 왕복 구조가 사각형에서 완성형이 됐다. 어떤 사각형이 평행사변형임을 판정으로 확보하고 나면, 성질 셋(등변·등각·대각선)이 공짜로 따라온다. 다음 차시의 직사각형·마름모·정사각형은 전부 이 왕복 위에 조건 하나씩을 얹은 도형들이다.

Goals
  • Prove the three properties of a parallelogram — equal opposite sides, equal opposite angles, and mutually bisecting diagonals — by congruence.
  • Prove four tests, and run the "harvest by property, return by test" round trip on quadrilaterals.
  • Know, by counterexample, why "one pair parallel, the other pair equal" fails as a test.

Repaying the advance

On the day we proved the altitudes concurrent, we borrowed a theorem from this unit in advance — "in a quadrilateral with both pairs of opposite sides parallel, opposite sides are equal." Today is its formal hearing. First, the star of the stage.

DefinitionParallelogram

A quadrilateral with both pairs of opposite sides parallel is a parallelogram. (A quadrilateral ABCDABCD with ABDC\overline{AB} \parallel \overline{DC} and ADBC\overline{AD} \parallel \overline{BC}.)

The definition demands two parallelisms and nothing else — not a word about lengths or angles. Yet from this one condition, equal sides, equal angles, and diagonal facts come tumbling out. A quadrilateral has little power of its own (beyond the 360°360° angle sum, we know nothing), so the strategy never varies: draw a diagonal, split into two triangles, summon congruence.

Properties: two from one diagonal, one more from both

Theorem (Properties 1–2) — In a parallelogram, both pairs of opposite sides are equal, and both pairs of opposite angles are equal.

A B C D
Diagonal AC splits the parallelogram into two triangles — two alternate-angle pairs and the common side form ASA.

Proof. Draw diagonal AC\overline{AC}. From ABDC\overline{AB} \parallel \overline{DC}, alternate angles give BAC=DCA\angle BAC = \angle DCA; from ADBC\overline{AD} \parallel \overline{BC}, BCA=DAC\angle BCA = \angle DAC; and AC\overline{AC} is shared — ASA yields

ABCCDA.\triangle ABC \cong \triangle CDA.

Corresponding sides give AB=CDAB = CD and BC=DABC = DA (Property 1); corresponding angles give B=D\angle B = \angle D. The remaining pair follows by angle addition: BAD=BAC+CAD=DCA+ACB=BCD\angle BAD = \angle BAC + \angle CAD = \angle DCA + \angle ACB = \angle BCD. \blacksquare

Consecutive angles, being co-interior, are supplementary (A+B=180°\angle A + \angle B = 180°) — less a property than parallelism's instant gift, but a fixture of computations, so we log it here.

Theorem (Property 3) — The diagonals of a parallelogram bisect each other.

O A B C D
The diagonals meet at O — two alternate-angle pairs and one equal side form ASA, making O the midpoint of both.

Proof. Let the diagonals meet at OO. From ABDC\overline{AB} \parallel \overline{DC}, alternate angles give OAB=OCD\angle OAB = \angle OCD and OBA=ODC\angle OBA = \angle ODC, while Property 1 supplies AB=CDAB = CD — ASA yields OABOCD\triangle OAB \cong \triangle OCD, whence OA=OCOA = OC and OB=ODOB = OD. \blacksquare

Back in the congruence unit, a problem had you prove "parallel plus equal makes the diagonals bisect each other." The equality we then took as a hypothesis, Property 1 now supplies for free — that problem has been promoted into Property 3.

Tests: a parade of converses

A definition runs both ways; a property runs one way — a converse must be proven before it becomes a test. The parallelogram is that rare stage where the converses hold in all four directions.

Test 1 — If both pairs of opposite sides are equal, the quadrilateral is a parallelogram.

Proof. Given AB=CDAB = CD and BC=DABC = DA, draw AC\overline{AC}. With the common side, that's three pairs — SSS gives ABCCDA\triangle ABC \cong \triangle CDA. From BAC=DCA\angle BAC = \angle DCA, the alternate-angle test gives ABDC\overline{AB} \parallel \overline{DC}; from BCA=DAC\angle BCA = \angle DAC, ADBC\overline{AD} \parallel \overline{BC}. Both pairs parallel — the definition is met. \blacksquare

Test 3 — If the diagonals bisect each other, the quadrilateral is a parallelogram.

Proof. Given OA=OCOA = OC, OB=ODOB = OD, and AOB=COD\angle AOB = \angle COD (vertical angles) — SAS gives OABOCD\triangle OAB \cong \triangle OCD. The corresponding angles OAB=OCD\angle OAB = \angle OCD are alternate angles, so ABDC\overline{AB} \parallel \overline{DC}. The same argument on OAD\triangle OAD and OCB\triangle OCB gives ADBC\overline{AD} \parallel \overline{BC}. \blacksquare

You have seen this proof's picture before — doubling the median. Extending a median past the midpoint creates a quadrilateral whose two diagonals bisect each other, which is precisely a parallelogram. Problem 12 unmasks that maneuver formally.

The other two — Test 2 (one pair of opposite sides parallel and equal) and Test 4 (both pairs of opposite angles equal) — are yours in the problems tab. Test 2 is the congruence unit's old problem turned half a notch further; Test 4 lets the 360°360° angle sum produce the parallels.

Watch out

One plausible-looking condition is not a test: "one pair of opposite sides parallel, and the other pair equal." The counterexample is the isosceles trapezoid — top and bottom parallel, legs equal, not a parallelogram. It differs from Test 2 by a single word (the same pair parallel and equal, versus the other pair) — when reading conditions, read which pair they speak of.

Example 1 · A round-trip computation

In parallelogram ABCDABCD, A=70°\angle A = 70°, AB=8AB = 8, BC=5BC = 5. Find the other three angles and the sides CDCD, DADA.

Solution. Opposite angles are equal: C=70°\angle C = 70°. Consecutive angles are supplementary: B=D=110°\angle B = \angle D = 110°. Opposite sides are equal: CD=AB=8CD = AB = 8, DA=BC=5DA = BC = 5.

Check — the angle sum: 70+110+70+110=360°70 + 110 + 70 + 110 = 360° ✓. Each of the three properties clocked in exactly once.

Note

"Harvest by property, return by test" — the round trip built in the parallel-lines unit reaches full form on quadrilaterals. Once a test certifies a quadrilateral as a parallelogram, all three properties (sides, angles, diagonals) arrive free of charge. Next lesson's rectangle, rhombus, and square are all built on this round trip, each by adding one condition.