Math Atlas

사다리꼴과 연꼴Trapezoids & Kites

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

학습 목표
  • 사다리꼴·등변사다리꼴·연꼴을 정의하고, 등변사다리꼴의 밑각·대각선 정리를 증명한다.
  • 연꼴의 축 정리를 수직이등분선 판정 하나로 증명한다 — 합동 사슬 없이.
  • 사각형 가족의 전체 지도를 완성하고, 대각선 성질로 가족을 식별한다.

평행 한 쌍만 남기면: 사다리꼴

평행사변형에서 평행 조건을 한 쌍만 남기면 사다리꼴이다.

정의사다리꼴

적어도 한 쌍의 대변이 평행한 사각형을 사다리꼴이라 한다. 평행한 두 변을 밑변(위아래로 구분해 윗변·아랫변), 나머지 두 변을 다리라 부르고, 두 밑변 사이의 거리를 높이라 한다.

"적어도"라는 단어에 설계가 들어 있다 — 이 정의로는 평행사변형도 사다리꼴이다(포함적 정의). 정사각형을 직사각형에 포함시킬 때와 같은 이유다: 사다리꼴에 대해 증명한 정리를 평행사변형이 자동으로 상속하고, "밑변이 평행한 사각형"류의 조건문이 예외 없이 굴러간다. 교과서에 따라 "정확히 한 쌍"으로 좁혀 잡는 배타적 정의도 쓰인다 — 어느 쪽이든 약속을 명시하고 일관되게 쓰는 것이 규율이고, 이 과정은 포함 쪽에 선다.

등변사다리꼴: 대칭이 주는 두 정리

정의등변사다리꼴

한 밑변의 양 끝 밑각이 같은 사다리꼴을 등변사다리꼴이라 한다.

이름의 "등변"은 다리를 가리킨다 — 밑각이 같으면 다리도 같아진다(그 역도 평행사변형이 아닌 한 참이다). 증명이 곧 이 단원의 대표 보조선 기법이다.

정리 — 등변사다리꼴에서 두 다리의 길이는 같다. (ADBC\overline{AD} \parallel \overline{BC}, B=C\angle B = \angle C이면 AB=DCAB = DC.)

A B C D E
꼭짓점 D를 지나 다리 AB에 평행한 보조선 — 평행사변형 하나와 이등변삼각형 하나가 태어난다.

증명. DD를 지나 AB\overline{AB}에 평행한 직선을 그어 밑변 BC\overline{BC}와 만나는 점을 EE라 하자(AD<BCAD < BC이므로 EEBBCC 사이). 사각형 ABEDABED는 두 쌍의 대변이 평행하므로 평행사변형 — 대변에서 DE=ABDE = AB … ①.

ABDE\overline{AB} \parallel \overline{DE}에서 동위각으로 DEC=B\angle DEC = \angle B인데, 가정에서 B=C\angle B = \angle C이므로 DEC=C\angle DEC = \angle CDEC\triangle DEC는 두 밑각이 같아 밑각 정리의 역으로 DE=DCDE = DC … ②.

①, ②에서 AB=DCAB = DC. \blacksquare

다리를 평행 이동해 삼각형을 짓는 이 보조선은 사다리꼴 문제의 만능 열쇠다 — 사다리꼴에서 쓸 도구가 마땅치 않으면, 다리 하나를 밀어 평행사변형과 삼각형으로 분해하라.

정리 — 등변사다리꼴의 두 대각선은 길이가 같다.

증명. ABC\triangle ABCDCB\triangle DCB에서: AB=DCAB = DC(방금 증명), ABC=DCB\angle ABC = \angle DCB(가정), BC\overline{BC} 공통 — SAS로 합동이고, 대응변에서 AC=DBAC = DB. \blacksquare

직사각형에 이어 대각선이 같은 두 번째 가족이다 — 실제로 직사각형은 등변사다리꼴의 특수한 경우다(밑각이 90°90°).

연꼴: 수직이등분선 판정의 개선 무대

정의연꼴

이웃한 두 변끼리 길이가 같은 두 쌍이 있는 사각형을 연꼴이라 한다. (AB=ADAB = AD, CB=CDCB = CD인 사각형 ABCDABCD — 같은 변끼리 이웃해 있다는 점이 평행사변형(대변끼리 같음)과 다르다.)

