kill(all);

fpprintprec:3;

van=facebook.com/LearningCalculus$

DE: sqrt(1-sqrt(3)*AD+AD^2);

      CE equals DE

(1-AD^2)/(DE^2);

solve(sqrt(3)=(1-AD^2)/(DE^2),AD);

float(%);