Lemmas.


 

  • Eqangle

Set two angle to be equal.

  • Eqangle3p

 

  • Angle Specification

 

  • Equal Ratio

 

  • Equal Distance

Set two segements to be equal in distance.

  • Ratio Distance

Set four segments

  • CCtangent

Set two circle to be tangent.

 

JGEX Help