机器证明四点共圆及三线共点

天山草

四个圆 Z0, Z1, Z2, Z3 相互外切，则切点 P1, P2, P3, P4 共圆。并且直线 Z3Z0, P2P1, P4P3 三线共点， 直线 Z1Z2, P1P3, P2P4 三线共点。

天山草

本问题是由 ccmmjj 网友提出的。但是问题的提法本帖与 ccmmjj 说的有些小区别。