由C为弧AB的中点,OC为半径,利用垂径定理的逆定理得到PA=PB,OC垂直于AB,由AP为AB的一半,根据题中条件用AO表示出AP,在直角三角形AOP中,利用勾股定理表示出OP,进而确定出OP=PC,即四边形ACBO对角线互相平分,可得出此四边形为平行四边形,再由对角线垂直的平行四边形为菱形即可得证.
证明:∵C为的中点,OC为半径,
∴PA=PB,AB⊥OC,
∵AP=AB=AO,
∴OP===OA=OC,
∴PC=OC,即OP=PC,
∴四边形OACB是平行四边形,
又∵AB⊥OC,
∴四边形OACB是菱形.