That's proof by contradiction: https://en.wikipedia.org/wiki/Reductio_ad_absurdum