30°-60°-90° 直角三角形：30° 对边 = 斜边/2

依赖：直角斜边中线 = 斜边/2（D.08）、等腰三角形底角相等（C.01）、一角 60° 的等腰 ⇒ 等边（C.04）。

陈述

已知：直角 $\triangle ABC$ 中 $\angle A = 30^\circ$ 、 $\angle B = 60^\circ$ 、 $\angle C = 90^\circ$ （ $AB$ 为斜边， $BC$ 为 $30^\circ$ 角 $A$ 所对的直角边）。

求证： $30^\circ$ 角所对的直角边等于斜边的一半，即

|BC| \;=\; \tfrac{1}{2}\,|AB|.

$直角 \triangle ABC：\angle A = 30^\circ、\angle B = 60^\circ、\angle C = 90^\circ，AB 为斜边。$