합동 단원에서 연 모양 도형에 SSS를 태워 각을 나눈 적이 있다 — 그 도형의 정식 이름이 연꼴이고, 오늘은 합동 사슬보다 빠른 길로 성질을 전부 거둔다.

정리(연꼴의 축) — 연꼴 ABCDABCD(AB=ADAB = AD, CB=CDCB = CD)에서 대각선 AC\overline{AC}를 품은 직선은 대각선 BD\overline{BD}의 수직이등분선이다. 따라서 두 대각선은 수직이고, BD\overline{BD}AC\overline{AC}에 의해 이등분된다.

A B D C O
A와 C가 모두 B, D에서 같은 거리에 있다 — 두 점이 결정하는 직선이 곧 BD의 수직이등분선이다.

증명. AB=ADAB = AD이므로 AA는 두 점 BB, DD에서 같은 거리에 있다 — 수직이등분선 판정에 의해 AABD\overline{BD}의 수직이등분선 위에 있다. CB=CDCB = CD이므로 CC도 마찬가지다. 서로 다른 두 점 AA, CC를 지나는 직선은 하나뿐이므로(두 점 결정 공리), 직선 ACAC가 곧 BD\overline{BD}의 수직이등분선이다. \blacksquare

합동 삼각형을 한 쌍도 세우지 않았다 — 자취 단원에서 "등거리 두 번이면 수직이등분선"을 판정으로 세워 둔 덕에, 정리 하나가 세 성질(수직·이등분·축의 존재)을 한 번에 배달한다. 따름도 줄줄이 나온다: 축 AC\overline{AC}A\angle AC\angle C를 이등분하고(ABCADC\triangle ABC \cong \triangle ADC, SSS), 옆각끼리 같다(B=D\angle B = \angle D).

주의

연꼴의 대각선은 수직이지만 서로를 이등분하지는 않는다 — 축(AC\overline{AC})이 BD\overline{BD}를 이등분할 뿐, BD\overline{BD}는 축을 아무 데서나 자른다. 이것이 지난 차시 경고의 실물이다: "대각선이 수직인 사각형"은 마름모가 아닐 수 있다 — 연꼴이 그 반례다. 마름모가 되려면 서로 이등분(평행사변형 전제)까지 필요하다. 거꾸로 마름모는 네 변이 다 같으니 연꼴이기도 하다 — 연꼴 중 평행사변형인 것이 정확히 마름모다.

가족 사진

사각형 가족의 지도 — 사다리꼴과 연꼴에서 두 갈래가 내려와 마름모에서 만나고, 정사각형에서 합류한다

사각형에서 출발해 조건을 얹을 때마다 가지가 갈라진다: 평행 한 쌍(사다리꼴), 두 쌍(평행사변형), 직각(직사각형)과 등변(마름모), 그리고 모든 길이 만나는 정사각형. 연꼴은 사다리꼴과 다른 쪽에서 내려와 마름모에서 합류하는 곁가지다. 위에서 증명된 정리는 아래로 전부 상속된다 — 이 지도가 곧 "무엇을 다시 증명할 필요가 없는가"의 지도다.

Goals
  • Define trapezoids, isosceles trapezoids, and kites, and prove the isosceles trapezoid's base-angle and diagonal theorems.
  • Prove the kite's axis theorem with a single application of the perpendicular bisector test — no congruence chase.
  • Complete the family map of quadrilaterals, and identify family members by their diagonal behavior.

Keep just one parallel pair: the trapezoid

Drop one of the parallelogram's two parallelisms and a trapezoid remains.

DefinitionTrapezoid

A quadrilateral with at least one pair of parallel opposite sides is a trapezoid. The parallel sides are its bases; the other two sides are its legs; the distance between the bases is its height.

The phrase "at least" carries a design decision — under this definition, every parallelogram is a trapezoid (the inclusive convention), for the same reason we filed squares under rectangles: theorems proved for trapezoids flow down to parallelograms automatically, and statements conditioned on "a quadrilateral with parallel bases" run without exceptions. Some textbooks tighten to "exactly one pair" (the exclusive convention) — either works, provided the convention is declared and used consistently. This course stands with inclusion.

The isosceles trapezoid: two theorems from symmetry

DefinitionIsosceles trapezoid

A trapezoid in which the two base angles at one base are equal is an isosceles trapezoid.

