标签python勾股定理证明图赵爽弦图