We first prove the following lemma:
Lemma 1. Let ABCD be a convex quadrilateral and let AB∩CD=E and BC∩DA=F. Then the circumcircles of triangles ABF,CDF,BCE and DAE all pass through a common point P. This point lies on line EF if and only if ABCD is concyclic.
Proof. Let the circumcircles of ABF and BCF intersect at P=B. We have
∠FPC=∠FPB+∠BPC=∠BAD+∠BEC=∠EAD+∠AED==180∘−∠ADE=180∘−∠FDC
which gives us F,P,C and D are concyclic. Similarly we have
∠APE=∠APB+∠BPE=∠AFB+∠BCD=∠DFC+∠FCD==180∘−∠FDC=180∘−∠ADE
which gives us E,P,A and D are concyclic. Since ∠FPE=∠FPB+∠EPB=∠BAD+ ∠BCD we get that ∠FPE=180∘ if and only if ∠BAD+∠BCD=180∘ which completes the lemma. We now divide the problem into cases:
Case 1: AEPF and BFEC are concyclic. Here we get that
180∘=∠AEP+∠AFP=360∘−∠CEB−∠BFC=360∘−2∠CEB
and here we get that ∠CEB=∠CFB=90∘, from here it follows that P is the orthocenter of △ABC and that gives us ∠ADB=∠ADC=90∘. Now the quadrilaterals CEPD and BDPF are concyclic because
∠CEP=∠CDP=∠PDB=∠PFB=90∘.
Quadrilaterals ACDF and ABDE are concyclic because
∠AEB=∠ADB=∠ADC=∠AFC=90∘
Case 2: AEPF and CEPD are concyclic. Now by lemma 1 applied to the quadrilateral AEPF we get that the circumcircles of CEP,CAF,BPF and BEA intersect at a point on BC. Since D∈BC and CEPD is concyclic we get that D is the desired point and it follows that BDPF,BAED,CAFD are all concyclic and now we can finish same as Case 1 since AEDB and CEPD are concyclic.
Case 3: AEPF and AEDB are concyclic. We apply lemma 1 as in Case 2 on the quadrilateral AEPF. From the lemma we get that BDPF,CEPD and CAFD are concyclic and we finish off the same as in Case 1.
Case 4: ACDF and ABDE are concyclic. We apply lemma 1 on the quadrilateral AEPF and get that the circumcircles of ACF,ECP,PFB and BAE intersect at one point. Since this point is D (because ACDF and ABDE are concyclic) we get that AEPF,CEPD and BFPD are concyclic. We now finish off as in Case 1. These four cases prove the problem statement.
Remark. A more natural approach is to solve each of the four cases by simple angle chasing.
## Number Theory