>>693
Eの座標は(ab(u-v)/(bu-av)、-ab(a-b)/(bu-av)）になる。
したがって、EOの傾きは　-(a-b)/(u-v)になる。一方、ABの傾きは(u-v)/(a-b)。
よってEOとABが直交する。