一个直角边等于斜边一半