卡在這題?用 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 →