托勒密定理与西姆松线定理的等价证明