結果 : prove root 2 is an irrational number by contradiction method