证明:∵ , (已知)
∴(____________)
∴ , (____________)
∵ , (已知)
∴______,(____________)
即 ,
∵ , (____________)
∴ , (等量代换)
∴ . (____________)
证明:(已知).
∴(_________).
∵(已知),
∴_________(__________).
∴______(___________).
∴(__________).