証明 (c-d)/(a-b) が実数になる条件は ((c-d)/(a-b)) = (c-d)/(a-b) つまり (c-d)(a-b) = (c-d)(a-b) である。a,b,c,d は長さが 1 なので、これは 　(d-c)(a-b)/cd = (c-d)(b-a)/ab である。(d-c)(a-b)　は 0 でないので これは、条件 　cd = ab と同じである。 ひとつ戻る 戻る