The "isosceles" in the name points at the legs — equal base angles force equal legs (and conversely, unless the figure is a parallelogram). The proof showcases this unit's signature auxiliary line.

Theorem — In an isosceles trapezoid, the legs are equal. (If ADBC\overline{AD} \parallel \overline{BC} and B=C\angle B = \angle C, then AB=DCAB = DC.)

A B C D E
Through D, a line parallel to leg AB — one parallelogram and one isosceles triangle are born.

Proof. Through DD draw the line parallel to AB\overline{AB}, meeting base BC\overline{BC} at EE (since AD<BCAD < BC, the point EE falls between BB and CC). Quadrilateral ABEDABED has both pairs of opposite sides parallel — a parallelogram — so DE=ABDE = AB … ①.

From ABDE\overline{AB} \parallel \overline{DE}, corresponding angles give DEC=B\angle DEC = \angle B; with the hypothesis B=C\angle B = \angle C this makes DEC=C\angle DEC = \angle C — triangle DECDEC has equal base angles, so the converse of the base angle theorem gives DE=DCDE = DC … ②.

From ① and ②, AB=DCAB = DC. \blacksquare

Sliding a leg parallel to itself to build a triangle — this auxiliary line is the master key of trapezoid problems. When a trapezoid offers no tools, push one leg across and decompose into a parallelogram plus a triangle.

Theorem — The diagonals of an isosceles trapezoid are equal.

Proof. In ABC\triangle ABC and DCB\triangle DCB: AB=DCAB = DC (just proved), ABC=DCB\angle ABC = \angle DCB (hypothesis), BC\overline{BC} common — SAS, and corresponding sides give AC=DBAC = DB. \blacksquare

The second family with equal diagonals, after the rectangle — indeed a rectangle is just an isosceles trapezoid whose base angles are 90°90°.

The kite: a homecoming for the perpendicular bisector test

DefinitionKite

A quadrilateral with two pairs of equal adjacent sides is a kite. (A quadrilateral ABCDABCD with AB=ADAB = AD and CB=CDCB = CD — the equal sides are neighbors, unlike the parallelogram's equal opposite sides.)

In the congruence unit we rode SSS through a kite-shaped figure to split an angle — that figure's proper name is the kite, and today we harvest all its properties by a road faster than any congruence chain.

Theorem (the kite's axis) — In kite ABCDABCD (AB=ADAB = AD, CB=CDCB = CD), the line through diagonal AC\overline{AC} is the perpendicular bisector of diagonal BD\overline{BD}. Hence the diagonals are perpendicular, and BD\overline{BD} is bisected by AC\overline{AC}.

A B D C O
Both A and C are equidistant from B and D — the line those two points determine is BD's perpendicular bisector.

Proof. Since AB=ADAB = AD, the point AA is equidistant from BB and DD — by the perpendicular bisector test, AA lies on the perpendicular bisector of BD\overline{BD}. Since CB=CDCB = CD, so does CC. Through the two distinct points AA and CC passes exactly one line (the two-point axiom) — so line ACAC is the perpendicular bisector of BD\overline{BD}. \blacksquare

Not one pair of congruent triangles was summoned. Because the locus unit installed "equidistant twice means perpendicular bisector" as a test, a single theorem now delivers three properties at once — perpendicularity, the bisection, the axis itself. Corollaries follow in a stream: the axis bisects A\angle A and C\angle C (ABCADC\triangle ABC \cong \triangle ADC by SSS), and the side angles match (B=D\angle B = \angle D).

Watch out

A kite's diagonals are perpendicular but do not bisect each other — the axis AC\overline{AC} bisects BD\overline{BD}, but BD\overline{BD} cuts the axis wherever it happens to. This is last lesson's warning made flesh: a quadrilateral with perpendicular diagonals need not be a rhombus — the kite is the counterexample. Rhombushood requires mutual bisection (the parallelogram premise) on top. Conversely, a rhombus has all four sides equal, so it is itself a kite — the kites that are parallelograms are exactly the rhombi.

The family portrait

The map of the quadrilateral family — two branches descend through trapezoids and kites, meet at the rhombus, and merge at the square

Start from the quadrilateral and branch with each added condition: one parallel pair (trapezoid), two (parallelogram), right angles (rectangle) and equal sides (rhombus), and the square where all roads meet. The kite descends on the far side, joining the family at the rhombus. Every theorem proved above flows downward in full — this map is precisely the map of what never needs proving again.