看完不会?让 AI 一步步解给你看
Geometry · real student question

设 ∠xAy 是锐角,B 是射线 Ax 上一点,Bm 是 ∠xAy 内部一条与 Ay 平行的射线。Au 与 Bv 分别平分 ∠xAy 和 ∠xBm。(a) 求证 Au 平行于 Bv。(b) 若 Bz 平分 ∠ABm,求证 ∠vBz = 90 度。(c) 由此推出 Bz 垂直于 Au。

Question

设 ∠xAy\angle xAy 为锐角。在射线 AxAx 上取一点 BB,并在 ∠xAy\angle xAy 内部作射线 Bm∥AyBm\parallel Ay。设 AuAu、BvBv 分别是 ∠xAy\angle xAy 与 ∠xBm\angle xBm 的平分线。

(a) 求证:Au∥BvAu\parallel Bv。
(b) 设 BzBz 平分 ∠ABm\angle ABm。求证:∠vBz=90∘\angle vBz=90^{\circ}。
(c) 由此推出 Bz⊥AuBz\perp Au。

Step-by-step solution

  1. (a) 借助平行射线把角搬过去。 因为 Bm∥AyBm\parallel Ay,而 AxAx 是同时截它们于 AA、BB 的截线,所以 ∠xBm\angle xBm 与 ∠xAy\angle xAy 是同位角,因而相等:

    ∠xBm=∠xAy\angle xBm=\angle xAy

  2. 把这两个相等的角各取一半。 角平分线把相等的角分成相等的一半,于是

    ∠xBv=12∠xBm=12∠xAy=∠xAu\angle xBv=\tfrac12\angle xBm=\tfrac12\angle xAy=\angle xAu

    这两个角又正是截线 AxAx 截 AuAu 与 BvBv 所成的同位角。同位角相等,两条直线就必然平行:

    Au∥BvAu\parallel Bv

  3. (b) 找出 B 处的那对互补角。 AA、BB 与方向 xx 在同一条直线上,且 BB 在 AA 与 xx 方向之间,所以射线 BABA 与 BxBx 方向相反。于是 ∠ABm\angle ABm 与 ∠xBm\angle xBm 构成一对邻补角:

    ∠ABm+∠xBm=180∘\angle ABm+\angle xBm=180^{\circ}

  4. 把这对邻补角也各取一半。 BzBz 平分 ∠ABm\angle ABm,BvBv 平分 ∠xBm\angle xBm,而这两个被平分的角沿着直线相邻,所以

    ∠vBz=12∠xBm+12∠ABm=12(∠xBm+∠ABm)=12(180∘)=90∘\angle vBz=\tfrac12\angle xBm+\tfrac12\angle ABm=\tfrac12\left(\angle xBm+\angle ABm\right)=\tfrac12(180^{\circ})=90^{\circ}

    ∠vBz=90∘\boxed{\angle vBz=90^{\circ}}

    这正体现了一条一般结论:一对邻补角的平分线永远互相垂直。

  5. (c) 把两个结论拼起来。 由 (b) 得 Bz⊥BvBz\perp Bv;由 (a) 得 Bv∥AuBv\parallel Au。一条直线垂直于两条平行线中的一条,就必定垂直于另一条,所以

    Bz⊥AuBz\perp Au

    Au∥Bv,∠vBz=90∘,Bz⊥Au\boxed{Au\parallel Bv,\quad \angle vBz=90^{\circ},\quad Bz\perp Au}

  6. 取一个具体角度检验。 令 ∠xAy=60∘\angle xAy=60^{\circ}。则 ∠xBm=60∘\angle xBm=60^{\circ},于是 ∠xBv=30∘=∠xAu\angle xBv=30^{\circ}=\angle xAu ✓(同位角相等)。又 ∠ABm=120∘\angle ABm=120^{\circ},故 ∠ABz=60∘\angle ABz=60^{\circ},∠vBz=30∘+60∘=90∘\angle vBz=30^{\circ}+60^{\circ}=90^{\circ} ✓。注意 (c) 的结论是 Bz⊥AuBz\perp Au,而不是 Bz⊥AyBz\perp Ay——除非 AuAu 恰好与 AyAy 重合,否则这是两条不同的直线。

Answer

Au∥Bv; ∠vBz=90∘; 于是 Bz⊥AuAu\parallel Bv;\ \angle vBz=90^{\circ};\ \text{于是 }Bz\perp Au

Need to solve a different problem like this? Open the solver →