怎样证明线段倍分题