如图, 点为 上的点, 为 上的点, , ,求证: .证明:∵ (已知), , ({#blank#}1{#/blank#}),
∴ (等量代换).
∴{#blank#}2{#/blank#} {#blank#}3{#/blank#}({#blank#}4{#/blank#}).
∴ ({#blank#}5{#/blank#}).
∵ ({#blank#}6{#/blank#}),
∴ {#blank#}7{#/blank#}({#blank#}8{#/blank#}).
∴ ({#blank#}9{#/blank#}).