珍しくレスでもしようかなと思ったら奇声がかかってレスできなんだ。今度はできるかな。
でも>>169は解決したみたいだね。

>>167
＞条件（７）を満たすものの中で考えているのでしょうか？
そうなのではないでしょうか。ａ_1，・・・，ａ_i，ｂ_i，・・・，ｌ_nのすべてが独立変数であるとは考えないで
そのうちのいくつかが、他の変数の関数になっているという考えなのではないでしょうか。
ですから
＞(ａ_1，…，ａ_i＋ｈ，ｂ_i，…，ｌ_n)
＞が(7)の条件を満たしていなかったらどのようにすればいいのでしょうか？
という疑問は不要なのだと思います。

>>169
何を公理にして何を導くのか明確にしないと、ここら辺は混乱しますが、ここでは単純に
２等辺三角形で、等しい２辺の長さが１で、それにはさまれる角がθの三角形で、余弦定理でもつかって
見てはどうでしょうか？そして角度θの対辺の長さを求めるのに距離の公式を使います。
まあ、イメージは自由に描いてもいいのでしょうが、
幾何学的直観を数学の定式化に用いるかどうかは、その人それぞれなんでしょうなあ。