Let ∠MBA=α and ∠NBA=β. Since A,M,B,P lie on circle k1, quadrilateral AMBP is cyclic. Therefore, ∠AMP=180∘−∠ABP. Since A,N,B,Q lie on circle k2, quadrilateral ANBQ is cyclic. Therefore, ∠ANQ=180∘−∠ABQ. Let MP and NQ intersect line AB at X and Y respectively. We want to prove that MP∥NQ, which is equivalent to showing ∠BMX=∠BNY, where X and Y are such that X is on line MP and Y is on line NQ. Since AMBP is cyclic, ∠MPA=∠MBA=α. Then ∠BMP=∠AMP−∠AMB=(180∘−∠ABP)−∠AMB. Similarly, since ANBQ is cyclic, ∠NQA=∠NBA=β. Then ∠BNQ=∠ANQ−∠ANB=(180∘−∠ABQ)−∠ANB. We have ∠PBM=∠PBA=α and ∠QBN=∠QBA=β. Now, ∠AMP=180∘−∠ABP. Thus ∠BMP=∠AMB=180∘−∠MPA−∠BAM ∠ANQ=180∘−∠ABQ. Thus ∠BNQ=∠ANB ∠PBA=∠PMA and ∠QBA=∠QNA. Since MP intersects AB and NQ intersects AB, we need to show that alternate interior angles are equal. Let ∠AMP=θ. Then ∠ABP=180∘−θ. Thus ∠MBP=θ. Let ∠ANQ=ϕ. Then ∠ABQ=180∘−ϕ. Thus ∠NBQ=ϕ. Let the line through A intersecting the two circles at M and N. Let line through B intersecting the two circles at P and Q.
∠MBA=∠MPA and ∠NBA=∠NQA Also ∠MAB=∠MPB and ∠NAB=∠NQB. ∠MPA=∠MBA and ∠QNA=∠NBA. If we let ∠BAM=x, then ∠BAP=x. Let ∠BAN=y, ∠BAQ=y. Since MP and NQ are transversal lines. Since the angles subtended by MA and NA at B are ∠MBA=α, and ∠NBA=β. Then ∠MPA=α and ∠NQA=β. ∠BMP=180−∠AMP=180−(180−α)=α. ∠BNQ=180−∠ANQ=180−(180−β)=β. Then ∠MBP=180−∠MAP Since ∠MPA=∠MBA and ∠NQA=∠NBA, we have ∠MBA−∠NBA=∠MPA−∠NQA. ∠MBA=∠MPA (angles subtended by arc AM) ∠NBA=∠NQA (angles subtended by arc AN) Let MP∩AB=X and NQ∩AB=Y. We need to show ∠AXM=∠AYN. ∠AXM=180−∠MXA.