直角三角形的边长可以是无理数吗?