参考文献/References:
[1] Gerretsen J C. Ongelij kheden in the driehoek [J]. Nieuw Tijdschr Wisk, 1953.1-7.
[2] Mitrinovic′ D S, Pecˇaric′ J E, Volenec V. Recent advances in geometric inequalities [M]. Paris:Kluwer Academic Publishers, 1989.44-45.
[3] 单砮. 几何不等式在中国 [M]. 南京:江苏教育出版社, 1996.31-137.
[4] 杨学枝. 不等式研究 [M]. 拉萨:西藏人民出版社, 2000.123-406.
[5] 匡继昌. 常用不等式 [M]. 长沙:湖南教育出版社, 1993.229-270.
[6] 杨学枝. 一类三角形不等式的统一证法 [J]. 数学竞赛, 1994, (19):24-40.
[7] Bottema O, 单砮. 几何不等式 [M]. 北京:北京大学出版社, 1991.57-58.
[8] 刘玉琏, 傅沛仁. 数学分析讲义 [M]. 北京:高等教育出版社, 1992.92-93.
[9] 杨路. 不等式机器证明的降维算法与通用程序 [J]. 高技术通讯, 1998(7):20-25.doi:10.3321/j.issn:1002-0470.1998.07.005.
[10] 杨路, 侯晓荣. 自动发现不等式型定理的一个完备算法 [J]. 中国科学E辑, 2001(3):273-288.doi:10.3321/j.issn:1006-9275.2001.03.011.
[11] 刘保乾. Bottema, 我们看见了什么—三角形不等式研究的新理论、新方法和新结果 [M]. 拉萨:西藏人民出版社, 2003.422-428.