円周角の定理より、∠ADB = ∠ACB = 1である。
三角形APDにおいて、∠APD = ∠CPBである(対頂角)。
三角形APDの内角の和は180度なので、∠PAD = 180 - ∠ADP - ∠APD である。
同様に、三角形CPBの内角の和は180度なので、∠BCP = 180 - ∠CBP - ∠CPB である。
方べきの定理より、
AP⋅PB=CP⋅PD 2⋅PB=CP⋅4 三角形ABCにおいて、∠BAC = ∠PADであるから、∠BAC = 180 - 1 - xである。
∠BAC + ∠ACB + ∠ABC = 180であるから、
180 - 1 - x + 1 + x = 180
これは常に成り立つ。
円周角の定理より、∠CAB = ∠CDB である。
サイン法則を用いる。
三角形ACPにおいて
sin(∠ACP)AP=sin(∠CAP)CP sin(∠ACP)2=sin(x)CP sin(∠ACP)=CP2sin(x) 三角形BDPにおいて
sin(∠PBD)DP=sin(∠PDB)PB sin(x)4=sin(1)2CP sin(x)=2CP4sin(1)=CP2sin(1) sin(∠ABC)sin(∠ACB)=sinxsin1 四角形ADBCは円に内接するので、トレミーの定理が成り立つ。
AB⋅CD=AC⋅BD+AD⋅BC ∠DAP = x である。
∠ADP+∠DAB=180 ∠PAD=180−1−x PB=2,CP=1 AP⋅PB=DP⋅PC ∠ABC=∠ADC ∠ACB=∠ADB