以（0,2）为圆心,4为半径作圆弧,与x轴的交点即x轴上的√12
因为其长度为√（4^2-2^2)=√12