zài / zhèng / míng / zhè / ge / mìng / tí / shí / lǎo / shī / cǎi / yòng / le / fǎn / zhèng / fǎ

在证明这个命题时，老师采用了反证法。

The teacher used proof by contradiction to prove this proposition.