等腰直角三角形有哪些定理