So ∠EAD=θ/2 and to make the 'if' part of the statement true ∠ECD=30-θ/3 degrees
Need to show CE/BD= CE/1 = CE = 2
CE = ED/sin(30-θ/3)
CE = tan(θ/2)/[tan(θ)sin(30-θ/3)]
So really just need θ or tan(θ) or some trig function of θ to evaluate this.
Unfortunately the equations that come up don't solve easily.
AD = 1/tan(θ)
ED = ADtan(θ/2) = tan(θ/2)/tan(θ)
DC=1/AD = tan(θ)
tan(∠ECD)=tan(30-θ/3) = ED/DC
and this is where I'm stuck.
θ≈63.15323 degrees but I can't find a closed form for it or any trig function of it.
Posted by Jer
on 2014-03-31 12:56:05