本帖最后由 作者 于 2008-1-25 10:05:39 编辑
最小的半径不存在的,若存在,则四边形会退化为一个三角形。 设凸四边形ABCD有内切圆,其半径为r,AB=a,BC=b,CD=c,DA=d,a+c=b+d,点A、B、C、D到内切圆切点的切线长分别为w、x、y、z,则 w+x=a,x+y=b,y+z=c,z+w=d, 于是 x=a-w,y=b-x=b-a+w,z=d-w,w+x+y+z=a+c=b+d, r^2=(wxy+wxz+wyz+xyz)/(w+x+y+z)=(wx(y+z)+yz(w+x))/(a+c)=(cw(a-w)+a(b-a+w)(d-w))/(a+c), f(w)=acw-cw^2+ad(b-a)+a(a+d-b)w-aw^2=ad(b-a)+(a^2+ad+ac-ab)w-(a+c)w^2=ad(b-a)+2adw-(a+c)w^2, 因此半径最大时这个四边形是双心四边形,并且内切圆半径为√(abcd)/(a+c)。 要所求的四边形存在,必须保证以下四个条件同时成立:w>0,w<a,w>a-b,w<d,根据f(w)的单调性,可知f(w)不存在最小值。 若允许四边形退化为三角形,则只需要判断max(0,a-b)与min(a,d)哪个远离ad/(a+c),将这个w值代入f(w)就可以求出最小的半径了。 |