平面常宽凸集的Firey-Sallee定理.pdf

何刚等：平面常宽凸集的Firey-Sallee定理 本文极简化地证明了宽度为 b的正Reuleaux多边形中面积最大与最小问题，即给出了以下关于 平面常宽凸集的Firey—Sallee定理的一个简化证明． 主要定理 在宽度为 b的正Reuleaux多边形中Reuleaux三角形的面积最小． 2 预备知识 设K为Euclid空间 中点集，如果任意两点 ∈K，Y∈K时，连接X和 Y的线段 可 ，则 为凸集，即 (1一A)x+Ay∈K， 0≤A≤1． 凸集 的边界记为OK．设 为Euclid平面 0上一凸集，点P∈OK．若过点P的直线 使得 完全位于由 划分 所形成的二闭半平面之一当中，我们就称 ￡是凸集 过 P点的支持线，点P 称为支持线 与凸集 的接触点．过凸集的任一边界点至少有一条支持线[21]． 在平面直角坐标系 xOy中，任意一条直线G可用原点到它的距离P和从 正半轴到 G的法线 的夹角 西来确定．因此，G的方程为 [21] G(p，)：XCOS +Ysin 一P：0， 0≤P+。。， 0≤ 27r． (2．1) 当直线 G过原点时P=0． 设 为紧凸集，自原点 0 引射线 OR (如图 1所示)．作垂直于 OR且与 相交的任意直线 G1(P，)．紧凸集 沿 方向的支持函数定义为 p()：sup{p1：G1(pl，咖)nK≠ }． (2．2) 与 (2．2)中p()相应的直线 G(p，)称为 沿 方向的支持线． 设凸集 的边界 OK为 C。类．凸集 的所有支持线构成单参数直线族，OK 可视为此直线族 的包络．据此可导出用支持函数表示的该凸集的周长和面积公式． 设p()为凸集 的支持函数，则 的支持线族的方程为 XCOS +Ysin 一p()=0． (2．3) J D＼ ＼ a 图 1 支持线与支持函数 392 何刚等：平面常宽凸集的Firey-Sallee定理 3 主要定理的证明 凸集 K 沿 西方向的宽度函数定义为 叫()=p()+p(+丌)． (3．1) 显然，宽度函数 叫(西)刻画了对应于方向咖和 +丌的二平行支持线间的距离．由 (3．1)可得 (+7r)=p(+丌)+ (+27r)= () 上式结合 (2．7)可得用宽度函数表示凸集 K 的周长公式为 ()d： 枷()d=去(p()d+p(+丌)d)=． (3．2) 若 ()三b(常数)，则称 K为常宽凸集，其边界曲线OK称为常宽曲线．显然，圆是常宽凸集，后 来德国工程师Reuleaux于 1876年构造了非圆的常宽凸集，其构造为分别以等边三角形 △P1P2 的 顶点 ，P2和 为圆心，P1 ， P3和 为半径作弧 ， 和 ，由这三段圆弧围成的 凸域是非圆的常宽凸集，称为 Reuleaux三角形 (如图 3所示)．类似地，可由等边 2n+1frt≥2)边 形的每个顶点向 对“边”作圆弧构造出非圆的常宽凸集，即 Reuleaux多边形[21，22]．近来人们利用不 同的方法构造出许多新的常宽凸集 [22-25】．常宽凸集广泛应用在机械工程 2【63】、医学I32]、计算机、建 筑、化工和地理等方面． 我们考虑正Reuleaux(2n+1)一边形的面积，设其为 +1．如图4中，从正 (2n+1)一边形的 向 对“边”P2 冲1作圆弧