Proof by contradiction was a thought that went thru my mind as well when reading this article. Not sure if high school teaches that stream of thought, can't recall using such methodology in school.
It was also called indirect proofs by textbook, and it’s when I first fell in love with math.
Note: Linear algebra killed said love of math for me ever so slightly, when the instructor chose a terrible textbook.