座標空間のｚ座標が0以上の範囲に正8面体があって、その三つの頂点が
O（0，0，0）A（2，0，0）B（1，√3，0）
であるという。残りの3つの頂点の座標を求めよ。

お願いします