所以三角形SOQ都等於三角形頂。
所以角度OSC=角度OTC
因為角度PCS=角度QCT。
PS=QT(OS-OP=OT-OQ)
所以三角形PCS都等於三角形QCT。
所以PC=QC
oc = oc，op = OQ。
所以三角形OPC全部等於三角形OQC。
所以∠OPC=∠OQC
也就是OC平分∠AOB