>>970
a↑//b↑ならばb↑=k×a↑とおける。
x1:y1=x2:y2=x3:y3=1:k