>>352
P=x+yi
Q=P*(1/2 + i√3/2) + i
P=QのときP=P*(1/2 + i√3/2) + i
PQが(0,1)を通るとき
∃t( P(1-t)+(P*(1/2 + i√3/2) + i)t = i )