菱形定理有哪些