施瓦尔兹三角形证明过程