这个倒是可以证明
假设两个展开面的切点为E，CE=x
总长=AE+EB=sqrt[h^2+(x-a)^2]+sqrt[l^2+b^2-2lbcos(x/l)]
对x求导，当导数为0时有最小值，即
(x-a)/sqrt[h^2+(x-a)^2] + [bsin(x/l)]/sqrt[l^2+b^2-2lbcos(x/l)] = 0
时有最小值。
得 (a-x)/AE = [bsin(x/l)]/EB
(a-x)/AE 即 AE 与垂直方向（即OE）的夹角的正弦
[bsin(x/l)]/EB 即 EB 与OE的夹角的正弦
且这两个角都小于90度，所以它们相等，所以这时AEB共线。

【 在 usbdeveloper (CY7C68013) 的大作中提到: 】
: 两点之间直线距离最短不错  这是在两点间存在这样的直线的前提下 具体到这个题 你怎么确定这样的路线是存在的呢 也可能这样的直线根本不存在 最小值是比直线距离更大点的值呢
--
FROM 27.38.242.*