在直角三角形中三十度所对的直角边是另一个直角边的一半吗?这是勾股定理吗?