>>697
↑AD=(1/2)↑b、↑OD=↑AD−↑AO=(1/2)↑b−↑AO
など。