蝴蝶定理的八种证明及三种推广