(假设横现实AB 那条射线是OC)
证明:设以O为垂点做一条垂线OD 得∠DOA为∠3
∠1与∠2为邻补角 所以 ∠1+∠2=180*
如图∠1=90*+∠3 ∠3+∠2=90*
所以1/2(∠1-∠2)=1/2(∠90*+∠3-90*+∠3)=∠3
又因∠2与∠3互余
所以∠2与1/2(∠1-∠2)是互余的关系
(假设横现实AB 那条射线是OC)
证明:设以O为垂点做一条垂线OD 得∠DOA为∠3
∠1与∠2为邻补角 所以 ∠1+∠2=180*
如图∠1=90*+∠3 ∠3+∠2=90*
所以1/2(∠1-∠2)=1/2(∠90*+∠3-90*+∠3)=∠3
又因∠2与∠3互余
所以∠2与1/2(∠1-∠2)是互余的关系