数3线代部分有证明题没?