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 5 of 6: Repeat the argument on the DD side: DODO bisects ∠ADP\angle ADP
In plain words

Swapping the roles of A↔BA\leftrightarrow B and D↔CD\leftrightarrow C, and β\beta for α\alpha, repeats exactly the same computation.

∠AOP=2∠ABP=4α,∠ADP=180∘−(∠PAD+∠DPA)=180∘−4α  ⟹  A,D,P,O concyclic  ⟹  ∠ADO=∠ODP\angle AOP=2\angle ABP=4\alpha,\qquad \angle ADP=180^\circ-(\angle PAD+\angle DPA)=180^\circ-4\alpha\implies A,D,P,O\text{ concyclic}\implies \angle ADO=\angle ODP
Detailed analysis

By the same reasoning with A,D,αA,D,\alpha in place of B,C,βB,C,\beta: the central angle ∠AOP=2∠ABP=4α\angle AOP=2\angle ABP=4\alpha, and the triangle angle sum gives ∠ADP=180∘−∠PAD−∠DPA=180∘−α−3α=180∘−4α\angle ADP=180^\circ-\angle PAD-\angle DPA=180^\circ-\alpha-3\alpha=180^\circ-4\alpha. Their sum is 180∘180^\circ, so A,D,P,OA,D,P,O are concyclic, and OA=OPOA=OP gives ∠ADO=∠ODP\angle ADO=\angle ODP, so DODO bisects ∠ADP\angle ADP.