直角边是斜边的一半怎么证明