[↑] , [←] , [^] , [→] 四角形の対角線に垂線の足を下ろしてできる四角形 / 相似比は何で決まるのか( GC World 2 : 探究記録 ,探究記録集 1 )

対角線が直交するときに, 1点になってしまうというのを一般化しようと思い,相似比は何で決まるのかを考えてみようとした。∠EOFが関係するはずだし, ∠EOF = ∠R のときに0, そして, 1を越えることはなさそうということから,
cos(∠EOF)を測定してみた。
「これでオッケー」ということになってしまった。
考えて「こうなるはずだ」と(証明としての)確信を得てから測定すべきなのか,
同じ考えるのでも, 上記のような状況証拠から, 妥当性という意味での確信から測定し, 結果を見て,どうも大丈夫そうという確信(ただし証明はない)で満足してもいいのか。
そのあたりのわだかまりが少し残った。

GC/Win


Forum of Geometric Constructor by Y.Iijima