A,（3,π/4）,B（-3,π/12）=(3,13π/12)
|OA|=|OB|=3
角AOB＝ 13π/12-π/4＝5π/6
用余弦定理得：
AB＝3√（2+√3）＝3/2*(√6+√2)