Math Atlas

특수한 평행사변형Rectangles, Rhombuses & Squares

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

학습 목표
  • 직사각형·마름모·정사각형을 정의하고, 평행사변형 위에 조건 하나씩을 얹는 구조로 이해한다.
  • 직사각형의 대각선(같다)과 마름모의 대각선(수직·각 이등분)을 증명하고, 그 역들을 판정으로 세운다.
  • 네 도형의 포함 관계를 오일러 그림으로 정리하고, 포함적 정의가 주는 상속을 활용한다.

조건 하나가 도형 하나

평행사변형의 정의에는 각도, 길이의 말이 없었다. 이제 조건을 하나씩 얹는다 — 각을 조이면 직사각형, 변을 조이면 마름모, 둘 다 조이면 정사각형이다.

정의직사각형 · 마름모 · 정사각형

네 내각이 모두 직각인 사각형을 직사각형, 네 변의 길이가 모두 같은 사각형을 마름모, 네 내각과 네 변이 모두 같은 사각형을 정사각형이라 한다.

세 도형 모두 자동으로 평행사변형이다. 직사각형은 이웃각 합이 90°+90°=180°90° + 90° = 180°이므로 동측내각 판정으로 두 쌍이 평행하고, 마름모는 대변끼리도 같으니 판정 1(두 쌍 대변 등변)에 걸린다. 그러므로 평행사변형의 성질 셋 — 대변 등변, 대각 등각, 대각선 상호 이등분 — 을 전부 상속한 채로 출발한다.

정의보다 판정이 헐겁다는 것도 적어 두자. 평행사변형에서 한 각만 직각이면 이웃각이 보각이라 네 각 전부가 직각이 된다 — "평행사변형 ++ 직각 하나 == 직사각형". 마찬가지로 평행사변형에서 이웃한 두 변만 같으면 대변 성질이 나머지를 맞춰 준다 — "평행사변형 ++ 이웃 등변 == 마름모".

직사각형의 대각선은 길이가 같다

정리 — 직사각형의 두 대각선은 길이가 같다.

A B C D
직사각형에서 삼각형 ABC와 BAD — 같은 다리, 같은 직각, 공통변이 SAS를 이룬다.

증명. 직사각형 ABCDABCD에서 ABC\triangle ABCBAD\triangle BAD를 본다. BC=ADBC = AD(대변), ABC=BAD=90°\angle ABC = \angle BAD = 90°, AB\overline{AB} 공통 — SAS로 ABCBAD\triangle ABC \cong \triangle BAD이고, 대응변에서 AC=BDAC = BD. \blacksquare

역(판정)도 참이다 — 대각선의 길이가 같은 평행사변형은 직사각형이다. 증명은 문제 8에서 같은 그림에 SSS를 태워 완성한다. 이 왕복이 실생활의 "직각 검사"다: 문틀이나 책장이 직각인지 재려면 각도기 대신 두 대각선의 길이를 잰다 — 같으면 직각이다.

마름모의 대각선은 수직으로 만나 각을 가른다

정리 — 마름모의 두 대각선은 서로 수직이고, 각 대각선은 두 꼭지각을 이등분한다.

A B C D O
마름모의 대각선 — 이등변삼각형의 축 정리가 두 번 일한다.

증명. 마름모 ABCDABCD의 대각선 교점을 OO라 하자. ABD\triangle ABDAB=ADAB = AD인 이등변삼각형이고, OO는 밑변 BD\overline{BD}의 중점이다(평행사변형 성질 3의 상속). 그러므로 AO\overline{AO}는 이등변삼각형의 꼭짓점과 밑변의 중점을 잇는 선 — 이등변의 축이다: 축은 밑변과 수직이고 꼭지각을 이등분한다(ABOADO\triangle ABO \cong \triangle ADO, SSS). 즉 ACBD\overline{AC} \perp \overline{BD}이고 BAC=DAC\angle BAC = \angle DAC. 꼭짓점 BB에서 같은 논증을 돌리면 BD\overline{BD}B\angle B를 이등분한다. \blacksquare

이등변 단원에서 "꼭지각 이등분선 == 중선 == 수직이등분선"으로 겹쳐 세웠던 그 축이, 마름모에서는 대각선이라는 이름으로 재직 중이다. 역(판정) — 대각선이 서로 수직인 평행사변형은 마름모다 — 는 문제 6에서 함께 증명한다.

오일러 그림: 상속의 지도

참고

포함 관계를 그림 하나로 접자. 사각형 \supset 평행사변형 \supset 직사각형·마름모, 그리고 두 원의 교집합이 정사각형이다. 정의·공리 차시에서 "정사각형은 직사각형이기도 하다"는 포함적 설계를 채택해 두었다 — 그 보상이 여기서 지급된다: 직사각형의 정리(대각선 같음)와 마름모의 정리(수직·이등분)를 정사각형은 증명 없이 전부 상속한다. 정사각형의 대각선은 같고, 수직으로 만나 서로를 이등분하며, 꼭지각을 45°45°씩 가른다.

사각형 ⊃ 평행사변형 ⊃ 직사각형·마름모 — 교집합이 정사각형
주의

대각선 조건과 도형의 짝을 바꿔 붙이는 실수가 잦다 — 같다 ↔ 직사각형, 수직 ↔ 마름모다(거꾸로가 아니다). 그리고 두 판정 모두 "평행사변형에서"라는 전제가 필수다: 대각선이 수직인 사각형이 다 마름모는 아니다 — 다음 차시의 연꼴이 살아 있는 반례다. 전제 없는 판정은 판정이 아니다.

