已知:如图, , .
求证: .
证明:∵(已知),
∴(________________),
又∵(已知),
∴________(等量代换),
∴________(________________),
∴(________________).