MathDB
Find the side lengths of triangle

Source: China TST 2003

June 29, 2006
geometrycircumcirclegeometry proposed

Problem Statement

In triangle ABCABC, AB>BC>CAAB > BC > CA, AB=6AB=6, BC=90o\angle{B}-\angle{C}=90^o. The incircle touches BCBC at EE and EFEF is a diameter of the incircle. Radical AFAF intersect BCBC at DD. DEDE equals to the circumradius of ABC\triangle{ABC}. Find BCBC and ACAC.