一个锐角是45度的直角三角形,它的两条直角边是它的