加法定理よりsin{(π/4)+θ}=(1+√7)/4
よって△ＡＣＤはＡＤ＝ＣＤの二等辺三角形
また∠ＡＤＣ＝(π/2)-2θ
以上から△ＡＣＤについての正弦定理でＡＤの長さが求まる