برهان خلف (اثبات غیر مستقیم) یکی از روش هایی است که به منظور اثبات قضایا می توان از آن کمک گرفت.