证明角o等于1/2角a