예제 1 · 상속받은 계산

정사각형 ABCDABCD의 두 대각선이 OO에서 만나고 OA=4OA = 4다. 대각선의 길이와 OAB\angle OAB의 크기를 구하여라.

풀이. 대각선은 서로를 이등분하므로(평행사변형 상속) AC=2OA=8AC = 2 \cdot OA = 8, 그리고 직사각형 상속으로 BD=AC=8BD = AC = 8. 마름모 상속으로 대각선은 꼭지각 90°90°를 이등분하므로

OAB=45°.\angle OAB = 45°.

세 조상 — 평행사변형, 직사각형, 마름모 — 이 한 문제에 한 번씩 출근했다.

Goals
  • Define rectangle, rhombus, and square as one condition apiece stacked on the parallelogram.
  • Prove the diagonal theorems — equal for rectangles, perpendicular and angle-bisecting for rhombi — and raise their converses into tests.
  • Organize the four figures' inclusions in an Euler diagram, and cash in the inheritance that inclusive definitions provide.

One condition, one figure

The parallelogram's definition said nothing about angles or lengths. Now we add one condition at a time — tighten the angles and get a rectangle, tighten the sides and get a rhombus, tighten both and get a square.

DefinitionRectangle · Rhombus · Square

A quadrilateral with four right angles is a rectangle; one with four equal sides is a rhombus; one with four equal angles and four equal sides is a square.

All three are automatically parallelograms. A rectangle's consecutive angles sum to 90°+90°=180°90° + 90° = 180°, so the co-interior test makes both pairs of sides parallel; a rhombus has equal opposite sides, tripping Test 1. So each starts life having inherited all three parallelogram properties — equal opposite sides, equal opposite angles, mutually bisecting diagonals.

Note also that the tests are looser than the definitions. In a parallelogram, one right angle forces all four (consecutive angles are supplementary) — "parallelogram ++ one right angle == rectangle." Likewise one pair of equal adjacent sides lets the opposite-side property equalize the rest — "parallelogram ++ adjacent equal sides == rhombus."

A rectangle's diagonals are equal

Theorem — The two diagonals of a rectangle have equal length.

A B C D
In a rectangle, triangles ABC and BAD — equal legs, equal right angles, common side: SAS.

Proof. In rectangle ABCDABCD, compare ABC\triangle ABC and BAD\triangle BAD: BC=ADBC = AD (opposite sides), ABC=BAD=90°\angle ABC = \angle BAD = 90°, and AB\overline{AB} common — SAS gives ABCBAD\triangle ABC \cong \triangle BAD, and corresponding sides give AC=BDAC = BD. \blacksquare

The converse is also true — a parallelogram with equal diagonals is a rectangle (Problem 8 rides SSS through the same figure). This round trip is the real world's right-angle checker: to test whether a door frame or bookshelf is square, you measure not angles but the two diagonals — equal means right angles.

A rhombus's diagonals meet at right angles and split the angles

Theorem — The diagonals of a rhombus are perpendicular, and each bisects its pair of vertex angles.

A B C D O
The rhombus's diagonal — the isosceles axis theorem clocking in twice.

Proof. Let the diagonals of rhombus ABCDABCD meet at OO. Triangle ABDABD is isosceles with AB=ADAB = AD, and OO is the midpoint of its base BD\overline{BD} (inherited Property 3). So AO\overline{AO} joins the apex to the base's midpoint — it is the isosceles axis: perpendicular to the base and bisecting the apex angle (ABOADO\triangle ABO \cong \triangle ADO by SSS). Hence ACBD\overline{AC} \perp \overline{BD} and BAC=DAC\angle BAC = \angle DAC. Run the same argument from vertex BB and BD\overline{BD} bisects B\angle B as well. \blacksquare

The axis we stacked up in the isosceles unit — apex bisector == median == perpendicular bisector — holds office in the rhombus under the title of diagonal. The converse — a parallelogram with perpendicular diagonals is a rhombus — is proved alongside in Problem 6.

The Euler diagram: a map of inheritance

Note

Fold the inclusions into one picture: quadrilaterals \supset parallelograms \supset rectangles and rhombi, with the intersection being the squares. Back in the definitions lesson we adopted the inclusive design — "a square is a rectangle" — and here the reward is paid out: the square inherits the rectangle's theorem (equal diagonals) and the rhombus's (perpendicular, angle-bisecting) without a line of new proof. A square's diagonals are equal, meet at right angles, bisect each other, and split each vertex angle into 45°45°s.

Quadrilaterals ⊃ parallelograms ⊃ rectangles and rhombi — the overlap is the squares
Watch out

A frequent slip is pairing the diagonal conditions with the wrong figures — it is equal ↔ rectangle, perpendicular ↔ rhombus (not the other way). And both tests carry the mandatory premise "in a parallelogram": not every quadrilateral with perpendicular diagonals is a rhombus — next lesson's kite is a living counterexample. A test stripped of its premise is no test at all.

Example 1 · Computing off the inheritance

The diagonals of square ABCDABCD meet at OO, with OA=4OA = 4. Find the diagonal length and OAB\angle OAB.

Solution. Diagonals bisect each other (parallelogram inheritance): AC=2OA=8AC = 2 \cdot OA = 8; and by rectangle inheritance BD=AC=8BD = AC = 8. By rhombus inheritance the diagonal bisects the 90°90° vertex angle:

OAB=45°.\angle OAB = 45°.

All three ancestors — parallelogram, rectangle, rhombus — clocked in exactly once.