Forum debian-fr.org

Bonjour,

Je dispose de l'équation suivante :


On peut la renommer ainsi :


J'aimerai exprimer y en fonction de x, c'est à dire la transformer pour obtenir une équation de la forme :


Quelqu'un a une idée ?

Si c'est une équation (donc on cherche l'inconnue a) alors... de tête (!) S=R.

_________________
Stéphane Lejoly
Acer Aspire One 9' sous Ubuntu 10.04, AMD Duron 1,4 GHz sous Debian Squeeze et Archlinux, Compaq AMD K6 533 MHz sous Asri éducation (Toutou linux), Mac OS X 5.8 sur iMac G5 et Mac OS X 6.7 sur MacBook intel.

là je ne comprends pas, si tu veux résoudre l'équation cela ne sert à rien.

_________________
Stéphane Lejoly
Acer Aspire One 9' sous Ubuntu 10.04, AMD Duron 1,4 GHz sous Debian Squeeze et Archlinux, Compaq AMD K6 533 MHz sous Asri éducation (Toutou linux), Mac OS X 5.8 sur iMac G5 et Mac OS X 6.7 sur MacBook intel.

Bon pour revenir à ma première réponse (les solutions) : en fait c'est une égalité (c'est une formule trigo.) la question cela ne serait pas plutôt : montrer que qqsoit [latex]a\in \R[/latex] on a :

_________________
Stéphane Lejoly
Acer Aspire One 9' sous Ubuntu 10.04, AMD Duron 1,4 GHz sous Debian Squeeze et Archlinux, Compaq AMD K6 533 MHz sous Asri éducation (Toutou linux), Mac OS X 5.8 sur iMac G5 et Mac OS X 6.7 sur MacBook intel.

Regarde http://gilles.costantini.pagesperso-orange.fr/Lycee_fichiers/CoursT_fichiers/formtrig.pdf
et pars de et quelques lignes plus bas tu auras la formule magique !

_________________
Stéphane Lejoly
Acer Aspire One 9' sous Ubuntu 10.04, AMD Duron 1,4 GHz sous Debian Squeeze et Archlinux, Compaq AMD K6 533 MHz sous Asri éducation (Toutou linux), Mac OS X 5.8 sur iMac G5 et Mac OS X 6.7 sur MacBook intel.

bonjour

Ma première idée est de linéariser sin^3
avec xcas

_________________
I love vim

