A Generalization of

Cauchy's Arm Lemma

Introduction

Cauchy's arm lemma says that if n-2 consecutive angles of a convex polygon are opened but not beyond , keeping all but one edge length fixed and permitting that "missing" edge e to vary in length, then e lengthens (or retains its original length).

The generalization of this lemma permits opening of the angles beyond , as far reflex as they were originally convex. The conclusion remains the same: e cannot shorten.

This theorem can be derived from Chern's proof1 of a theorem of Axel Schur2, employing differential geometry, or, independently, by induction [O'R00].

Illustration of Theorem

The theorem is illustrated by a Java applet launched by clicking the button at the bottom of this page. The user is presented with a canvas on which to enter a clockwise convex chain:



The turn angle ranges are displayed in green, and the "forbidden shoulder circle" is drawn in blue. The user may then turn any joint of the chain by double-clicking on it and dragging the next link:


The theorem says that no reconfiguration within the allowable turn angle ranges will permit the hand to enter the forbidden circle:


A corollary says that every joint has a correspoding forbidden circle, which can be viewed by selecting:View all concentric circles


Finally, the complete reachability of a chain can be viewed by clicking: Show reachability


For more details, see the paper [O'R00] or view Help on applet.


BEST VIEWED ON RESOLUTION GREATER THAN 800x600

Behavior based on platform

PlatformOSBrowser
Internet ExplorerNetscape Communicator
PCWindows 9x, WindowsNT4IE v4: No reported problems on above resolution.NC v4.7: No reported problems on above resolution.
Red Hat Linux 6.1Not tested.Netscape v4.61 for Linux. No reported problems.
MACMacOS 8.5IE v4: No reported problems at above resolutions.Some Mac versions of Netscape do not support the Java1.2 event model, which is used extensively on the applet. Therefore, IE is recommended for the Mac
SGIIrix 6.xNot tested.Tested on Netscape 4.07. Reported problems are:
  • Initial Java frame appears as a blank blue frame with no components. Frame needs to be moved on the screen in order to bring up the components.
  • Frame may need resizing.
1  S.S. Chern. Curves and surfaces in Euclidean space. In S.S. Chern, editor, Global Differential Geometry, volume 27 of Studies in Mathematics, pages 99-139. Math. Assoc. Amer., 1989
2  A. Schur. Uber die Schwarzche Extremaleigenschaft des Kreises unter den Kurven konstantes Krummung. Math. Ann., 83:143-148, 1921