>>10は確かに範囲外だけど
>>11は範囲内。
>>9は>>28の手法をより詳細に証明しただけじゃないかな?
π/8=15°だし