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

じゃ
天下り
 ↓
神がかり

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

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