bèi lǐ fǎ / zài / shù xué / zhèng míng / zhōng / fēi cháng / cháng yòng背理法在数学证明中非常常用。Proof by contradiction is very common in mathematical proofs.