7.9 神奇的直角三角形