talk:>>580
ベクトルAB,ベクトルACを使って色々なベクトルを表現するのが鍵となる。
b=ベクトルAB, c=ベクトルACとすると、
例えばベクトルAC'は、-√(3)|c|/2/(√(1-(b·c/(|b||c|))^2)|b|)b+(√(3)|c|/2*b·c/(|b||c|)/√(1-(b·c/(|b||c|))^2+1/2)cとなる。
ベクトルAA',ベクトルAB'も求めて、AB',B'C,CA'が一点で交わることを証明できるかもしれない。(確かめていない。)