Poster une réponse 
Démontrer avec le calcul formel
03-01-2014, 11:02 PM
Message : #1
Démontrer avec le calcul formel
Démontrer que les 3 médiatrices d'un triangle sont concourantes !

Facile roll

Edit : Le fichier suivant ne fonctionne plus avec les dernières versions de GeoGebra
Le calcul formel n'accepte maintenant que les intersections de fonctions
decu
On peut contourner en rajoutant :
f1(x)=MembreDroite(m1)...



On peut, bien sûr déplacer les points dans le graphique...
(ou modifier les coordonnées des points dans le calcul formel...)

Bon, les zenfants, prenez vos cahiers de texte et écrivez :
"Pour la prochaine fois, démontrer que les 3 bissectrices d'un triangle sont concourantes" hoho



Les membres inscrits sur le forum peuvent télécharger le fichier ci-dessous...
(à ouvrir avec GeoGebra 4.4)

Medianes....ggb
File Type: .ggb
Downloaded: 0 times
Size: 8.3 Ko


[Image: 118.gif]
Visiter le site internet de cet utilisateur Trouver tous les messages de cet utilisateur
Citer ce message dans une réponse Return to top
04-01-2014, 03:27 PM
Message : #2
RE: Démontrer avec le calcul formel
Ok
Je vous entend déjà rigoler...
Pffff c'est pas une démonstration car on ne démontre pas que cela est vrai pour toutes les valeurs possibles laugh

Ok
Essayons avec des lettres hoho

[Image: medianesbis.png]

cqfd whistlewhistle

rien qu'un petit bug pour la dernière ligne où la réponse devrait être {(0,0)}

Ouvrir le fichier ci-dessous avec GeoGebra 5
(téléchargeable ici)

Medianesbis.ggb
File Type: .ggb
Downloaded: 1 times
Size: 3.42 Ko


[Image: 118.gif]
Visiter le site internet de cet utilisateur Trouver tous les messages de cet utilisateur
Citer ce message dans une réponse Return to top
04-01-2014, 08:12 PM
Message : #3
RE: Démontrer avec le calcul formel
Je sens que si un élève me prend un peu la tête ( genre monsieur les maths je maitrise..)je vais lui demander de la refaire à la main . laugh
en fait sérieusement pas mal du tout car on peut faire le calcul avec des points bien choisis pour que le calcul ne soit pas trop délirant et généraliser avec le logiciel goodgood
En 2014 master Juméra n'a pas perdu la main ,en fait
BONNE ANNEE à tous et que la force mathématique soit avec vous tous.
Trouver tous les messages de cet utilisateur
Citer ce message dans une réponse Return to top
04-01-2014, 10:55 PM
Message : #4
RE: Démontrer avec le calcul formel
(04-01-2014 08:12 PM)SERON a écrit :  Je sens que si un élève me prend un peu la tête ( genre monsieur les maths je maitrise..)je vais lui demander de la refaire à la main . laugh
Pas de problème m'sieur

Pour l'équation d'une médiatrice :

[Image: med0.png]

Pour l'intersection de deux médiatrices :

[Image: med1.png]

Z'avez une autre question m'sieur ? laugh

[Image: 118.gif]
Visiter le site internet de cet utilisateur Trouver tous les messages de cet utilisateur
Citer ce message dans une réponse Return to top
05-01-2014, 10:12 PM
Message : #5
RE: Démontrer avec le calcul formel
Une petite précision
Dans GeoGebra 5, on peut utiliser la commande SontEgaux

[Image: med2.png]



Et j'avais oublié...
(04-01-2014 08:12 PM)SERON a écrit :  BONNE ANNEE à tous
Bonne année à toi aussi roll

[Image: 118.gif]
Visiter le site internet de cet utilisateur Trouver tous les messages de cet utilisateur
Citer ce message dans une réponse Return to top
Poster une réponse