>>971
x=5/3のときを仮定し、矛盾を導くということは
計算が上手くいき、求めたかったOCの値が5/3で正しいと仮定すると、他のところで矛盾が生じるということですよね。
ということはOC=5/3を満たすCはAB上に存在するということを仮定することになりますよね。
仰られているのは「OC=5/3を満たすCが直線ABに関してO側にある」としてしまっている気がするのですが..