等腰直角三角形斜边的长是腰长的根号2倍怎样证明