MathDB
Regional Olympiad - FBH 2015 Grade 10 Problem 3

Source: Regional Olympiad - Federation of Bosnia and Herzegovina 2015

September 23, 2018
geometryincentercircumcircle

Problem Statement

Let ABCABC be a triangle with incenter II. Line AIAI intersects circumcircle of ABCABC in points AA and DD, (AD)(A \neq D). Incircle of ABCABC touches side BCBC in point EE . Line DEDE intersects circumcircle of ABCABC in points DD and FF, (DF)(D \neq F). Prove that AFI=90\angle AFI = 90^{\circ}