Search

International audience; We analyze Tartaglia's account, in 1546, of the circumstances leading to his breakthrough regarding the solution of cubic equations. He claims that he solved $x^3+rx^2=q$ in 1530, well before he could handle, in 1535, equations with a linear term $px$ (and no quadratic term). This claim is at variance with Cardano's narrative as well as with later treatments of the problem, in which the solution of equations of the latter type provides the basis for the solution of all the other types of cubic equations. We show that Tartaglia's claim is supported in his text by the use of the theory of continued proportions, that occurs as a Leitmotiv. We show that relations on continued proportions stressed by Pacioli as basic ``keys'' provide a simple derivation of the results given by Tartaglia, that is consistent with their chronological order. Thus, his narrative contains not only priority claims, but also proposes an account of the mathematical steps that led him to his results.; On analyse le récit que fait Tartaglia, en 1546, des circonstances qui l'ont conduit \`a sa découverte du mode de résolution de certaines \'equations du troisi\`eme degr\'e. Il y affirme avoir résolu l'équation $x^3+rx^2=q$ dès 1530, bien avant qu'il fût en mesure d'aborder les équations avec un terme $px$ (et sans terme carré). Ceci est incompatible avec le mode de résolution de Cardan, ainsi qu'avec ceux préconisés par les auteurs postérieurs, pour qui la solution de ces dernières équations fournit la base de celle de toutes les autres équations de degré trois. On montre que la théorie des proportions continuées tient une place centrale dans le texte de Tartaglia et que, si l'on part des ``clefs'' que Pacioli désigne comme des outils fondamentaux, on obtient une dérivation très simple des résultats de Tartaglia, dans l'ordre de leur découverte. Son récit vise donc non seulement à établir sa priorité, mais également à suggérer la démarche qui l'a conduit à ses résultats.

RésuméNous définissons une classe de suites de polynômes, calculés par des circuits de complexité polynomiale comprenant des additions, des soustractions. des multiplications et des sommations de Valiant. Nous montrons que cette classe est close pour la prise de la fonction-coefficient. définie au paragraphe 3 de cet article; nous en déduisons l'existence d'un circuit de complexité 72.n2, calculant le coefficient binomial de deux nombres de n chiffres, donnés en base 2. Il est par ailleurs facile de construire un circuit de complexité 17.n + 2 calculant la factorielle d'un nombre de n chiffres. La présence de 2.n sommations d'effet exponentiel dans chacun de ces circuits en affecte gravement l'intérêt pratique. II est peu probable, ou du moins peu souhaitable. qu'on puisse éliminer ces sommations sans explosion, car cela provoquerait la catastrophe cryptographique que redoutent tous les banquiers; néanmoins, nous ne savons pas séparer la classe définie ici de celle des suites de polynômes calculables en un nombre polynomial d'opérations arithmétiques. Cela n'a rien de surprenant, vu la très grande affinité qu'elle a avec la classe PSPACE: nous montrons en effet que cette classe est identique à la classe VPSPACE, définie antérieurement par Koiran et Perifel, qui apparaît ici sous une forme bien plus maniable que l'originale.