六边形 A F B D C E AFBDCE AFBDCE 外切于圆 O O O, 且 O O O 为 △ A B C \triangle ABC △ABC 的外心. N N N 为 F F F 在 B D BD BD 上的投影. 过点 F F F 的 D E DE DE 的垂线交直线 O C OC OC 于 L L L, L L L 在 C D CD CD 上的投影为 N N N. 求证: D M = D N DM=DN DM=DN.
证明:
只需证明 B M = C N BM=CN BM=CN.
∠ E A F = ∠ F B D = ∠ E C D \angle EAF = \angle FBD = \angle ECD ∠EAF=∠FBD=∠ECD, A F = B F AF=BF AF=BF, A E = C E AE=CE AE=CE, B D = C D BD=CD BD=CD. (证明略)
延长 D C DC DC 至点 N ′ N' N′, 作过 N N N 的 C D CD CD 的垂线交 O C OC OC 延长线于点 L ′ L' L′.
下面证明 L ′ F ⊥ D E L'F \bot DE L′F⊥DE.
以 B F BF BF 的长度为长度的单位, 设 θ = ∠