MathLabs

Problem 4

Let ABCABC be a triangle with AB=ACAB = AC. The angle bisectors of ∠CAB\angle CAB and ∠ABC\angle ABC meet the sides BCBC and CACA at DD and EE, respectively. Let KK be the incenter of triangle ADCADC. Suppose that ∠BEK=45∘\angle BEK = 45^\circ. Find all possible values of ∠CAB\angle CAB.
Step 3 of 5: Locate E via the angle bisector from B
E=(tan⁡2x1+2sin⁡2x, 2sin⁡2x1+2sin⁡2x)E=\left(\dfrac{\tan2x}{1+2\sin2x},\ \dfrac{2\sin2x}{1+2\sin2x}\right)
Detailed analysis

The base angles are ∠ABC=∠ACB=90∘−2x\angle ABC=\angle ACB=90^\circ-2x. By the angle bisector theorem applied to BEBE in triangle ABCABC, AEEC=ABBC=ACBC=sec⁡2x2tan⁡2x=12sin⁡2x\dfrac{AE}{EC}=\dfrac{AB}{BC}=\dfrac{AC}{BC}=\dfrac{\sec2x}{2\tan2x}=\dfrac{1}{2\sin2x} (using AB=AC=sec⁡2xAB=AC=\sec2x and BC=2tan⁡2xBC=2\tan2x). Hence E=A+11+2sin⁡2x(C−A)=(tan⁡2x1+2sin⁡2x, 2sin⁡2x1+2sin⁡2x)E=A+\dfrac{1}{1+2\sin2x}(C-A)=\left(\dfrac{\tan2x}{1+2\sin2x},\ \dfrac{2\sin2x}{1+2\sin2x}\right).