Funar猜想的证明

针对Funar猜想:“设任意三角形位于闭单位正方形内,则该三角形的内切圆半径,r≤(5-1)/4”,研究了与其等价的某二元函数的最小值问题;利用对此二元函数驻点及其取值、边界取值讨论,证明了等价问题成立,进而此Funar猜想得证。