回复:假如要证的条件成立,再加上给定的条件,两个三角形ABX和BCY三边相等,所以全等,所以三角相等,

好像逻辑不太严谨,要推p~q, 反证法是not q~ not p, 你这是p&q ~ r, r~q, 不能得到p~q

请您先登陆,再发跟帖!