我给个例题你看一下，截取的PC=PA是为了后续的证明搭桥的，如果不能证明BC=CO，就没必要截取PC了。你说的把证明的结论当已知条件，得有依据，你能不能举个例子
直接把求证的变成已知那叫做反证法
那是定律，可以直接用的！
