>>571
OR↑をa↑、b↑で表すのはできないと
∠AOBの二等分線はk(a↑/|a↑|+b↑/|b↑|) kは実数、と表せるので
OR↑=k(a↑/|a↑|+b↑/|b↑|)からa:bを出す

>>574
ACで折ってBCDを下にして立ててる
三角錐A-BCDで面ABDとBCDがないような状態

>>577
判別式