>>808
2*√2*(1/2)*sin45
で出しました。