Easy isosceles triangle geo
Source: Bulgarian Spring Tournament 2023 10.2
March 25, 2023
geometry
Problem Statement
An isosceles has . The angle bisector meets the line through parallel to at . Prove that the circumcenter of lies on . Prove that is irrational.