>>59
>>天下りに エレガントな式変形(実は知られた高等テクニックの一つ)を使うと 綺麗に解ける
>>昔の東大入試に多かった気がする
>天下りの使い方間違ってる。

じゃ
天下り
　↓
神がかり

とでもすればいい
ポアンカレが 馬車に乗ろうとしたとき フックス関数のアイデアが降ってきたという
ある日本の数学者が 閉店前の喫茶店でコーヒーを飲んでいると ある数式が振ってきた

aa≠2bbは、背理法証明の √2＝a/b から自然に出てくるよ （>>56）
が、背理法証明の √2＝a/bを知らない人が それをどうやって思いつく？
そこをすっ飛ばして、3行証明が 背理法証明より短いし 背理法よりえらいと言われてもね