MathLabs

Problem 1

Consider the convex quadrilateral ABCDABCD. The point PP is in the interior of ABCDABCD. The following ratio equalities hold: ∠PAD:∠PBA:∠DPA=1:2:3=∠CBP:∠BAP:∠BPC\angle PAD : \angle PBA : \angle DPA = 1 : 2 : 3 = \angle CBP : \angle BAP : \angle BPC. Prove that the following three lines meet in a point: the internal bisectors of angles ∠ADP\angle ADP and ∠PCB\angle PCB, and the perpendicular bisector of segment ABAB.
Step 4 of 6: Deduce that B,C,P,OB,C,P,O are concyclic and that COCO bisects ∠PCB\angle PCB
In plain words

Opposite angles summing to 180∘180^\circ is exactly the cyclic-quadrilateral criterion, and equal radii OB=OPOB=OP subtend equal angles from any point on that circle.

∠BOP+∠BCP=180∘  ⟹  B,C,P,O concyclic  ⟹  ∠BCO=∠OCP\angle BOP+\angle BCP=180^\circ\implies B,C,P,O\text{ concyclic}\implies \angle BCO=\angle OCP
Detailed analysis

Since ∠BOP+∠BCP=4β+(180∘−4β)=180∘\angle BOP+\angle BCP=4\beta+(180^\circ-4\beta)=180^\circ, quadrilateral BCPOBCPO is cyclic. As OB=OPOB=OP are both radii of the circumcircle of APBAPB, the equal chords OB,OPOB,OP subtend equal angles from CC on circle BCPOBCPO, so ∠BCO=∠OCP\angle BCO=\angle OCP; hence COCO bisects ∠PCB\angle PCB.