Mathematica 9 is now available

Geometrica

Bruno Autin, CERN, Switzerland

Geometrica versus Cabri or Sketchpad

[Graphics:indexgr2.gif][Graphics:indexgr1.gif]


Geometrica and Mathematica

[Graphics:indexgr2.gif][Graphics:indexgr3.gif]


Euclidean and Analytical Geometries

Primary concept in EUCLIDEAN geometry: POINT -> superb reasoning (unfortunately disappearing!)
Primary concept in ANALYTICAL geometry: COORDINATES -> unification of geometry and algebra (Descartes and the theory of curves)


Browsing Geometrica

The best navigation consists of choosing a simple problem and seeing how it is solved. We shall study the generation of a parabola as the envelope of one edge of a square ruler whose vertex describes a line and whose other edge passes through a fixed point.

Point, line, and first drawing

[Graphics:indexgr2.gif][Graphics:indexgr4.gif]
[Graphics:indexgr2.gif][Graphics:indexgr5.gif]

The straight line is the y axis.

[Graphics:indexgr2.gif][Graphics:indexgr6.gif]
[Graphics:indexgr2.gif][Graphics:indexgr7.gif]

[Graphics:indexgr2.gif][Graphics:indexgr8.gif]
[Graphics:indexgr2.gif][Graphics:indexgr9.gif]


Bound point and Euclidean line

The edge passing through m is defined by a second point bound to d.

[Graphics:indexgr2.gif][Graphics:indexgr10.gif]
[Graphics:indexgr2.gif][Graphics:indexgr11.gif]


Geometrical function

The other edge d2 is perpendicular in m1 to d1.

[Graphics:indexgr2.gif][Graphics:indexgr14.gif]
[Graphics:indexgr2.gif][Graphics:indexgr15.gif]


Derivative of a geometrical function

When the parameter t varies, the line [Graphics:indexgr16.gif]
[Graphics:indexgr17.gif]

[Graphics:indexgr2.gif][Graphics:indexgr18.gif]
[Graphics:indexgr2.gif][Graphics:indexgr19.gif]
[Graphics:indexgr2.gif][Graphics:indexgr20.gif]


Animation and story board

One can now recapitulate the construction by using the command Movie, which produces the six figures by integrating the figure n+1 to the nth one.

[Graphics:indexgr2.gif][Graphics:indexgr21.gif]

The movie is adapted to a demo, but to keep the trace of the construction, it is more appropriate to use StoryBoard, which puts the figures in a table.

[Graphics:indexgr2.gif][Graphics:indexgr22.gif]
[Graphics:indexgr2.gif][Graphics:indexgr23.gif]

Viewing the envelope process

We are now curious to see the motion of the line d2. We then make a table of the graph of the line for a whole range of t.

[Graphics:indexgr2.gif][Graphics:indexgr25.gif]

[Graphics:indexgr2.gif][Graphics:indexgr26.gif]
[Graphics:indexgr2.gif][Graphics:indexgr48.gif]


Study of a conic

To find the equation of the envelope, we elminate t between the coordinates of mp.

[Graphics:indexgr2.gif][Graphics:indexgr50.gif]
[Graphics:indexgr2.gif][Graphics:indexgr51.gif]

Geometrica can recognize the nature of the conic from its Cartesian equation
r [Graphics:indexgr52.gif]x y + t [Graphics:indexgr53.gif]

[Graphics:indexgr2.gif][Graphics:indexgr54.gif]
[Graphics:indexgr2.gif][Graphics:indexgr55.gif]

and determine its focus and directrix.

[Graphics:indexgr2.gif][Graphics:indexgr56.gif]
[Graphics:indexgr2.gif][Graphics:indexgr57.gif]

[Graphics:indexgr2.gif][Graphics:indexgr58.gif]
[Graphics:indexgr2.gif][Graphics:indexgr59.gif]


Summary

[Graphics:indexgr2.gif][Graphics:indexgr60.gif]
[Graphics:indexgr2.gif][Graphics:indexgr61.gif]

[Graphics:indexgr2.gif][Graphics:indexgr62.gif]
[Graphics:indexgr2.gif][Graphics:indexgr63.gif]


New Functions

Parallel and paraxial lines

Walls as examples of parallel polygons

A line L' is parallel to a line L when it is generated by the end of a segment attached and normal to L. This defintion assumes that L represents a continuous and derivable function, which is not true for a polygon that has no normal at a vertex. A convention is introduced in Geometica to define a parallel polygon. It is illustrated for the walls of a house.

[Graphics:indexgr2.gif][Graphics:indexgr64.gif]

[Graphics:indexgr2.gif][Graphics:indexgr65.gif]
[Graphics:indexgr2.gif][Graphics:indexgr66.gif]

The wall has been defined with openings that can be seen if the option Ribbon is used. The inner polygons of the "ribbon" can be painted to distinguish the full and empty parts of the wall.

[Graphics:indexgr2.gif][Graphics:indexgr67.gif]
[Graphics:indexgr2.gif][Graphics:indexgr68.gif]

The drawing can finally be completed with the dimensions of the wall.

[Graphics:indexgr2.gif][Graphics:indexgr69.gif]
[Graphics:indexgr2.gif][Graphics:indexgr70.gif]


Paraxial rays in optics

Paraxial lines are generated in the same way as parallel lines, but the distance between the lines varies according to a prescribed function.

[Graphics:indexgr2.gif][Graphics:indexgr71.gif]
[Graphics:indexgr2.gif][Graphics:indexgr72.gif]

This is a regular motion, according to the amplitude of the oscillation; the paraxial line may take fancier shapes.

[Graphics:indexgr2.gif][Graphics:indexgr73.gif]
[Graphics:indexgr2.gif][Graphics:indexgr74.gif]

[Graphics:indexgr2.gif][Graphics:indexgr75.gif]
[Graphics:indexgr2.gif][Graphics:indexgr76.gif]


Custom composite objects

[Graphics:indexgr2.gif][Graphics:indexgr77.gif]

[Graphics:indexgr2.gif][Graphics:indexgr78.gif]
[Graphics:indexgr2.gif][Graphics:indexgr79.gif]
[Graphics:indexgr2.gif][Graphics:indexgr80.gif]

[Graphics:indexgr2.gif][Graphics:indexgr81.gif]
[Graphics:indexgr2.gif][Graphics:indexgr82.gif]

[Graphics:indexgr2.gif][Graphics:indexgr83.gif]
[Graphics:indexgr2.gif][Graphics:indexgr84.gif]