sin (x/2)=1/(2 r), sin(pi/4-x/2)=3/(r sqrt(2))