có $\hat{xOy}$=`180^\circ` ($\hat{xOy}$ góc bẹt theo giả thuyết)  
`->`$\hat{xOz}$+$\hat{zOy}$=`180^\circ` ($\hat{xOz}$+$\hat{zOy}$=$\hat{xOy}$)  
ta có Oa là phân giác của $\hat{xOz}$ (gt)  
`->`$\hat{aOz}$=`1/2 \hat{xOz}` (`1`)   
ta có Ob là phân giác của $\hat{yOz}$ (gt)  
`->`$\hat{bOz}$=`1/2 \hat{yOz}` (`2`) 
từ (`1`) và (`2`) ta có: 
 $\hat{bOz}$+$\hat{aOz}$=`1/2 \hat{xOz}` +`1/2 \hat{yOz}`  
=`1/2`(` \hat{xOz}` +` \hat{yOz}`) 
 mà ` \hat{xOz}` +` \hat{yOz}`=$180^\circ$ (cmt) 
`->`  `1/2`(` \hat{xOz}` +` \hat{yOz}`) =`1/2` `180^\circ` =`90^\circ`  
vậy $\hat{bOz}$+$\hat{aOz}$=`90^\circ`=$\hat{aOb}$ 
vậy aO $\perp$ bO (số đo $\hat{aOb}$= `90^\circ`)