在一个三角形的三边向外作正方形有什么定理