This question was asked in Example 11
Why sin45 1 root 2

Shoaib Katoch's image