User Manual for the Interactive Geometry Software Cinderella

by Richter-Gebert, Jurgen; Kortenkamp, Ulrich H.

• ISBN13: 9783540671398
• ISBN10: 3540671390
• Format: Paperback
• Copyright: 2000-04-01
• Publisher: Springer Nature

Summary

Cinderella ist eine einzigartige, technisch ausgereifte interaktive Geometrie-Lernsoftware, die sich ausgezeichnet fA1/4r Studenten zum Erlernen der Euklidischen, projektiven, sphArischen und hyperbolischen Geometrie eignet. Aufgrund seines leistungsfAhigen mathematischen Kerns kann Cinderella jedoch ebenfalls als Werkzeug fA1/4r Wissenschaftler in der Forschung auf dem Gebiet der Geometrie und KomplexitAtstheorie Anwendung finden. Die Software enthAlt einen eingebauten automatischen Beweiser fA1/4r geometrische SAtze. Durch eine einfache Exportfunktion kann Cinderella als Werkzeug zum Gestalten von WWW-Seiten oder als Hilfe bei der Ausarbeitung interaktiver Geometrie-BA1/4cher genutzt werden.

Table of Contents

Preface	1	(2)
Introduction	3	(8)
Sample Applications	4	(2)
Exact Drawings	4	(1)
Geometric Calculator	5	(1)
Student Exercises	5	(1)
Design and Features	6	(3)
Technical Background	9	(2)
A Quick Start	11	(18)
Pappos' Theorem	12	(10)
Drawing Your First Point	12	(1)
Undoing an Operation	13	(1)
Moving a Point	13	(1)
Adding a Line	14	(1)
Adding More Lines	14	(1)
Creating Points of Intersection	15	(1)
Finishing the Drawing	16	(1)
Selecting and Changing the Appearance	16	(2)
Adding a Final Point and Proving a Theorem	18	(1)
Moving Points to Infinity	19	(3)
A Three Bar Linkage	22	(7)
Making a Bar	22	(1)
Adding Two More Bars	23	(2)
Moving the Construction	25	(1)
Starting an Animation	26	(1)
Drawing a Locus	26	(3)
Behind the Scences	29	(16)
Problems in Interactive Geometry	29	(3)
Static Problems	29	(1)
Dynamic Problems	30	(2)
Projective Geometry	32	(1)
Homogeneous Coordinates	33	(2)
Complex Numbers	35	(3)
Measurement and Complex Numbers	38	(4)
Euclidean and Non-euclidean Geometry	38	(1)
Cayley-Klein Geometries	39	(3)
The Principle of Continuity	42	(3)
Reference	45	(69)
Overview	45	(4)
The Menu	46	(1)
The General Action Toolbar	46	(1)
The Geometric Tools	47	(1)
The Geometries	48	(1)
The Views	48	(1)
General Tools	49	(47)
File Operations	49	(1)
New	49	(1)
Load	49	(1)
Save	49	(1)
Save As	49	(1)
Export Tools	49	(1)
Print All Views	49	(1)
Export to HTML	49	(1)
Create an Exercise	50	(1)
Undo/Redo	50	(1)
Undo	50	(1)
Redo	50	(1)
Delete	50	(1)
Selection Tools	50	(1)
Select All	50	(1)
Select Points	51	(1)
Select Lines	51	(1)
Select Conics	51	(1)
Deselect	51	(1)
Moving an Element	52	(2)
Select	54	(1)
Interactive Modes	55	(1)
Add a Point	56	(2)
Add a Line	58	(2)
Line Through Point	60	(1)
Add a Parallel	61	(2)
Add a Perpendicular	63	(1)
Add a Line With Fixed Angle	64	(1)
Add a Circle	65	(1)
Circle by Radius	66	(1)
Circle by Fixed Radius	67	(1)
Midpoint	68	(1)
Definition Modes	69	(2)
Center	71	(1)
Angular Bisector	72	(1)
Compass	73	(1)
Mirror	74	(1)
Circle by Three Points	75	(1)
Conic by Five Points	76	(1)
Polar of a Point	77	(1)
Polar of a Line	78	(1)
Polygon	79	(1)
Join	80	(1)
Meet	81	(1)
Define a Parallel	82	(1)
Define a Perpendicular	83	(1)
Measurements	84	(1)
Distance	85	(1)
Angle	86	(1)
Area	87	(1)
Special Modes	88	(1)
Add Text	88	(2)
Locus	90	(2)
Animation	92	(2)
Add a Segment	94	(2)
Geometries	96	(3)
Types of Geometries	96	(2)
Views and Geometries	98	(1)
The Views	99	(8)
Euclidean View	99	(1)
Translate	99	(1)
Zoom in	100	(1)
Zoom out	100	(1)
Toggle Grid	100	(1)
Toggle Axes	100	(1)
Toggle Snap	100	(1)
Denser Grid	101	(1)
Coarser Grid	101	(1)
Spherical View	101	(1)
Rotate	102	(1)
Spherical Reset	102	(1)
The Scale Slider	103	(1)
Hyperbolic View	103	(1)
Polar Euclidean and Spherical View	103	(1)
Construction Text	104	(1)
General Functions	105	(1)
Generate PostScript	106	(1)
Choose the Geometry	106	(1)
The Appearance Editor	107	(7)
Color	108	(1)
View Colors	109	(1)
Clipping	110	(1)
Labelling	111	(1)
Pinning	111	(1)
Overhang	112	(1)
Size	112	(1)
Opaqueness	113	(1)
Creating Interactive Webpages and Exercises	114	(13)
Glossary	114	(1)
Exporting Plain Examples	115	(1)
Exporting Animations	116	(1)
Creating Interactive Exercises	117	(8)
Exercise Construction	117	(1)
Editing the Exercise	118	(1)
Defining the Input	118	(2)
Defining Solutions	120	(1)
Defining Hints	121	(2)
Tool Selection	123	(1)
Saving and Creating the HTML	123	(1)
Testing the Exercise	124	(1)
Design Considerations	124	(1)
Post-Processing	125	(1)
Legal Issues	126	(1)
Installation	127	(4)
General Information	127	(1)
Installing on Windows 95, 98 or NT 4.0	127	(1)
Installation on Unix Platforms	128	(1)
Installing on Sun Solaris (SPARC)	128	(1)
Other Unix-like Platforms	128	(1)
Installing a JVM on Linux	128	(1)
Installing on MacOS	129	(1)
Installing on Other Java Platforms	129	(1)
Installing Using a Web Browser	129	(1)
Troubleshooting	130	(1)
Installing Netscape	130	(1)
License Agreement	131	(11)
Conditions of Use and Terms of Warranty	131	(4)
Nutzungs- und Garantiebedingungen	135	(4)
Java(tm) Runtime Environment	139	(3)
References	142