在直角三角形中,较长直角边是15度角所对的边的（2+√3）倍,
斜边是15度角所对的边的（√2+√6）倍.