bibliographic details : 三角证明例题选