矩形有哪些证明方法