Problems(1)
Triangle ABC has circumcenter O and incenter I. The incircle is tangent to AC,AB at E,F, respectively. H is the orthocenter of △BIC. ⊙(AEF) and ⊙(ABC) intersects again at S. BC,AH intersects OI again at J,K, respectively. Prove that H,K,J,S are concyclic.Proposed by chengbilly geometryIMOC