∫0∞ⅇ-a⁢t⁢cos⁡(t2)⁢ⅆ⁡t=π2⁢f⁡(a2⁢π),