证明:∵ , (已知)
∴(____________)
∴ , (____________)
∵ , (已知)
∴______,(____________)
即 ,
∵ , (____________)
∴ , (等量代换)
∴ . (____________)
证明:(已知).
∴(_________).
∵(已知),
∴_________(__________).
∴______(___________).
∴(__________).
小莲同学解答如下:
∵ ,
∴ ,
∴
小莲的证法是否正确?若正确,请在框内打“√”;若错误,请写出你的证明过程.