阿基米德三角形性质及证明