Recherche:Sur les représentations des équations

Ce travail de recherche vise à explorer des manières diverses de représenter des équations et le constater les perscpectives que chacune amène.

Contexte

Ce projet ne vise pas à résoudre de problème en particulier, il se veut uniquement un projet d’exploration.

Réflexion préliminaire

Ce projet part d’un souhait de rendre plus générique des représentations d’équation comme $a{x}^n+b{y}^m=k$. Tout d’abord, rappelons que dans cette représentation, a et b sont des facteurs, x et y des variables, n et m des degrés, et k une constante. Bien sûr, ce type d’équation peu toujours être ramené à une équivalence comme $a{x}^n+b{y}^m+(-k)z^0=0$. Pour éviter la pénurie de lettre lié au nombre de variables en jeu, il est possible d’utiliser des notations indexées, comme $f_0{v}_0^{d_0}+f_1{v}_1^{d_1}+f_2{v}_2^{d_2}+\dots =0$ – chaque élément utilisant l’initiale des noms précédemment énoncés. Soit $\sum _i{f}_i{v}_i^{d_i}=0$, où i index un ensemble de triplets. Si l’on reprend l’exemple précént, à trois variables, la mise sous la forme d’une représentation matricielle 3×3 paraît assez triviale. En prenant pour convention que la seconde partie de l’équation vaut toujours zéro et qu’elle est éludée dans la forme matricielle, il est possible de noter :

$\left(\begin{array}{ccc}{f}_0& v_0& d_0\\ f_1& v_1& d_1\\ f_2& v_2& d_2\end{array}\right)$

L’adjonction d’un nombre indéfinie de ligne trouve donc une interprétation évidente, chaque ligne correspond à un triplet réunissant facteur, variable et degré. L’adjonction de colonnes n’est pas aussi univoquement suggestif sur l’interprétation à donner aux nouvelles colonnes. Une interprétation possible est de prendre cela comme valeur des multiples dimensions de la variable. Ainsi si la variable est un nombre complexe ou un quaternion, coutumièrement noté $a+bi$ et $a+bi+cj+dk$. Pour rester dans la démarche de généralisation, en notant ${𝕀}_n$ l’élément neutre de la dimension n, il est également possible de noter cela respectivement $v_{0,0}{𝕀}_0+v_{0,1}{𝕀}_1$ et $v_{0,0}{𝕀}_0+v_{0,1}{𝕀}_1+v_{0,2}{𝕀}_2+v_{0,3}{𝕀}_3$. Ceci conduit à des notations comme $f_0(v_{0,0}{𝕀}_0+v_{0,1}{𝕀}_1{)}^{d_0}+f_1(v_{1,0}{𝕀}_0+v_{1,1}{𝕀}_1{)}^{d_1}+\dots =0$. Ou en reprenant la notation matricielle exposé précédemment, en intervertissant seconde et troisième colonne :

$\left(\begin{array}{cccccc}{f}_0& d_0& v_{0,0}& v_{0,1}& v_{0,2}& \dots \\ f_1& d_1& v_{1,0}& v_{1,1}& v_{1,2}& \dots \\ f_2& d_2& v_{2,0}& v_{2,1}& v_{2,2}& \dots \end{array}\right)$

Évidemment, rien n’empêche d’envisager des facteurs et des degrés eux mêmes de dimension multiple. En notant $\lceil {\text{index}}_{\text{terme}}\rceil$ l’index de dimension maximum d’un terme donnée, on peut génraliser en

$\left(\begin{array}{ccccccccc}{f}_{0,0}& \dots & f_{0,\lceil {\text{index}}_f\rceil }& d_{0,0}& \dots & d_{0,\lceil {\text{index}}_d\rceil }& v_{0,0}& \dots & v_{0,\lceil {\text{index}}_v\rceil }\\ ⋮& ⋮& ⋮& ⋮& ⋮& ⋮& ⋮& ⋮& ⋮\end{array}\right)$