MathDB
EF bisects A'K in triangle with 45° angle

Source: Sharygin 2019 Finals Day 1 Grade 10 P1

July 30, 2019
geometry

Problem Statement

Given a triangle ABCABC with A=45\angle A = 45^\circ. Let AA' be the antipode of AA in the circumcircle of ABCABC. Points EE and FF on segments ABAB and ACAC respectively are such that AB=BEA'B = BE, AC=CFA'C = CF. Let KK be the second intersection of circumcircles of triangles AEFAEF and ABCABC. Prove that EFEF bisects AKA'K.