用余弦定理证明直角三角形