Inscrivez-vous gratuitement (Formulaire d'inscription) - pour consulter au format pdf tous les fichiers du site (cours, exercices, devoirs) - pour consulter les corrections des exercices proposées sur la page d'accueil (elles seront toutes proposées au cours de l'année) et les corrections des deux premiers exercices de chaque chapitre. Pour plus de fonctionnalités, cliquez sur ce lien - Logiciels pour faire des mathématiques - Logiciels de géométrie dynamique - Définitions : Géométrie dynamique La notion de "géométrie dynamique" recouvre deux phénomènes : le fait qu’une figure puisse être modifiée a posteriori et le fait que toute construction garde ses propriétés dans le déplacement des objets de base qui ont servi à sa construction. GeoGebra >> Utilisable en ligne Logiciel dynamique de mathématiques réunissant géométrie, algèbre et calcul. Vous pouvez élaborer des constructions comprenant des points, des vecteurs, des segments, des droites, des coniques et même des courbes représentatives de fonctions et modifier tout cela interactivement. Par ailleurs, les équations et coordonnées peuvent être entrées directement. GeoGebra est capable de travailler avec des variables numériques ou vectorielles ainsi qu'avec des points, peut trouver les dérivées et intégrales de fonctions et propose des commandes comme Racine ou Extremum. Geogebra propose aussi une option tableur. A noter : La possibilité d'exporter la figure dynamique sur le web . Un exemple avec un peu de calcul formel ... Tutoriels Geogebra pour les mathématiques et les autres disciplines Description des fonctionnalités actuelles de Calcul Formel implanté dans GeoGebra CaRMetal Dérivé de C.a.R. (CAR signifie Compass and Ruler et simule des constructions à la règle et au compas) Il reprend toutes ses fonctionnalités tout en proposant une approche différente du point de vue de l'interface graphique. Il ne s'agit pas d'un simple réhabillage cosmétique de l'application, ce qui en soit n'a que peu d'interêt ,mais d'un changement quelquefois important dans la manière d'accéder aux fonctionnalités. A noter : - Un accès trés simple aux propriétés des objets, ce qui facilite les constructions. - La possibilité de tester le parallélisme, la perpendicularité ... - La possibilité d'exporter la figure dynamique sur le web . Gava logiciel qui permet la construction, la visualisation et l'animation de figures géométriques en ligne ou hors ligne. Il calcule avec les complexes. Il reconnaît donc le nombre i. Les expressions peuvent faire appel à des expressions déjà définies. Gava est un logiciel très léger qui toue sur les ordinateurs les moins performants Geolabo Permet de tracer des figures mathématiques, de les modifier librement, de les animer, de les importer et de les exporter librement vers d'autres applications ou sur le web! Au design soigné, Geolabo est simple à utiliser et comprend de nombreuses fonctions intégrées. La nouvelle version 1.1 de GeoLabo intègre notamment un système de macro-constructions qui simplifie les constructions répétitives. Dommage seulement que la syntaxe pour écrire les formules soit un peu lourde. Tep >> Utilisable en ligne Il a l'avantage de présenter la géométrie sous forme algorithmique. Autres logiciels exclus : Géométrix (windows) ,  Ateliers de géométrie 2D (windows, ne fonctionne pas avec wine sous linux-ubuntu) , Cabri (payant + pas de version linux), Cinderella (en anglais) , The Geometer's Sketchapad (en anglais), Winfig (en anglais, pas de version mac) Plus d'informations : > Calcul formel et géométrie dynamique : comment les associer ? .

Euclide : Ce qui est affirmé sans preuve peut être nié sans preuve