re: je viens de regarder ton profil (étudiant mais en quelle année?

Je pense que la méthode attendue est bien la linéarisation.

sin(x)=(e^{ix}-e^{-ix})/2i
tu calcules ainsi sin^3 , développes , simplifies et trouves la réponse.

_________________
I love vim

Effectivement, c'est une égalité, pas une équation à résoudre. Désolé pour l'erreur de vocabulaire.

Je ne cherche pas à la prouver (je l'ai trouvée moi-même à partir de formules de trigo plus simple). Je cherche à obtenir une égalité de ce type :



Alors évidemment, je ne pense pas que j'obtiendrai un joli polynome, mais j'aimerais obtenir une égalité la plus simple possible.

Je cherche à exprimer sin(a) en fonction de sin(3*a).
Il faut partir du principe que je connais sin(3*a), et que je cherche à calculer sin(a).

Grâce au formulaire de trigonométrie, je suis tombé sur cette page de wikipédia : Formule de De Moivre. Elle contient une égalité qui est proche de ce que je cherche (il faut remplacer n par 3) :



Le problème dans cette formule c'est qu'il y a des nombres complexes, donc ça ne m'avance pas à grand chose.

@limax : ce n'est pas un exercice qu'on m'a donné, je le fais juste pour le plaisir. J'ai un niveau en maths de 1ère S. Et je ne comprends pas cette formule :

Arf, j'ai été trop long à répondre.
La formule met en jeu les exponentielles (e) et le nombre imaginaire (i). C'est normal que tu ne comprennes pas, c'est au programme de terminale S. Cela dit, c'est à partir de ce moment là que les maths deviennent intéressante, donc si ça te tente tu peux aller voir de plus près.
L4exponentielle est une fonction qui a pour dérivée elle même (à un coefficient de proportionnalité près), et i, bas c'est la racine de -1.

ancien message :

Je ne vois pas comment inverser l'expression, passer y en fonction de x. C'est une notion de math trop compliquée pour un physicien. Par contre, on peut montrer que c'est vrai (cauchy a la bonne piste)
On utilise les propriétés suivantes :

_________________
debian wheezy + xfce ou dwm
mon site : http://yeuxdelibad.net
Aidez debian avec apt-p2p!

sin(a) = B*(sin(3a)^3) + C*(sin(3a)^2) + D*sin(3a) + E

sin(3a) = sin(a)+sin(a)^3

On va noter x = sin(a), ainsi sin(3a)= 3*x - 4*x^3

x = B*((3*x - 4*x^3)^3) + C*((3*x - 4*x^3)^2) + D*(3*x - 4*x^3) + E

On developpe tout ce beau monde :

-64B x⁹ + 144B x⁷ + 16C x⁶ - 108B x⁵ - 24C x⁴ + (27B-4D) x³ + 9C x² + 3D x + E = x

Alors la tu as une belle équation polynomiale de degres superieur a 5 ^^ Et il n'existe pas de formule pour résoudre a coup sur ce genre de polynôme (merci Abel)

Apres est-ce-que c'est un de ces cas speciaux ou on arrive à résoudre tout de meme (trouver 5 racines, abaisser ainsi le degres etc ... )

Mais bon, les sin et cos nous reserve bien des surprises ^^

On linearise le tout (je m'escuse s'il y a des erreurs, mais il se fait tard j'ai une bonne escuse :p)

-B/4 sin(9a) + C/2 cos(6a) - (D+ 3/4 B) sin(3a) - (E+C/2) = sin(a)

EDIT : impossible de dodo, je suis aller sur le premier solveur d'equation que google a bien voulu me donner : http://fr.numberempire.com/equationsolver.php
Sorry. Cannot solve this system.

J'abandonne ici. je laisse quand meme tout mes developpements au cas où ca aiderai qqun ^^

Il est a noter que ce n'est pas parce qu'une calculatrice n'y arrive pas que c'est impossible, ni même très difficile

_________________
Debian Wheezy/sid 3.2.0-3-686-pae Gnome3.4/XFCE4.8/Mate1.4

sktech norvegien
mon site (inutile)

Et si tu veux trouver les y solutions de : x = 3*y - 4*(y^3)

tu peux utiliser Cardan : http://fr.wikipedia.org/wiki/M%C3%A9thode_de_Cardan que tu auras la choix d'utiliser une fois en TS pour introduire les imaginaires (en tout cas ce fut mon cas) et de ne plus jamais l'utiliser

On trouve seulement une solution réelle

y = (sqrt(x^2-1)/8-x/8)^(1/3)+1/(4*(sqrt(x^2-1)/8-x/8)^(1/3))

Mais bon, on n'est pas plus avancé parce que la on a des racines carré et cubique

Si jamais tu veux une rédaction plus développe de mes calculs je pourrai te fournir un .pdf ecrit en LaTeX parce que déjà la c'est pas mangeable en texte seul ^^

_________________
Debian Wheezy/sid 3.2.0-3-686-pae Gnome3.4/XFCE4.8/Mate1.4

sktech norvegien
mon site (inutile)

j'ai rien dit.

Merci pour vos réponses.

@Tristan.T : Cette formule je ne suis pas sûr qu'elle soit bonne :

Je l'ai dite au pif pour donner une idée de ce que j'attendais. A mon avis c'est faux, ça serait trop simple.

On ne connaît pas les nombres B, C, D, E donc même si on arrivait à résoudre ça, je ne sais pas ce qu'on pourrais en faire :



Sinon, j'ai réussi à factoriser cette expression :


Bon, j'ai réussi à le faire comme ça :



J'ai trouvé ça géométriquement sur le cercle trigo. Je m'arrête là mais si quelqu'un à une idée pour trouver plus simple (sans utiliser arcsinus et arccosinus), ou avec une division de l'angle plus grande, je suis preneur.

L'équation x=3y-4y³ est une équation du 3ème degré ( inconnue y ) ; donc en appliquant la méthode de résolution de Cardan , et en posant
4y³-3y+x=0 soit y³-3/4y+x/4=0
et p= -3/4
q= x/4
on calcule son discriminant :
delta= (4/27) p³+q²
on obtient :
delta= (x²-1)/16
x²-1 négatif ( car x est un sinus ) delta aussi
les trois solutions sont réelles et égales à :
( je ne donne pas les formules car c'est long à écrire voir : http://fr.wikipedia.org/wiki/M%C3%A9thode_de_Cardan ) et sauf erreur de ma part , j'obtiens :
y= cos(1/3arccos(-x+2kπ)/3 où k=0;1 ou 2

bonne vérification

_________________
Debian Squeeze Gnome depuis janvier 2011 .
Site de ping

réflexion faite , voici bien plus simple :
x=sin(3a) donc 3a=arcsinx +2kπ soit a= 1/3arcsinx +2kπ/3
y=sina donc a=arcsiny +2hπ
d'où 1/3arcsinx +2kπ/3 =arcsiny+2hπ
ou arcsiny =1/3arcsinx +2kπ/3 -2hπ
et y = sin(1/3arcsinx +2kπ/3 )
au lieu des arccos et cos , on a des arcsin et des sin , vu que les deux sont liés ( formules de trigo ) , c'est pareil .

_________________
Debian Squeeze Gnome depuis janvier 2011 .
Site de ping

sans arccos et arcsin , je pense qu'il faut faire intervenir les fonctions développables en série entière , ce que je propose en dernier est faisable par un élève de 1ère S ( normalement même avec les programmes actuels )

_________________
Debian Squeeze Gnome depuis janvier 2011 .
Site de ping

Oui Christophe23 c'est exact mais je ne peux pas utiliser la fonction arcsinus ni arccosinus car ... j'essaye de les émuler.

Mon but final est de calculer arcsinus(x). Après observation géométrique sur le cercle trigonométrique, je sais que :



Donc il faut que je trouve une formule assez simple pour trouver le sinus de l'angle θ/n à partir du sinus de l'angle θ.

Pour l'instant j'ai fait une fonction as2 qui calcule le sinus de θ/2 à partir du sinus de θ :



Donc si je compose cette fonction n fois avec elle même, j'obtiens le sinus de θ/(2^n). Le problème c'est que j'aimerai étudier un peu la limite quand n tend vers l'infini, et le fait qu'il y ai des imbrications de racine à chaque composition est handicapant.

J'ai un peu plus simple pour le cosinus :



Mais il y a toujours un x sous une racine qui m'empêche de regarder la limite quand je compose la fonction avec elle-même plein de fois. Du coup je peux calculer une valeur approchée avec un ordinateur mais c'est tout.


--------------------------------------


Peux tu être un peu plus explicite ? Ça m'intéresse.
Je ne suis pas en 1ère S, je suis en 2ème année de licence de maths, mais j'ai un niveau de 1ère S là je commence à m'intéresser ...

Ben en simplifiant tu as ce que j'ai donne non ?

y = (sqrt(x^2-1)/8-x/8)^(1/3)+1/(4*(sqrt(x^2-1)/8-x/8)^(1/3))

_________________
Debian Wheezy/sid 3.2.0-3-686-pae Gnome3.4/XFCE4.8/Mate1.4

sktech norvegien
mon site (inutile)

Sinon, si ton but est de calculer la valeur de arcsin, je pense aussi que passer par un developpement en série entière est plus simple

http://mp.cpgedupuydelome.fr/cours.php? ... ction77655



Tu calcule le reste de ta fonction R_m = \sum_{n=m+1}^{\infty}(2n)!/(2^n n!)^2 x^{2n+1}/(2n+1)

Tu cherches pour qu'elle m R_n est plus petit que epsilon (passage délicat)

Tu calcules \sum_{n=0}^{m}(2n)!/(2^n n!)^2 x^{2n+1}/(2n+1) et tu auras une valeur de arcsin a epsilon pret

Mais, le calcul risque d'etre long (faudra faire le code intelligement et ne pas calculer les factorielles et les mis a puissance a chaque fois mais réappeller les precedentes)

_________________
Debian Wheezy/sid 3.2.0-3-686-pae Gnome3.4/XFCE4.8/Mate1.4

sktech norvegien
mon site (inutile)

On suppose qu'on a la fonction qui nous calcul le m

Maintenant on va faire un programme qui calcule la somme

_________________
Debian Wheezy/sid 3.2.0-3-686-pae Gnome3.4/XFCE4.8/Mate1.4

sktech norvegien
mon site (inutile)

@Tristan.T : Je n'avais pas compris que cette formule correspondait à ça. Peux-tu la blinder de parenthèses s'il-te-plaît ? Car moi je la comprends ainsi :



Et quand je la trace sur un graphique avec kmplot, elle n'est pas bonne (ça doit être un problème de parenthèses).

-------------------------------------------------------------------

Pour ton programme, je l'ai réécrit en C en corrigeant les erreurs d'initialisation. Il fonctionne bien. Voici la version en C :



Pour le compiler, utiliser cette ligne de commande :

euh, en relisant j'ai pas trouve d'erreur de parenthèses mais je n'ai jamais été bon pour ca ^^. je mets le résultat en mode TeX



Ou, pour etre peut etre plus lisible :



oui, je vien de me rendre compte que j'avais initialise les factorielles a 0 ... pas bon ca mais pas un mot a mon prof de math

Après oui j'ai laisse en pseudo-code parce que le C je l'ai un peu laisse de côté ces derniers temps au profit du Caml

Mais il manque toujours la fonction pour determiner le bon m ^^

_________________
Debian Wheezy/sid 3.2.0-3-686-pae Gnome3.4/XFCE4.8/Mate1.4

sktech norvegien
mon site (inutile)

C'est pas très grave de déterminer le bon m. Je vais arrêter la recherche ici je dois travailler sur autre chose. Merci à toi Tristan.T et aux autres !

--------------------------------------------------------------

Je mets le code en C qui correspond à la façon que j'ai trouvée en premier :

Bon, majorer le reste de cette série ne m'a pas l'air d'être quelque chose de trivial (si quelqu'un en a une je suis preneur du majorant et de la démonstration ^^)

Même si branch a bien préciser que de ne pas connaître l'erreur de sa fonction ... moi ça me gêne un peu de calculer une valeur approchée sans pouvoir fournir une quelconque précision sur l'erreur ...

Sinon j'ai eu une idée de programme calculant la fonction arcsin et pouvant fournir une erreur de la fonction.

En fait je me sert du fait que arcsin(x)=int(1/sqrt(1-x**3),t,0,x)

En effet : d(arcsin(x))/dx = 1/sqrt(1-x**2) et arcsin(0)=0

Et en partant de là on effectue un calcul approché de l'intégrale. Par exemple on peux utiliser la methode des rectangles et on dit que la valeur de notre arcsin est comprise entre la valeur donnée par les rectangles supérieures et celle donnée par les rectangles inférieurs
http://fr.wikipedia.org/wiki/Calcul_num%C3%A9rique_d%27une_int%C3%A9grale#Formules_simples

Ca nous donne ainsi un calcul de la fonction arcsin avec connaissance de l'erreur

_________________
Debian Wheezy/sid 3.2.0-3-686-pae Gnome3.4/XFCE4.8/Mate1.4

sktech norvegien
mon site (inutile)

C'est re-moi. Je me suis demandé à mon tour comment calculer la fonction cos (ou sin)

Car si ce qui a fait marcher le calcul de la fonction arcsin c'est qu'on savait calculer la dérivé de la fonction arcsin. On ne sait pas calculer la dérivée de la fonction cos qui est, je le rappelle, -sin.

On peut utiliser l'idée que j'avais eu pour donner la valuer de la fonction arcsin. En passant par un DES :

[TeX]\forall x \in \mathbb{R}, \cos(x) = \sum_{n = 0}^{+\infty} {( - 1)^n } \frac{{x^{2n} }}{{(2n)!}}[\TeX]
Si la majoration du DES de la fonction arcsin n'etait pas trivial, celui de la fonction cos est faisable et raisonnable.

En effet le DES de la fonction cos est une série alternée. On a [TeX]\left\lbrace\sum_{n = 0}^{+\infty} {( - 1)^n } \frac{{x^{2n} }}{{(2n)!}} - \sum_{n = 0}^{m} {( - 1)^n } \frac{{x^{2n} }}{{(2n)!}}\right\rbrace < \frac{{x^{2m} }}{{(2m)!}} [\TeX]

Autrement dit : On trouve le m tel que x^{2m}/(2m)! < epsilon et on a \sum_{n = 0}^{m} (-1)^n * x^{2n}/(2n)! = cos x à plus ou moins epsilon pres

J'espère avoir été clair

_________________
Debian Wheezy/sid 3.2.0-3-686-pae Gnome3.4/XFCE4.8/Mate1.4

sktech norvegien
mon site (inutile)