22
Solvability by Radicals from an Algorithmic Point of View Guillaume Hanrot, Fran¸cois Morain To cite this version: Guillaume Hanrot, Fran¸ cois Morain. Solvability by Radicals from an Algorithmic Point of View. [Research Report] RR-4109, INRIA. 2001. <inria-00072522> HAL Id: inria-00072522 https://hal.inria.fr/inria-00072522 Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destin´ ee au d´ epˆ ot et ` a la diffusion de documents scientifiques de niveau recherche, publi´ es ou non, ´ emanant des ´ etablissements d’enseignement et de recherche fran¸cais ou ´ etrangers, des laboratoires publics ou priv´ es.

Solvability by Radicals from an Algorithmic Point of View · 2017-01-30 · Solvability by Radicals from an Algorithmic Point of View Guillaume Hanrot, Fran˘cois Morain To cite this

  • Upload
    others

  • View
    9

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Solvability by Radicals from an Algorithmic Point of View · 2017-01-30 · Solvability by Radicals from an Algorithmic Point of View Guillaume Hanrot, Fran˘cois Morain To cite this

Solvability by Radicals from an Algorithmic Point of

View

Guillaume Hanrot, Francois Morain

To cite this version:

Guillaume Hanrot, Francois Morain. Solvability by Radicals from an Algorithmic Point ofView. [Research Report] RR-4109, INRIA. 2001. <inria-00072522>

HAL Id: inria-00072522

https://hal.inria.fr/inria-00072522

Submitted on 24 May 2006

HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, estdestinee au depot et a la diffusion de documentsscientifiques de niveau recherche, publies ou non,emanant des etablissements d’enseignement et derecherche francais ou etrangers, des laboratoirespublics ou prives.

Page 2: Solvability by Radicals from an Algorithmic Point of View · 2017-01-30 · Solvability by Radicals from an Algorithmic Point of View Guillaume Hanrot, Fran˘cois Morain To cite this

ISS

N 0

249-

6399

ISR

N IN

RIA

/RR

--41

09--

FR

+E

NG

ap por t de r ech er ch e

THÈME 2

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Solvability by radicals from an algorithmic point ofview

G. Hanrot — F. Morain

N° 4109

19th January 2001

Page 3: Solvability by Radicals from an Algorithmic Point of View · 2017-01-30 · Solvability by Radicals from an Algorithmic Point of View Guillaume Hanrot, Fran˘cois Morain To cite this
Page 4: Solvability by Radicals from an Algorithmic Point of View · 2017-01-30 · Solvability by Radicals from an Algorithmic Point of View Guillaume Hanrot, Fran˘cois Morain To cite this

Unité de recherche INRIA LorraineLORIA, Technopôle de Nancy-Brabois, Campus scientifique,

615, rue du Jardin Botanique, BP 101, 54602 Villers-Lès-Nancy (France)Téléphone : +33 3 83 59 30 00 — Télécopie : +33 3 83 27 83 19

���������������� ����������������������������� ��� ����!������ #"��$���&%'�����( )���*�+��,.-

/10�2�3�4�576�8:9<;>=?0>@A6B5�3DCE4>F

GIHKJ�L<MONQPSR+T�UWVXM+YXZ\[]VX^�VXM�YM�_�^a`bYX^�cWYed�fDLQghZ\YiVXjDcKMkml�ZbnoM�_?p�k#q�rtstp

u?`bvWvhZ\lo_�wWM�l�M:^xHKM�l�^�HKM&U#y�zK{a|]}1P {a}b_oH*~�`bUDc�`blof*N]|]|B{?P {a��v�`b[�M:d

�'���:�a�b�W�]�]� q�UDf�_�M���_og�ZDZ\��Z\U�R+`bYXZ\VXd�_oHKM:Z\lof�^:Z\UD_x`bViUKdt`�vWl�ZDZb��_oH�`b_I`�v�Z\YifDUKZ\L�V�`bY�M:j�c�`b_oVXZ\U'�Vi_oHd�Z\Yi�]`bgWYXM<R+`bYXZ\VXd�[]l�Z\cWv�^a`bU�ghM�d�Z\Yi��M:w�gDf*lx`\wBVX^a`bYXda�Q�Wl�Z\L�`'vWlx`\^�_oVX^a`bY�vhZ\ViUD_+Zb����VXM�������M�UKM:M:w�_�Z  UKw¡d�cWVi_x`bgWYXM<l�M�vWl�M:d�M�UD_x`b_oVXZ\UKd�Zb�_oHKM�[]l�Z\cWv¢`bUKw�_oHKM�l�ZDZ\_�dQZb�_oHKM�vhZ\Yif�UKZ\L�V�`bY£�¥¤�M   l�do_Ql�M:wBcK^:M_oHKM(vWl�Z\gWYXM�L&_�ZQ_oH�`b_�Zb�e^�fB^�YiVX^(M��B_�M�UKdoVXZ\UKdtZb��vWloViL<M(wWM�[]l�M:M�`bUKw'_oHKM�U'�tZ\lo��Z\cW_¦_oHKM(lx`\wBVX^a`bYXda��cKdoViUW[_oHKM1�tZ\lo�§Zb��R?Vil�do_oL�`bVila�¨¤�M*[]Vi��M*U�cWL<M�loVX^a`bY�M��K`bL�vWYXM:d'Zb�Oq(ghM�YiV�`bU©`bUKw§UKZ\UBª«q(g�M�YiV�`bU¬d�Z\Yi�]`bgWYXMM:jDc�`b_oVXZ\UKd­`bUKw¨`bvWvWYif©_oHKM�[�M�UKM�lx`bY+�®lx`bL<M���Z\lo�©_�Z¯_oHKM�^:Z\UKd�_olocK^�_oVXZ\U�Zb��°(ViYig�M�lo_±r�Y�`\d�d   M�YXwWd1Zb�ViL�`b[]ViU�`blof�j�c�`\wBlx`b_oVX^   M�YXwWda�²�³�´�µ�¶Q· �b¸��]� R+`bYXZ\VXd�GIHKM:Z\lof��KdxZ\Yi�\`bgWViYiVi_¹fºgDf¥lx`\wBVX^a`bYXd

»�¼b½�¾¿½ÁÀ�Â�ÃbÄ�Å7ÆÈÇ£¼ÈÂ7ÉOÊ˾QÂ7Ã�Ì˽oÅoÍ�½�ÎÏÉ£Â7ÐÑÇ£¼È½<ÒÈÉ£½�ÃÈÀ¹¼�Ó�½�Ô\Å�ɿǣн�Ã:Ç�Â7Î�Ó.½ÁÎϽ�Ãb¾¿½7ÕtÓ.ÖÁÌ×ÖÁØ�ÅxÇ£ÊËÂ7âÙ�ÖÁÃbÖÁÉ«ÅxÌ×½<Ô]Â7ÆÈÉÌiÚ Ûeɣн�н�Ã:ÇoÜÝ ½ÁÞ�Ð�ÅxÊ×ÌWß#àxábâ7ã�ã�äxá7åÈæWç�èaäxé:êaë7ì:í:ã�ë7êîâ7äWç�ï�êð�ñ�òEó ÕÈôKÀ�Â�Ì˽�Ô]Â�ÌöõaÇ£½�À«¼bÃÈÊø÷:ÆȽ�ÕÈÒ�ÞEùaú�úoû7üýWÅ7Ì×ÅxÊ×¾¿½�Å7Æ�À�½oÄî½Áþ�ÕȽ¹ÞÿÐ�ÅxÊËÌKß�å\ëxê:äaâoéîí�ã:â��Kç��îë�ã���ì:æ����ébâ�xáîæWçÿï�ê

Page 5: Solvability by Radicals from an Algorithmic Point of View · 2017-01-30 · Solvability by Radicals from an Algorithmic Point of View Guillaume Hanrot, Fran˘cois Morain To cite this

��� �#�����Q����x�� � %������������������� ����� %'�����( ��Q, ���Q, ���x!������ #"��$��� �Q,

��� ����� � ��� U¥wWM:dIvWloViUK^�Viv�`bcB��l�T:docWYi_x`b_�dwWM�Y�`Q_oHKT:Z\loVXM+wWMOR+`bYXZ\VXdM:d�_tYXM?�£`bVi_j�cKM?_�Z\cW_�M+T:jDc�`b_oVXZ\Uv�Z\YifDUKZ\L�V�`bYXM?wWZ\U�_IYXM([]l�Z\cWvhM?wWM?R+`bYXZ\VXdIM:do_�l�T:d�Z\YicWgWYXM(vhM�cW_���_ol�M�l�T:dxZ\YicKM�v�`bltlx`\wBVX^a`bcB������� cWUºvhZ\ViUD_wWM��cKMM���M:^�_oV �o��ViY#M:do_mUKT:^:M:d�dx`bVil�M�w��öZ\gW_�M�UWVil�cWUKM�l�M�vWl�T:d�M�UD_x`b_oVXZ\Uº`\wWT:jDc�`b_�M�wBc<[]l�Z\cWv�M�M�_¦wWM:d�lx`\^�ViUKM:dwBc¡v�Z\Yif�U! \L<M:da�#"(Z\cKd�^:Z\L�L<M�U!$:Z\UKd�v�`blOl�T:wBcWVil�M'YXM<vWl�Z\gWYXJ�L<M¥`bcA^a`\d�w��öM���_�M�UKd�VXZ\UKdQ^�fB^�YiVXj�cKM:d�wWMwWM�[]l�TQvWl�M�L�VXM�la�#vWcWVXd(L<Z\U�_ol�Z\UKd+wK`bUKd?^:M�wWM�loUWVXM�l?^a`\d?^:Z\L�L<M�U�_+M��BHWVighM�l(YXM:d�lx`\wBVX^a`bcB�>��M�U­cW_oViYiVXdx`bUD_YXMQ_olx`:�]`bViY�wWM�R?Vil�do_oL�`bVila�%"(Z\cKd?wWZ\UWUKZ\UKd�wWM:d�M��BM�L�vWYXM:d?U�cWL<T�loVXjDcKM:d�wK`bUKd?YXM:d(^a`\d+`bg�T�YiVXM�UKd?M�_(UKZ\U`bg�T�YiVXM�UKda��rtM:d¦l�T:docWYi_x`b_�dtd�Z\UD_t`bvWvWYiVXjDcKT:d'&�Y�`O^:Z\UKdo_olocK^�_oVXZ\U¥wWM�^:Z\lovKd�wWM(^�Y�`\d�d�M:d�wWM�°�ViYig�M�lo_�wWM(^:Z\lovKdjDc�`\wBlx`b_oVXj�cKM:d�ViL�`b[]ViU�`bVil�M:da�( · �a� µ �*) � ��� GIHKT:Z\loVXM�wWMQR�`bYXZ\VXda�Bl�T:d�Z\YicW_oVXZ\U*v�`bllx`\wBVX^a`bcB�

Page 6: Solvability by Radicals from an Algorithmic Point of View · 2017-01-30 · Solvability by Radicals from an Algorithmic Point of View Guillaume Hanrot, Fran˘cois Morain To cite this

����������� ���������������������������� ����!"��#$�%� &��%� ����'!(���*)+����#,�-�.�/�0�21�3 4

5 6 �( ����+� ���� h�����

GIHKM��EcWUKwK`bL<M�UD_x`bY>��Z\lo�'Zb�mR+`bYXZ\VXdtH�`\d�[]Vi��M�Uº_oHKM+`bUKdo��M�lI_�Z�Z\UKM(Zb��_oHKM�L<Z]do_wBV87�^�cWYi_IvWl�Z\gWYXM�L<dIViU`bYi[�M�gWlx`+9¦^�Y�`\dxdoV �Ef�`bYiY�v�Z\YifDUKZ\L�V�`bYXd��HKZ]d�M+l�Z�Z\_�d�^a`bU1g�M+M���vWl�M:dxd�M:w�g�f¥lx`\wBVX^a`bYXda�¦q)v�Z\Yif�UKZ\L�V�`bY�H�`\d_oHWVXdIvWl�Z\v�M�lo_«fºV �.`bUKw�Z\UWYifºV ��Vi_�d�R+`bYXZ\VXdI[]l�Z\cWv�VXdd�Z\Yi�]`bgWYXM]��:±Z\l�M?l�M:^:M�U�_oYif<;i{>=>?«�BVi_IH�`\dIghM:M�U1doHKZî�U_oH�`b_�_�M:do_oViUW[1dxZ\Yi�\`bgWViYiVi_¹f�^a`bU¡ghM�wWZ\UKM�ViU�v�Z\Yif�UKZ\L�V�`bY�_oViL<M]��@(UK^:M���M<�DUKZî� _oH�`b_Q`bU�M:jDc�`b_oVXZ\U�VXdd�Z\Yi�]`bgWYXM]�W��M�L�`:f¥�t`bUD_�_�Z�^:Z\L�vWcW_�MOM��BvWYiVX^�Vi_�M�Yif¥_oHKM+_�Za�tM�l(Zb�mM���_�M�UKd�VXZ\UKd�ViU���Z\Yi��M:w>�h`\d��M�YiY�`\d_oHKMlx`\wBVX^a`bYXd?_oH�`b_+M�U�_�M�l�_oHKMO[�`bL<M]�?GeZ'_oHKM:d�M�M�UKwWda�h��MQcKd�M�`<v�Za�tM�l�ª«^:Z\U\nÁcW[�`b_�M�l�M�vWl�M:d�M�UD_x`b_oVXZ\U�Zb��_oHKM[]l�Z\cWv¥_oH�`b_tM�U�`bgWYXM:dtcKdt_�Z�l�M:wBcK^:M?_oHKM(vWl�Z\gWYXM�L _�ZO_oH�`b_IZb��^�fB^�YiVX^(M��B_�M�UKdoVXZ\UKda�B`bUKw<�®cWlo_oHKM�lI_�ZQ^�fB^�YiVX^M��B_�M�UKdoVXZ\UKd�Zb�.vWloViL<MOwWM�[]l�M:M]��qI__oHWVXd�vhZ\ViUD_a�W��M�^a`bU   UKw�_oHKM�lx`\wBVX^a`bYXd��tMO`bl�M+YXZ�Z\�DViUW[��¿Z\la�GIHWVXdO`bvWvWl�Z�`\^xH�VXd���M�YiY¦�DUKZî�U��Q�KZ\l+ViUKd�_x`bUK^:M]��ViUA;i{aNW�.{�z%?«�>°(c�`bUW[1M���vWY�`bViUKd+HKZî� _�Z�d�Z\Yi��M�_oHKM

B ª£_oH¯^�f�^�YXZ\_�Z\L�VX^�M:jDc�`b_oVXZ\U¯ViU vhZ\Yif�UKZ\L�V�`bYI_oViL<M¥L<ZDwBcWYXZ�s�u(°Q�DC¹UE;i{ 4 �t{0F�?«�¦_oHKM¥^:Z\UKdo_olocK^�_oVXZ\U¯VXdcKd�M:w�_�Zº�£`\^�_�Z\l�v�Z\YifDUKZ\L�V�`bYXd+�Vi_oHAq�g�M�YiV�`bUAR+`bYXZ\VXd+[]l�Z\cWvKd�Zî��M�l   UWVi_�M   M�YXwWda��GIHKM�vWl�M:dxM�U�_Ov�`bv�M�l^a`bU*g�MOdxM:M�U±`\d(`�d�M�Y �Eª«^:Z\U�_x`bViUKM:w±[]cWVXwWM�_�Z�ViL�vWYXM�L<M�U�_�_oHKM�VXwWMa`\d?[]Vi��M�U*ViU­_oHKM:d�M�v�`bv�M�l�da�h`\wK`bvW_oViUW[_oHKM+`bYi[�M�gWlx`bVX^�ª£U�cWL<M�loVX^a`bY.`bvWvWl�Z�`\^�H1Zb�G;i{a|H?�I¿`bYil�Ma`\wBf<�¿Z\YiYXZa�tM:w¥ViUJ;ËN]|H?�`bUKw�`bUWUKZ\cWUK^:M:w1`\dK;ËNB{�?hViU<; 4 �L �B�NM�?�O��q��E_�M�ll�M:wBcK^�ViUW['_oHKM�vWl�Z\gWYXM�L _�Z�^�fB^�YiVX^�^a`\d�M:dViU*`   l�d�_�v�`blo_�Zb�._oHKM�`blo_oVX^�YXM]�K��MOM���vWY�`bViU�HKZî��_�Z

d�Z\Yi��Mt_oHKMtl�M:docWYi_oViUW[�M:jDc�`b_oVXZ\UKd.g�fOlx`\wBVX^a`bYXdî��"(cWL<M�loVX^a`bYKM��K`bL�vWYXM:d�`bl�M�[]Vi��M�U<Zb��`bYiY�_oHKMtvWH�`\d�M:dî�]cKdoViUW[^�fB^�YXZ\_�Z\L�VX^�vhZ\Yif�UKZ\L�V�`bYXda�hgWcW_�`bYXd�Z'°(ViYig�M�lo_?v�Z\Yif�UKZ\L�V�`bYXd(_oH�`b_+wWM   UKM�_oHKM�°�ViYig�M�lo_Or�Y�`\d�d���VXM�YXwWd?Zb�ViL�`b[]ViU�`blof�j�c�`\wBlx`b_oVX^   M�YXwWda�K`bUKw1d�Z\L<M�UKZ\UBª¹`bghM�YiV�`bU*^a`\dxM:d�`\d��M�YiY£�

P Q �h�(� �#���o�������,& #� ���+���x��� ,��� #,m�Q�#�������

RDSUT V<W�XZY�[]\�^G_`XaW%bq)[]l�Z\cWvJc VXd )d����������������� V �._oHKM�l�M�M���VXd�_�`�d�M:j�cKM�UK^:MOZb�.docWgW[]l�Z\cWvKdKc/e\�,cgfa�ihjhjh���cKk(d�cK^�H1_oH�`b_

cmlmc eDn c fan/ojojo>n c k pqfan c k l]r�HKM�l�MQ�®Z\l�Ma`\^�H$sx�ac/t�u%c/twv f VXd�^�f�^�YiVX^]�KC«�yxHt2cKtzv f [�M�UKM�lx`b_�M:d{c/t�u%c/tzv f �h_oHKM�UJx e �|hjhjh��}x k�pqf VXd�^a`bYiYXM:w`ºv�Z\Yif�^�fB^�YiVX^�[�M�UKM�lx`b_oViUW[*d�M:jDcKM�UK^:M��®Z\l~c<�Oq []l�Z\cWv�c VXd�vhZ\YifB^�fB^�YiVX^�V �I`bUKw�Z\UWYif*V ��c&VXd�d�Z\Yi�]`bgWYXM`bUKw*`bYiYeZb�._oHKM�docWgW[]l�Z\cWvKd(Zb��c `bl�M   UWVi_�M�Yif�[�M�UKM�lx`b_�M:w>�¦��ViUKwBViUW['vhZ\YifB^�f�^�YiVX^�[�M�UKM�lx`b_oViUW['d�M:jDcKM�UK^:M:d�¿Z\l�`�vhZ\YifB^�fB^�YiVX^O[]l�Z\cWv±VXd?UKZa� l�Z\cW_oViUKM�ViU­_oHKM�dofBdo_�M�L<d?H�`bUKwBYiViUW[º[]l�Z\cWvKd�M�7�^�VXM�UD_oYif��e`\d~�~���±`bUKw���i�������m¤�M�l�M��¿M�l�_oHKM+l�Ma`\wWM�l�_�Z�;ËN 4 ?>�®Z\l�`�[�ZDZ�w¥ViU�_ol�Z�wBcK^�_oVXZ\U­Z\U�v�Z\Yif�^�fB^�YiVX^+[]l�Z\cWvKda�q   UWVi_�M�d�Z\Yi�]`bgWYXM�[]l�Z\cWvJc VXd�`�d�vhM:^�V�`bYe^a`\dxM+Zb��v�Z\Yif�^�fB^�YiVX^�[]l�Z\cWv���C«�yc VXdI_oHKMQR+`bYXZ\VXd[]l�Z\cWv*Zb�

d�Z\L<M+v�Z\Yif�UKZ\L�V�`bY£�#`bUKw1H�`bvWv�M�UKd�_�Z<ghM�dxZ\Yi�\`bgWYXM]��_oHKM�U   UKwBViUW[�_oHKMQd�M:j�cKM�UK^:M:dg�2c t2� Z\l~� x tU� VXd_oHDcKdMa`\dof��K`bYXd�Z�^:Z\UKdoVXwWM�loViUW[<_oH�`b_�c H�`\d[�M�UKM�lx`bYiYif�doL�`bYiYe^a`bl�wBViU�`bYiVi_«f��q(L<Z\UW[¡`bYiYd�Z\Yi�\`bgWYXM¥[]l�Z\cWvKdî��`bU¯ViL�v�Z\lo_x`bU�_�^a`\d�MºVXd�_oH�`b_<Zb��q�g�M�YiV�`bU []l�Z\cWvKda��C¹U _oH�`b_<^a`\d�M]�

��M�^a`bU   UKw�_oHKM�do_olocK^�_ocWl�M�Zb�-c `\d+`'vWl�ZDwBcK^�_+Zb�t^�fB^�YiVX^�[]l�Z\cWvKd�cKdoViUW[*p "(�§_�M:^�HWUWVXjDcKM:d�I®d�M:M�; z%?�O��q([�`bViU��W_oHWVXd�ViYiY�g�M�`bU1Ma`\dofº_x`\do�h�Wd�ViUK^:M+_oHKM�L�`b_oloVX^:M:d�ViUD��Z\Yi��M:w­`bl�M+Zb�mdoL�`bYiYedoVw�aM]�q?d�`   U�`bY�l�M:docWYi_a�#`bYiY�M�YXM�L<M�U�_�d?Zb��c �ViYiY>ghM�l�M�vWl�M:d�M�UD_�M:w­`\d

x��%�e x����f ojojo x �%�.���k�pqf�HKM�l�M������Zt|���dt.�HKM�l�M{�`t.VXd_oHKM�Z\l�wWM�l�Zb�GcKt�u%cKtzv f �

RDS R  �^�_A¡£¢i¤¦¥m\�^G_`XaW�_,¡¨§GIHKM+L�`bViU1_oHKM:Z\l�M�L _oH�`b_���M+�ViYiYecKd�M�VXd_oHKM��¿Z\YiYXZa�ViUW[`9

©Z© Ã�ªd«îú�¬7ù

Page 7: Solvability by Radicals from an Algorithmic Point of View · 2017-01-30 · Solvability by Radicals from an Algorithmic Point of View Guillaume Hanrot, Fran˘cois Morain To cite this

z ����� ��#`���%����� � ��������#

� � ³�· � ³ ��������� 1���� �1�� #���!��1���� 1��w����#}� �z1���� ��� � �1���#$��� ��1����d���2��w1�! ��#`�����1�&���1�1 � )+����� �#}��!(�����Z�.�!�#" �%$ 3y����'����%��������w1 � �%�8��� ��&������0) c �%#}���2)}����������#�&�� 1��w�'& �)( � ���U1 ��l+*-,t/. f�0 t ��3D'+1���1��'+1 0 t ����1*)}��� !�1 ��#}����#�1�� 1 � �j��� ��������� ������#}�j� �21 '+1���1(143�� �����~����'�����# �.��� 1��w�H�65

& l & e87 & f97mojojo�7 & , l ��:�d��' ��'��%��& t pqf u & t � ���������������.� )�� ��!�1{�����1�� 0 t �j��� s<; r=�> ���0�.� �IpD_x`blo_�El�Z\L `�vhZ\YifB^�f�^�YiVX^+dxM:j�cKM�UK^:M��¿Z\l c�9

cmlmc eDn c fan/ojojo>n c k pqfan c k l]r

�HKM�l�M cKt2u%cKtzv f l xHt2cKtzv f �@?tf©R�`bYXZ\VXd¥_oHKM:Z\lof��(_oHWVXd�dxM:j�cKM�UK^:M�^:Z\lol�M:dov�Z\UKwWd�_�Z¯` d�M:jDcKM�UK^:M±Zb�docWg   M�YXwWd

& l�A eB7 A f97mojojo�7 A k pqf97 A k l �docK^xH _oH�`b_CA tUu A tzv f VXd�R+`bYXZ\VXd�Zb��^�fB^�YiVX^*R+`bYXZ\VXd<[]l�Z\cWvE� x�tED�l c/t�u%c/twv f � "?Za������M1^a`bU v�M:M�Y�Ax�t�D)`\d�`�vWl�Z�wBcK^�_�Zb�.^�fB^�YiVX^+[]l�Z\cWvKd�Zb�.vWloViL<M�Z\l�wWM�l�_�Z   UWVXdoH1_oHKM�vWl�Z�Zb���GFRDSIH J�YG¤LKNM�¤U¥<O \%^G_A¤U¥�\%_`W¡£_PMG¤U¢�\�_RQ�_PKLMG§S�M�_!T f �UTWV\�ihjhjh��XTZY�ghM?_oHKM�l�Z�Z\_�dZb� � `bUKw\[�Vi_�d�R+`bYXZ\VXdI[]l�Z\cWv��m¤�M�`\d�d�cWL<M(_oH�`b_9[�VXdIVXd�Z\L<Z\lovWHWVX^_�Z±_oHKM�`bgKdo_olx`\^�_�[]l�Z\cWv c$`bUKw _oH�`b_��tM¥�DUKZî� _oHKM'VXdxZ\L<Z\lovWHWVXdoL c^] [¦��¤�M'�ViYiYIUKZ\_�M)_ t _oHKM`bcW_�Z\L<Z\lovWHWVXdoL ^:Z\lol�M:dov�Z\UKwBViUW[¥_�Z x�to� :±Z\l�MQ[�M�UKM�lx`bYiYif���[]l�M:M��*YXM�_o_�M�l�d?�ViYiY�wWM�UKZ\_�M�`bcW_�Z\L<Z\lovWHWVXdoL<d`bUKw��tM+�ViYiY�cKd�M`[Zte�¿Z\l_oHKM�docWgW[]l�Z\cWv*Zb��[�VXdxZ\L<Z\lovWHWVX^+_�Z cKt��GIHKM�M��B_�M�UKdoVXZ\U & u A f H�`\d(R�`bYXZ\VXd[]l�Z\cWv$c~u%c f lg��x e DO�m�KZ\l9a�ViUJc f �WwWM   UKM%9

b c ��� � lY �dt/. f ���feg_ te ��ad��T e ����� h

?tfº^:Z\UKd�_olocK^�_oVXZ\U��h_ e � b c ��� ��� l b c ��� � `bUKw�_oHKM�l�M��¿Z\l�M b c ��� �ji A f " �%$«� "?Za���W�loVi_�M%9

b c ��� � lk� Y �lY � pqfmn . epo c:q n �

n

`bUKw1wWM   UKMx n �sr � l d

cut�v ��srwe o cuq n � h

GIHKM'R+`bYXZ\VXd�[]l�Z\cWv¡Zb�Gx n VXd�I®^:Z\UD_x`bViUKM:w�ViU}O/c f `bUKw¡Z\UKM�Zb�t_oHKMgx n �öd+VXd�Vilol�M:wBcK^�VigWYXM]��dx`af x n l'xzy f`bUKw��tM+H�`:��M+gWcWViYi_{A f `\d �#" �|$�u+�Ny f ��� ��� �

RDS/}  �^�_�~�b<~hKU¤N~�~+¢q§H_¤�M?�ViYiY�ViYiYicKdo_olx`b_�M�_oHKM?vWl�M:^:M:wBViUW[�VXwWMa`\dZ\Uº_oHKM?g�`\doVX^�^a`\d�M?Zb��^�fB^�YiVX^�M���_�M�UKd�VXZ\UKda�mGIHWVXdI�ViYiY�Y�`b_�M�ltg�McKd�M:w1`\d�`�vWloViL�Vi_oVi��M+ViU*Z\cWl�^:Z�wWM]�

S�M�_ b ��� � g�M'`�L<Z\UWVX^'v�Z\YifDUKZ\L�V�`bYIZb��wWM�[]l�M:M��­�Vi_oH ^�fB^�YiVX^¥R+`bYXZ\VXdQ[]l�Z\cWv�� l(����DQ�1¤�MYXM�_'T f6� hjhjh � TW�'g�M'_oHKM�l�Z�Z\_�d�Zb� b ViU¢�HWVX^�H�TW� lf� � pqf ��T f � �±¤�M¥docWvWv�Z]d�M'_oH�`b_'��VXd�^:Z\L�v�Z]doVi_�M]�Z\_oHKM�lo�VXd�M]�W_oHKMOwWM:^:Z\L�vhZ]doVi_oVXZ\U­VXd�`bYil�Ma`\wBf   UWVXdoHKM:w>�

òI� © ò Û

Page 8: Solvability by Radicals from an Algorithmic Point of View · 2017-01-30 · Solvability by Radicals from an Algorithmic Point of View Guillaume Hanrot, Fran˘cois Morain To cite this

����������� ���������������������������� ����!"��#$�%� &��%� ����'!(���*)+����#,�-�.�/�0�21�3 F

S�M�_ & g�M<_oHKM�dovWYiVi_o_oViUW[   M�YXwAZb� b ��� � ��S�M�_�� l ���b��S�M�_ & f ghM<_oHKM�docWg   M�YXwAZb� &�  �WM:w�g�f���kDO�K`bUKw��¢g�M�_oHKM+l�M:do_oloVX^�_oVXZ\U*Zb����_�Z & f � ��M   UKM

b t ��� � l �d� . f ��� e�TZ� � v�t �

�¿Z\l�r/� s����`bUKw1M��Bv�`bUKw�Vi_�`\d

b t���� � l �m � . e � e{r � �p �

o t q � �� h

GIHKM o t q �<`bl�MQ`bYi[�M�gWlx`bVX^QViU�_�M�[�M�l�dî�hd�ViUK^:M�_oHKM�f*`bl�M�^:Z\LOgWViU�`b_oVXZ\UKd+Zb�m_oHKM�`bYi[�M�gWlx`bVX^QViU�_�M�[�M�l�d8T n ��C¹_�VXdMa`\dofº_�Z�d�M:M+_oH�`b_ b t�VXd   �WM:w�g�f�©`bUKw1_oHKM�l�M��®Z\l�M o t q �QVXdIViU & f �¿Z\l(`bYiYqsx�����.¤�MO`bYXdxZ�ViU�_ol�Z�wBcK^:M

x n �sr � l� pqfd . e

�sr+e o q n �

�¿Z\l �(����� 0 �.qI_tYXMa`\do_IZ\UKM(Zb�e_oHKM�x n VXdtVilol�M:wBcK^�VigWYXM]�m¤�M?d�M�YXM:^�_IZ\UKM(Zb��_oHKM:d�M]�Dd7`:f)y f l£x n � �HWVX^xHwWM   UKM:d & f u � l �#" � $�u+� y f ��� ��� l � " �$«� "(Z\_�M+`bYXd�ZQ_oH�`b_��-� o q n � l o�� v f�������� � q n ���HWVX^�H¥[]Vi��M:dIcKd`bU*Z\l�wWM�loViUW[�Z\U*_oHKM�l�ZDZ\_�d�Zb�Gygfî�S�M�_�cKd(l�M��loVi_�M�_oHKMOl�Z�Z\_�d�Zb��y f ��� � `\dK� f �i��Vb�|hjhjh���� � �(��V �±`����(GIHKM�U o e q n VXd+`bU±M�YXM�L<M�UD_�Zb�& f(`bUKw1_oHKM�l�M��®Z\l�MO_oHKM�l�M�M���VXd�_�d(`�v�Z\YifDUKZ\L�V�`bY�� n �sr � l�� �

pqfk . e! n q kur k �Vi_oH1ViUD_�M�[�M�l(^:Z�M�7�^�VXM�U�_�d�IEViU� O�docK^xH1_oH�`b_09

o e q n l"� n ��� f � l�pqfmk . e n q k �

k f h

q(vWvWYifDViUW[#�t�B�tM�[�M�_09

� t � o e q n � l o t q n l�pqfmk . e n q k �$�

t ��� f ��� k l%�pqfmk . e n q k �

kt h

C¹U Z\_oHKM�l���Z\l�wWda����M�H�`a��M1`b_<Z\cWl�wBVXdov�Z]dx`bYI_oHKM¥�\`bYicKM:d ���Zt � � n ����t � l o t q n � f'& t & � �HWVX^xH§wWM   UKM*`v�Z\YifDUKZ\L�V�`bYBZb�#wWM�[]l�M:M(�B�eGIHKM�vhZ\Yif�UKZ\L�V�`bY)� n ^a`bU�ghM�l�M:^:Za��M�l�M:w�gDf "(M��_�Z\U�ViU�_�M�lov�Z\Y�`b_oVXZ\U��m��ViU�`bYiYif��`Q�£`\^�_�Z\l�Zb� b ��� � Za��M�l & f VXd09

b f ��� � r � l �m� . e � e~r � �p � � n �sr � � � h

* � · � ³ ¸���� ³,+.-�/10�23/a�~�40654237�I b ��� � ��8±� 0 �)��O9 8 l ��T f � TWV � hjhjh � T

� �� ^:Z\UD_x`bViUKd�_oHKM+l�Z�Z\_�d�Zb� b Z\l�wWM�l�M:w�ViU­`�^�fB^�YiVX^+�t`af;:

{]�=<¹· � sDl]r�hwh>� ¸ ·*^:Z\L�vWcW_�M b t���� � �NB�=<¹· � �gl¨�+hwh 0 e r ¸ ·*^:Z\L�vWcW_�M/x n �sr � `bUKw1d�M�YXM:^�_(Z\UKM��HWVX^�H*VXd�Vilol�M:wBcK^�VigWYXM'ygf>��� � �4 ��rtZ\L�vWcW_�M�_oHKM+vhZ\Yif�UKZ\L�V�`bYXd.� n �sr � �¿Z\l����������cKdoViUW[ "(M��_�Z\U*ViU�_�M�lov�Z\Y�`b_oVXZ\U��zK�ml�M�_ocWloUgygf>�sr � �BVi_�dl�ZDZ\_�d~� o q n � � e?& A@ � IEViU*_oHWVXdvWl�M:^�VXd�M�Z\l�wWM�l O���`bUKw b f0��� � r � �

©Z© Ã�ªd«îú�¬7ù

Page 9: Solvability by Radicals from an Algorithmic Point of View · 2017-01-30 · Solvability by Radicals from an Algorithmic Point of View Guillaume Hanrot, Fran˘cois Morain To cite this

M ����� ��#`���%����� � ��������#

RDS��  �^�_ Q ¥G¢ K�¢�K OZXaW¤�\�^�¡@(UKMO^a`bU�wWM:wBcK^:MQ`bU�`bYi[�Z\loVi_oHWL �El�Z\L _oHKM�vWl�Z�Zb�¦Zb��NB�i{]� � doViUW[�_oHKM�v�Za��M�l�ª«^:Z\U\n�cW[�`b_�M�vWl�M:d�M�UD_x`b_oVXZ\UZb�Dc<�D�tM+^a`bU�Z\l�wWM�lt_oHKM?l�Z�Z\_�dZb� � ViU¥_oHKM(�¿Z\YiYXZa�ViUW[��t`af��¦�KZ\l�`�d�M:jDcKM�UK^:M �¨l � f � hjhjh � � � Zb�yc��`bUKw*`bU1M�YXM�L<M�UD_ Zb��c<�WwWM�UKZ\_�M+g�f �� � _oHKM+d�M:j�cKM�UK^:MOZb�.M�YXM�L<M�UD_�d

� 6 f6� 6 V � hjhjh � � � hpD_x`blo_oViUW[A�El�Z\L _oHKM­docWgW[]l�Z\cWv%� lg� x k pqf D�l � x k�pqf6� x Vk�pqf � hjhjh � x Y �.���k�pqf l r � �I��M*l�M�ª£gWcWViYXw£c `\dx e � � x f � � ojojo � �Ax k�pqf D � ojojo � � � doViUW[�_oHWVXda�WVi_VXd�Ma`\dof'_�Z�d�M:M�_oH�`b_

c f�� x f � � ojojo � �Ax k�pqf D � h

:±Z\l�M:Za��M�la��_oHWVXd?�t`af­Zb�¦l�M�vWl�M:d�M�UD_oViUW[ c&M�U�`bgWYXM:d�cKd�_�Zº[�Z��EcWlo_oHKM�la�?¤�M�^a`bU±v�M:M�Y�c/e0u%cgf?�HWVX^�H�VXd^�fB^�YiVX^�Zb�tZ\l�wWM�l/� e ��Z\UKM�^�fB^�YiVX^Q[]l�Z\cWv�Zb��vWloViL<M�Z\l�wWM�l+`b_+`'_oViL<M]��¤�M�^a`bU­UKZî� wWM:d�^�loVighMQ_oHKM   U�`bY`bYi[�Z\loVi_oHWL _oH�`b_�cKd�M:d +.-�/1062 /a�~�40654237Q`\d�`�vWloViL�Vi_oVi��M]�

* � · � ³ ¸���� ³��~�40654237�I � ��� � � 8­�,c~O9 � VXd�Zb�mwWM�[]l�M:M~�*`bUKw*d�Z\Yi�\`bgWYXMOR�`bYXZ\VXd�[]l�Z\cWvJc :{]�-;ö��ViUKw<do_olocK^�_ocWl�M�?#Z\gW_x`bViUº`�vhZ\YifB^�fB^�YiVX^I[�M�UKM�lx`b_oViUW[Qd�M:jDcKM�UK^:MI�¿Z\l�c¨`\dDx e ��x V]�dhjhjh���x k�pqf �]�HKM�l�M

x�t�VXd�Zb�.Z\l�wWM�l �`t.`bUKw1_oHKM�Vil�^:Z\lol�M:dov�Z\UKwBViUW[º`bcW_�Z\L<Z\lovWHWVXdoL<d9_�to�NB��;öu(M�gWcWViYXw�?�[Rx�l(� sN�CD��)<«· � s|l�Be r � · � ¸ · [Rx�l _ t � [¦�4 � ; ?�cWViYXw�l�ZDZ\_�dQZb� � ��� � ViU�_oHKM�loVi[]H�_�Z\l�wWM�l.?¦_x`b��MCTAViU 8�`bUKw�l�M�vWY�`\^:M 8 g�f�_oHKM<d�M:jDcKM�UK^:M

�I_D��T ��� �¿Z\lj_­ViU [��zK� �)x�lE�W�FB��;×p�Z\Yi��M�?�<«· � sDl¨�+hwh�`e r ¸ ·

9 `b_�_oHWVXdvhZ\ViUD_a�)8 ^:Z\UD_x`bViUKd�_oHKM�l�ZDZ\_�d�Zb��`�v�Z\YifDUKZ\L�V�`bYeZb�¦R+`bYXZ\VXd[]l�Z\cWv<cKt :FB�i{+�¿`\^�_�Z\l��`tal *��n . f 0 t q n �FB�ËN <«· � �gl r�hwh� �e�r ¸ ·

9 8 ^:Z\U�_x`bViUKd(_oHKM+l�Z�Z\_�d�Zb��`�vhZ\Yif�UKZ\L�V�`bYZb��R+`bYXZ\VXd�[]l�Z\cWv �Ax Y������������� �

��� �t l]rBD��Ax�tzv f D ojojo �Ax k�pqf D :

y �srW� � � 8 � � �+�srW� � rZ� pqf � x�l +.-�/1062 /a�~�40654237�� ��2�� !qI y � pqf �srZ� pqf � � 8­� 0 t q n �,�}u 0 t q n O"��$# ��u 0 t q n ��%# � l r&�

MB��;ös�UKw�?el�M�_ocWloU�� � t��sr,t � r}t pqf ��� e?& t @ �B�¤�M+H�`a��M+ViU��£`\^�_vWl�Za��M�U­_oH�`b_09

' � · * · ��(ÿ��( ·*) �����,+ � �q��'+1����0�%���{�.�j� ��� � ����1��j� ����1 &�� ��1�#$��� �j��� �+������#d���.�/��'+1��������U1�! �.�{1.- �d���������#d� 5

� � pqf �srW� pqf � l¨� � � � p V �srZ� p V � rZ� pqf � l¨� � hjhjh � � e ��� � r f � l¨�+h

/ �+���o�+����! �� �h���Q���������

� doViUW[1_oHKM<vWl�M:^:M:wBViUW[�d�M:^�_oVXZ\UKda���tM<UKM:M:w¡^:Z\UK^:M�UD_olx`b_�M¥Z\UAd�Z\Yi��ViUW[*vWloViL<M'wWM�[]l�M:M�^�fB^�YiVX^�M:jDc�`b_oVXZ\UKdg�f*lx`\wBVX^a`bYXda�(��Z\l(_oHWVXda�#��MO�¿Z\YiYXZa� ;i{a|�?«��ViU±_oHKM�^:Z\U�_oViU�c�`b_oVXZ\UAZb��;ËN]|�?«��¤�MQ[]Vi��MO_oHKM�wWM�_x`bViYXd�d�Z'`\d?_�ZL�`b��M+_oHKMO`blo_oVX^�YXMOd�M�Y �ÿª«^:Z\UD_x`bViUKM:w>�

òI� © ò Û

Page 10: Solvability by Radicals from an Algorithmic Point of View · 2017-01-30 · Solvability by Radicals from an Algorithmic Point of View Guillaume Hanrot, Fran˘cois Morain To cite this

����������� ���������������������������� ����!"��#$�%� &��%� ����'!(���*)+����#,�-�.�/�0�21�3 =

pDcWvWv�Z]d�M�_oH�`b_9��VXd�`�vWloViL<M�UDcWLOg�M�la�GS�M�_ b ��� � ghM+`QL<Z\UWVX^+Vilol�M:wBcK^�VigWYXM+v�Z\YifDUKZ\L�V�`bY�Zb�.wWM�[]l�M:M�'ViU A " �%$�Zb�m^�f�^�YiVX^QR�`bYXZ\VXd�[]l�Z\cWv%[$lg���-DO�K`bUKw1d�vWYiVi_o_oViUW[   M�YXw & �.¤�M�docWvWv�Z]d�M�_oH�`b_�_oHKM+l�Z�Z\_�dZb� b `bl�M T f � hjhjh � TW���WZ\l�wWM�l�M:w1ViU*`�^�fB^�YiVX^+�t`af�9�D��T n � lkT n v f���� � � �������D��TZ� � lkT f h I�{>O¤�M+L�`b��M+_oHKM+^:Z\UD��M�U�_oVXZ\UKd?_oH�`b_9T}tqlkT n �HKM�UKM���M�l s� ������E�¥`bUKw�_oH�`b_�������C�(l ���

S�M�_��"l " & f8x�� $�l���`bUKw����qf � hjhjh � ������ghMO`bU­ViU�_�M�[]lx`bY�g�`\doVXd�Zb� & fî� S�M�_+`bYXd�Z ��!,f � hjhjh � !"���g�MO`bYiY�M�LQghM:wWwBViUW[�d�Zb� & f ]$#�`SeM�_&%�ghM�`�vWloViL�Vi_oVi��Mp��ª£_oH­l�Z�Z\_�Zb��cWUWVi_¹f I®M]� [K�'%(l)(+*-,��/.Hs10Zu � � O��¤�M�^:Z\UKdoVXwWM�l�_oHKM?�®Z\YiYXZî�ViUW['wBV�`b[]lx`bL Zb�mM��B_�M�UKdoVXZ\UKd09

&[& f

& �/% �2[

& f �/% �3 3 3 343 3 3 3

GIHKM?M���_�M�UKd�VXZ\U & �/% � u & f��/% � VXdtq�g�M�YiV�`bU��DZb��R�`bYXZ\VXd¦[]l�Z\cWv 2[±VXd�Z\L<Z\lovWHWVX^?_�Z [¦���Vi_oH'[�M�UKM�lx`b_�Z\l 2�[]Vi��M�U*gDf 2�|��T n � l)�D��T n � `bUKw 2�D�/% � l)%��¦GIHKMOM��B_�M�UKdoVXZ\U & f �/% � u & f VXd(`bYXd�Z<q(g�M�YiV�`bU­`bUKw1Vi_�d�R+`bYXZ\VXd[]l�Z\cWv1VXd 4 l5�76 f6� hjhjh � 6P�8���HKM�l�M96P���/% � l�% � �mkmcW_09

: �/l�

mn . f

T n % p n � � r��%��� �`h I¿N�O

¤�M�^a`bU�l�M:^:Zî��M�l�_oHKM`T n �ödI�®l�Z\LÑ_oHKM : �O�Vi_oHa9T n l r

��

m� . f : �;% n � h I 4 O

�Wl�Z\L _oHKM�Vil(wWM   UWVi_oVXZ\U��#��MOdxM:M+_oH�`b_�_oHKM : �*�öd(`bl�M�`bYi[�M�gWlx`bVX^�UDcWLOg�M�l�d?Zb� & �/% � �tGIHKM : �*�öd��®Z\l ��� �^a`bUWUKZ\_�g�Mº`bYiY-�aM�l�ZW�¦d�ViUK^:MºZ\_oHKM�lo�VXdxM]����Mº�tZ\cWYXw¯H�`:��M%9 T f l ojojo lfTW� l : �>u ���ApDcWvWv�Z]d�Mº_oH�`b_: f�<l¨�W��kmcW_�= � � � l : � p �f : ���qr��%��� ���GC«U�v�`blo_oVX^�cWY�`bla����M+[�M�_ : �f l>= � f�� `bUKw? � � : �KlA@ = � � �= � f��7B : �f h IEz�O

¤�M�wWM:wBcK^:M ? � � � T n l>= � � � l : f % n l � pqfm� . V @ = � � �= � f�� B � : f % n � � h I�F�O

p�Z\Yi��ViUW[ b ��T � l �'VXd?_oH�cKd�l�M:wBcK^:M:w�_�Z'_oHKM�^:Z\L�vWcW_x`b_oVXZ\UAZb�¦_oHKMC= � � � �öda�+s�`\dof*^:Z\L�vWcW_x`b_oVXZ\UKd�doHKZî�_oH�`b_D= � � � i & f �/% � �q g�`\d�VXd?Zb� & �/% � u & f �/% � VXd��r � % � hjhjh � % � pqf ���+¤�M�^a`bU��loVi_�M%9�= � � � l � � pqfn . f o �

� �n % p n ���HKM�l�M o � � �nVXd�`bU¯M�YXM�L<M�U�_�Zb� & f ��GIHKM1R+`bYXZ\VXd�[]l�Z\cWv¯Zb� & �/% � u & f VXd�_oHKM¥wBVil�M:^�_�vWl�Z�wBcK^�_<Zb�{[¨`bUKw 4 ��GIHKM

^:Z\U\n�cW[�`b_�M:d�Zb�E= � � � ViU & �/% � `bl�M%9= � � � l)6 �F= � � � � l

� pqfmn . f o �

� �n % p n � r/�HG|� �,h I�M�O

©Z© Ã�ªd«îú�¬7ù

Page 11: Solvability by Radicals from an Algorithmic Point of View · 2017-01-30 · Solvability by Radicals from an Algorithmic Point of View Guillaume Hanrot, Fran˘cois Morain To cite this

� ����� ��#`���%����� � ��������#

`bUKw Vi_�VXd<Ma`\doViYif¯d�M:M�U _oH�`b_'_oHKM = � � � �öd'`bl�M�ViU & f �/% � � kmcW_o_oViUW[ o �� �� l �¡`bUKw§cKdoViUW[�_oHKM­�KZ\cWloVXM�l

_olx`bUKd��¿Z\loL1�W��M�[�M�_

' � · * · ��(ÿ��( ·*) � ��� �a���g��� � � � r��%��� � ���%#}����� � � � r/����� � ��3�1�'��%�H1

� o �� �n l

�m . f= � � � % n � r/� � � �,h I2=%O

����1�����1�� � o �� �n � �{��#J� #}�U1�&1��(�.�9& f �y� ��#}� 1{����� �{� ���%! �� #}��������#<�.�{��� &10��.�����(#���!��1�� � �

¤�M+H�`a��MO`bYXd�Zd9 o �� �� l¨�{l>= � � �f l ojojo l = � � �� ��C«���tM+l�M�vWY�`\^:M�= � � �� g�f¥Vi_�d�]`bYicKM:da�B�tM   UKwq9

� · � · ) )E�W� ´ � �s�� o �

� �n l

� pqfm . f= � � � �/% n e r � � r������ �,h I¿��O

� doViUW[�_oHKM+ViUD_�M�[]lx`bYeg�`\doVXd�Zb� & f u7�+�e��M�^a`bU��loVi_�M%9? � � � o � � �n l o �� �n q f � f l ojojo l o �

� �n q � � � �

�Vi_oH o �� �n q t ViU��+�>¤�M+�loVi_�M%9 ? s � !t��s� o � � �n � l � �k . f o � � �n q k !t�� � k �

l � � pqf . f !t��F= � � � � �/% n e r � h I¿}�O

q(YiY>��M+UKM:M:w�UKZî�)`bl�M+_oHKM+�]`bYicKM:d�Zb��! t �F= � � � � l ! t � : � � p � ! t � : � � �HWVX^�H±^a`bU1g�M+^:Z\L�vWcW_�M:w��®l�Z\L 9

!t�� : � � l�

mn . f!t���T n � % p n � h

� doViUW['_oHWVXdî� o �� �n q k ^a`bU±ghM�^:Z\L�vWcW_�M:w�g�f*L<Ma`bUKd?Zb��_oHKMOl�M:d�Z\YicW_oVXZ\U�Zb� ��� ��YiViUKMa`bl+dof�d�_�M�L<da��Z\l�g�f

vWl�M:^:Z\L�vWcW_oViUW[º_oHKM�ViU���M�l�d�MQZb��_oHKM�L�`b_oloV ��� l � !t��F= � � � ��� �

� 6 � %���,��$,m�( #�I #�����

}�SUT $_`[GW_,§H_,¥�\�¢�\�¤2X�¥ X��\�^�_ W�XDXq\�§¤�MQUKM:M:w±`�l�M�vWl�M:d�M�U�_x`b_oVXZ\U�Zb��_oHKMOl�Z�Z\_�d(Zb� � ��� � docWVi_x`bgWYXMQ�¿Z\l(Z\cWl�^:Z\L�vWcW_x`b_oVXZ\UKda��L<Ma`bUWViUW[¥_oH�`b_��M+`bYXd�ZQl�M:jDcWVil�M�_oHKM�`\^�_oVXZ\U�Z\Uº_oHKM(l�Z�Z\_�d¦_�Z�g�M�^:Z\L�vWcW_x`bgWYXM]�¦GIHKM(L<Z]do_IZ\g���VXZ\cKdIl�M�vWl�M:d�M�U�_x`b_oVXZ\U1Zb�_oHKM�l�Z�Z\_�d�Zb� � ��� � `bl�M�`\d ��Z�`b_oViUW[<vhZ\ViUD_U�cWLQghM�l�d�_�Z�d�Z\L<M�vWl�M:^�VXdoVXZ\U���q(Yi_�M�loU�`b_oVi��M�Yif��K�tM�^a`bU�cKd�M`bYi[�M�gWlx`bVX^ IEv�Z\YifDUKZ\L�V�`bY O?M��BvWl�M:d�doVXZ\UKd?�¿Z\l�_oHKMQl�Z�Z\_�d+Zb� � ��� � ��^:Z\L�ViUW[¥�¿Z\l+M��W`bL�vWYXMQ�®l�Z\L `�YiVXd�_�Zb�`bcW_�Z\L<Z\lovWHWVXdoL<d�Zb� & ��Z\gW_x`bViUKM:w¥ViU1`O�]`bloVXM�_«fºZb���I`:fBd09.gWlocW_�M?�®Z\l�^:M��£`\^�_�Z\loVw�î`b_oVXZ\U*Zb� � Zî��M�l & I®d�M:M;i{a�H?�OtZ\lL<Z\l�M�d�cWgW_oYXM+L<M�_oHKZDwWdgI.;i{�?«�a;ËN�?�O��GIHKM���Z�`b_oViUW[+v�Z\ViU�_�`bvWvWl�Z�`\^�H�VXd�U�`b_ocWlx`bYWViU�_oHKMt^:Z\UKd�_olocK^�_oVXZ\U<Zb�#°�ViYig�M�lo_�r�Y�`\d�d   M�YXwWda��d�M:M�ghM�YXZî���

GIHKM�`bYi[�M�gWlx`bVX^º`bvWvWl�Z�`\^�H¡L�Vi[]HD_Og�M���M�lof�^:Z]do_oYif��<GIHKM<^xHKZ\VX^:M�Zb�Il�M�vWl�M:d�M�U�_x`b_oVXZ\U¢wWM�vhM�UKwWd�`bYXd�Z1Z\U_oHKM+Y�`bUW[]c�`b[�M+_oHKMQ`bYi[�Z\loVi_oHWL<d?`bl�M�_�Z�g�M�ViL�vWYXM�L<M�U�_�M:w­ViU��

òI� © ò Û

Page 12: Solvability by Radicals from an Algorithmic Point of View · 2017-01-30 · Solvability by Radicals from an Algorithmic Point of View Guillaume Hanrot, Fran˘cois Morain To cite this

����������� ���������������������������� ����!"��#$�%� &��%� ����'!(���*)+����#,�-�.�/�0�21�3 }

}�S R J�YG¤LKNM�¤U¥<O ~�b�~hK¦¤N~<_��|\%_,¥�§�¤2XZ¥�§GIHKM�^:Z\l�M�Zb�¦_oHKM�`bYi[�Z\loVi_oHWL VXd(vWl�Z�^:M:wBcWl�M#+.-�/10�23/a�~�40654237]�~C«U�`   l�d�_�d�_�M�v��#�tM�H�`:��M�_�Z¥^:Z\L�vWcW_�M_oHKM�vhZ\Yif�UKZ\L�V�`bYXd b t �ödî�(¤�M�^a`bU�^:Z\L�vWcW_�M�`'ghZ\cWUKw�Z\U±_oHKM�^:Z�M�7�^�VXM�U�_�dOZb� b t doViUK^:M���M���UKZa� _oHKM�Vill�Z�Z\_�d{��TZ� � v�t � ����M�UKZ\_oViUW[�� l>���7*�� T}t��Ï�BVi_�VXd�Ma`\dofº_�Z   UKw�_oHKM+g�Z\cWUKw

���7*�� �� � � I�{a|�O

�¿Z\l_oHKM�^:ZDM�7�^�VXM�UD_�d o t q ���¿Z\l�`bYiYas�`bUKw;����GIHKZ\cW[]H1[�M�UKM�lx`bYiYif¥vhM:dxdoViL�VXdo_oVX^]�B_oHWVXd�g�Z\cWUKw¥VXdl�Ma`bYiVXdo_oVX^]�GIHKM�d�M:^:Z\UKw¥_x`\do��VXd�_�Z�^:Z\L�vWcW_�M�v�Z\YifDUKZ\L�V�`bYXd.� n �sr � l � �pqfk . e n q k:r k d�cK^�H¥_oH�`b_�� n ��� tU� l�M�vWl�M�ª

d�M�UD_�d�`bU±ViU�_�M�[�M�l�Zb� & f �(GIHKM�^:Z�M�7�^�VXM�U�_�d n q k `bl�MQlx`b_oVXZ\U�`bY.ViU�_�M�[�M�l�da��gWcW_?_oHKM�f*^a`bU�g�M��loVi_o_�M�U�`\d� n q k�u �O�HKM�l�M��OVXd`bU¥ViU�_�M�[�M�l�^a`bYiYXM:w¥_oHKM �1��01��j� Zb�e_oHKM?v�Za�tM�lg�`\doVXd&�r � � � hjhjh � � � ���mGIHWVXdIUDcWLOg�M�lVXd^:Z]do_oYif'_�Z�^:Z\L�vWcW_�M�ViU�[�M�UKM�lx`bY£�BgWcW_VXdI�DUKZî�U�_�Z�wBVi��VXwWM�_oHKM�Y�`blo[�M:do_�d�jDc�`bl�M(�¿`\^�_�Z\lZb��_oHKM+wBVXd�^�loViL�V ªU�`bU�_?Zb��_oHKM+wWM   UWViUW['vhZ\Yif�UKZ\L�V�`bY�y f �sr � Zb�y���-@(UK^:M+��M�H�`:��MO` ��Z�`b_oViUW[�vhZ\ViUD_(`bvWvWl�Z:�BViL�`b_oVXZ\U±Zb� n q k �B_oHKM�U�� n q k H�`\d�_�Z�g�M�`�lx`b_oVXZ\U�`bYeViU�_�M�[�M�la�#Ma`\dofº_�Z�l�M:^:Z\[]UWVw�aM]�¦GIHWVXd(`bYXdxZ�doHKZa��d�_oH�`b_��M�L�Vi[]HD_UKM:M:w�L<Z\l�MO`\^:^�cWlx`\^�f�Z\U1_oHKM�ViUD_�M�[�M�l�d��tM+cKd�M]���¿Z\l�^�ViUW[<L<Z\l�M+vWl�M:^�VXdoVXZ\U­Z\U1_oHKM�l�ZDZ\_�d(Zb� b �

C¹U�l�Ma`bY>YiV �®M]��Z\UKM+^�HKZ�Z]d�M:d�`bU1Vilol�M:wBcK^�VigWYXM+v�Z\Yif�UKZ\L�V�`bY�ygf>��� � �Vi_oH1_oHKM�doL�`bYiYXM:do_v�Z]d�doVigWYXM��]`bYicKMZb�����IG�Z�[�M�_�L<Z\l�MQvWl�M:^�VXdoVXZ\U�����MO^a`bU­l�M   UKM�_oHKMOl�ZDZ\_�d(Zb�._oHKMOvhZ\Yif�UKZ\L�V�`bYe�tM�`bl�MO^:Z\UKdoVXwWM�loViUW['��V�``bU*Z\l�wBViU�`blof#"?M��_�Z\U1Vi_�M�lx`b_oVXZ\U1V �.UKM:M:wWM:w>���ViU�`bYiYif����tM^a`bU<^�HKM:^x��Z\cWlm^:Z\L�vWcW_x`b_oVXZ\UKd�g�f�^:Z\L�vWcW_oViUW[�_oHKMIl�M:docWYi_x`bU�_�Zb��y f �sr � `bUKw b f ��� � r �

�HWVX^�HQLOcKdo_�^:Z\ViUK^�VXwWM��Vi_oH b ��� � � "?Z\_�M¦`bYXd�ZI_oH�`b_�ViU+L�`bU�f�^a`\d�M:dGI®^�fB^�YXZ\_�Z\L�VX^]�\°�ViYig�M�lo_�r�Y�`\d�d   M�YXwWd O����M��DUKZî�&HKZî� b ��� � ��y f �sr � doHKZ\cWYXw¡dovWYiVi_QL<ZDwBcWYXZ*vWloViL<M:da��GIHWVXd�^a`bU¡g�M�cKd�M:w�_�Z*H�`:��M¥`bUKZ\_oHKM�l^�HKM:^x�1Zb��_oHKM�l�M:d�cWYi_�da�

}�SIH �|X�K���¤U¥GO��|b W�¢�M�¤N~+¢�KU§GIHKM���M�f*v�Z\ViU�_�VXd?_�ZºghM�`bgWYXM�_�Z   UKw�`bU�ViU�_�M�[]lx`bYmg�`\d�VXd?Zb� & f u � l �#" � $«� C¹_(VXd+`'l�M�Y�`b_oVi��M�Yif­Ma`\dof_x`\do���®Z\ldoL�`bYiY�wWM�[]l�M:M   M�YXwWdî�BgWcW_I^�cWLQghM�l�dxZ\L<M��®Z\lY�`blo[�M+Z\UKM:d�I®dxM:M�;NF�?�O��m¤�M?vWl�M��®M�lcKdoViUW[�`Qv�Za�tM�lg�`\doVXda�hv�`afDViUW[�_oHKM�vWloVX^:M�Zb�t`'v�Z]d�doVigWYif1HDcW[�M�wWM�UKZ\L�ViU�`b_�Z\l09?Ma`\^xH�ViU�_�M�[�M�lB_AZb� & f �ViYiY�g�M��loVi_o_�M�U_ l � ��pqf

n . e n � n `bUKw Vi_�d�^:Z\U\n�cW[�`b_�M:dE_�t~l !�t.�I_ � l � ��pqfn . e n !�t.� � � n � GIHKM1wWM�_�M�loL�ViU�`bUD_ºZb��_oHKM

L�`b_oloV � � !t�� � � n � VXd(`bU1ViUD_�M�[�M�lgI¿`bYi[�M�gWlx`bVX^�ViUD_�M�[�M�l   �WM:w�gDfº_oHKM�!t �öd O��¦GIHKM+Y�`blo[�M:d�_�wWM�UKZ\L�ViU�`b_�Z\l?Zb�_oHKM t �öd�VXd_oHKM�Y�`blo[�M:do_�d�jDc�`bl�M�wBVi��VXwBViUW[<_oHWVXd�wWM�_�M�loL�ViU�`bUD_a�GIHKM�Z\UWYif±_oHWViUW[���M�H�`a��M�_�Zº�DUKZî� VXd�_oHKM��\`bYicKM:d+Zb�I_oHKM9!t�� � � �h�¿Z\l?ViUKd�_x`bUK^:M<`\d ��Z�`b_oViUW[1vhZ\ViUD_

U�cWLQghM�l�dî��¤�M��ViYiYed�M:M+Z\U*_oHKM+U�cWL<M�loVX^a`bY�M��W`bL�vWYXM:d�HKZa�¨_oHWVXd�tZ\lo��dî�

� � ���$,.�h�������1,������ %���,m�

�DSUT ��b<~hK2Xa\�X�¡£¤L~$_��D\%_,¥G§�¤2X�¥G§GIHWVXd+^a`\d�MQVXd���M�YiY.��UKZa�U��>gWcW_���M�[]Vi��M�Vi_�`\d+`bU�Ma`\d�f*M��W`bL�vWYXM]�g@(cWl+`bvWvWl�Z�`\^xH�l�M:^:Za��M�l�d�_oHKMQ�tM�YiY��UKZa�U±R+`bcKdxdvhM�loVXZ�wWd�Zb�mdocK^�H­M:j�c�`b_oVXZ\UKda�

S�M�_�� g�M1`bU¯ViU�_�M�[�M�l%D r*`bUKw YXM�_�% � l (+*-,��/.Hs10Zu;� � wWM�UKZ\_�M­`bU �¥ª£_oH¯l�ZDZ\_<Zb��cWUWVi_«f¯`bUKw� � ��� � Vi_�dL�ViUWViL�`bYevhZ\Yif�UKZ\L�V�`bY29

� � ��� � l d��� q � � . f ��� e % �� � h

©Z© Ã�ªd«îú�¬7ù

Page 13: Solvability by Radicals from an Algorithmic Point of View · 2017-01-30 · Solvability by Radicals from an Algorithmic Point of View Guillaume Hanrot, Fran˘cois Morain To cite this

{a| ����� ��#`���%����� � ��������#

GIHKMtR�`bYXZ\VXde[]l�Z\cWv�Zb� � � ��� � VXd-� ��u;��� � 9 �HWVX^xHQVXd�q�g�M�YiV�`bU���GIHKMt`\^�_oVXZ\U�^:Z\lol�M:d�vhZ\UKwBViUW[?_�Z�M�YXM�L<M�UD_ Zb�*� ��u;��� � 9 d�M�UKwWdD% � Z\U % �� �S�M�_IcKd�[]Vi��M?`OUKZ\UBª£_oloVi��V�`bY�M��K`bL�vWYXM]�mG�`b��M�� ��u���� � � 9 �HWVX^xHºH�`\dIdo_olocK^�_ocWl�M ���/. � � � �/. � � ����� �`bUKw VXd�M:j�c�`bY_�Z ���+rRD � � r%r�D � � r�� DO��¤�M¥ViYiYicKd�_olx`b_�M¥HKM�l�M¥_oHKMºd�fDLQghZ\YiVX^1`bvWvWl�Z�`\^xH��S�M�_o_oViUW[ %�wWM�UKZ\_�MQ`�vWloViL�Vi_oVi��M����bª£_oH1l�ZDZ\_(Zb��cWUWVi_¹f��W_oHKM+l�Z�Z\_�d�Zb� � e ��� � ^:Z\lol�M:^�_oYif�Z\l�wWM�l�M:w*`bl�M%9

" % f�� � %� � %���� � % � % V � � % f � %�� � % f�f � % � � %��� � % V � � %�� f � %�� � � % V � % f � � % V f $2h¤�M+�ViYiY�wWM:^:Z\L�v�Z]d�M����/% � `\d�`�_�Zî��M�l(Zb���¿Z\cWl�wWM�[]l�M:MON�M��B_�M�UKdoVXZ\UKda�.¤�M+g�M�[]ViU1�Vi_oHa9

b f ��� � l ���fe % f�� � ���fe % ��� � �b V%��� � l ���fe % � ��� e % � �

ojojob�� ��� � l ��� e % f�f � ��� e % V f �

f�VXM�YXwBViUW[`9x f �sr � l�r � l .�r � l ��r�� l � r�� l�� r l � r � l ��r V l .�r l r �

x V �sr � l�r � l .�r�� l � r l�� r V l r���h¤�M�d�M�YXM:^�_-x V��sr � doViUK^:M�x f �sr � l �sr l r � l r V l r l r � V VXdIUKZ\_tVilol�M:wBcK^�VigWYXM]��GIHKM?l�ZDZ\_�dZb��x�V?ViU_oHKM�^:Z\lol�M:^�_�Z\l�wWM�l?`bl�M%9 % f�� l %���� � %� l % � hjhjh � % f�f l % V f hrtZ\U�_oViUDcWViUW['_oHWVXd��t`:f�����M   U�`bYiYif   UKwq9

�� l r V

�e .�r � e�� � � V l r VV e#r � rWV l � � � f l r Vf l rZV � � e l�r Ve e r f r e l r>u8.�r Vf h

�DS R ��XZ¥! �*_PKU¤U¢i¥ ~+¢q§H_,§@(cWl   l�do_IM��W`bL�vWYXM?^:Z\L<M:dt�El�Z\L q(YiYXZ\LOg�M�lo_ �ödIv�`bvhM�lK;ËN�?«��ViU'�HWVX^xHº_oHKM�R+`bYXZ\VXdt[]l�Z\cWv�Zb��_oHKM?vhZ\Yif�UKZbªL�V�`bY

" ��T � l T V f e#� T V e e .+r T f l .$� � T f � e .%� � T f�� e r � � � T f �l �&���. T f � l r � �+r T f e r �$� �$� T f � l r�� �$� � T f V lr'� � r�( T f�f e#�.%���+r T fUe l��$� (�� T) l r��$�$����T � e r�� � �$� T �l �$(. T � l � � r'� T � e r � �&� T l r��+r T*� l ��( T V e�r'� T l r�h

VXd�^:Z\L�vWcW_�M:w>�GIHWVXd�R+`bYXZ\VXd?[]l�Z\cWv�VXd?VXd�Z\L<Z\lovWHWVX^�_�Z'_oHKM�d�M�L�VXwBVil�M:^�_�vWl�Z�wBcK^�_ ���+� �-, � �.� � ��[�M�UKM�lx`b_�M:w±g�f-� f

`bUKw��PV]���Vi_oHR�ZV � f l � f � VV �gC«��_oHKM�l�Z�Z\_�d�I¿`bYiYml�Ma`bY O?Zb� " `bl�M�UDcWLOg�M�l�M:w�ViU�ViUK^�l�Ma`\doViUW[*Z\l�wWM�la��� f`bUKw �ZV�`bl�M�[]Vi��M�U­`\dvWl�Z�wBcK^�_�Zb�.^�fB^�YiVX^+v�M�loLOcW_x`b_oVXZ\UKd�`\d

� f l �.r � rj� � . � �.� � r%r � � � ��� � � � � � � � � r � � .+r ��.( � r�� � r'� � �.r�. � r�� � .�� � �.r�� � r�( � r � � �

�ZV l �.r � � � r'� � � � r�� � r%r � r�� ��/. � r�� � r�. � r � � � � .+r � � ���� � � � ( � r�( � r � � rj� � .�� � h

òI� © ò Û

Page 14: Solvability by Radicals from an Algorithmic Point of View · 2017-01-30 · Solvability by Radicals from an Algorithmic Point of View Guillaume Hanrot, Fran˘cois Morain To cite this

����������� ���������������������������� ����!"��#$�%� &��%� ����'!(���*)+����#,�-�.�/�0�21�3 {]{

GIHKM�loVi[]H�_�d�M:j�cKM�UK^:MºZb��docWgW[]l�Z\cWvKdO�®Z\l�c VXd�c n � � f D n r]��d�ViUK^:M ���ZV\D VXdQUKZ\_�`1UKZ\loL�`bYdocWgW[]l�Z\cWv*Zb�Gc��G�Z*^:Z\UKdo_olocK^�_Q_oHKM�docWg   M�YXwA^:Z\lol�M:dovhZ\UKwBViUW[±_�Z<�@� f DO���tM<cKd�M'`1dof�L�L<M�_oloVX^��®cWUK^�_oVXZ\U¢Zb�I_oHKM

l�Z�Z\_�d^:Z\lol�M:dovhZ\UKwBViUW[�_�Z<`bU�Z\logWVi_cWUKwWM�l_oHKM+`\^�_oVXZ\U1Zb���ZV]�.�KZ\lViUKdo_x`bUK^:M]�B��M�YXZ�Z\�<�¿Z\lI_oHKM�L�ViUWViL�`bYv�Z\YifDUKZ\L�V�`bY¦Zb�-� f l � � l � � l � f�f l � f l � f � l � f�� ���HWVX^�H�VXd : � e � : V l ��(B��C¹_�l�M�L�`bViUKd�_�Z^:Z\L�vWcW_�Mº_oHKMºl�ZDZ\_'T Zb� " ViUA_�M�loL<d�Zb� : �±GIHWVXdQVXd�wWZ\UKMºg�f¡cKdoViUW[­_oHKMºViUD_�M�lovhZ\Y�`b_oVXZ\U¯vWl�Z�^:M:wBcWl�MwWM:d�^�loVig�M:w'`b_�_oHKM(M�UKw�Zb��docWgKd�M:^�_oVXZ\UºNB� zK��`bUKw�_oHKM�U���M?`bl�MYXM��®_¦�Vi_oH<_oHKM��®Z\YiYXZî�ViUW[�^�fB^�YiVX^�M:jDc�`b_oVXZ\UKd_�Z�d�Z\Yi��M : ��e#� : V l ��( l �

T � e : T � l �.� : V e � : e � . � T � e�� � : V e r'� : e �$� � T eg�+� : V e r�� : e (+r � T � l �.r�. : V e �$� : e r'�&� � T V e�� � : V e�r � : e � � � T

l � : V u$�8e . : e � l �+h¤�M+[]Vi��MQ`�d�M:^:Z\UKw1M��K`bL�vWYXM]��q�l�Z�Z\_�Zb�._oHKM+vhZ\Yif�UKZ\L�V�`bY

� ��T � l T f V e � T f�f e �. T fUe l r��+r T l �+r�� T �e{r��$( � T � e#(%��( T � l � �%�$� T � l�� � � T e �$� r�� T)�e{r����%��T V l . �$� T l �%�

wWM   UKM:d�_oHKM?R+`bYXZ\VXd¦^�YXZ]docWl�M�Zb�h_oHKM   M�YXw<[�M�UKM�lx`b_�M:w<g�f<`?l�Z�Z\_¦Zb� T e r�� T V e �+r T l r��B� � H�`\dIR+`bYXZ\VXd[]l�Z\cWv#� ��D`bUKw'VXd�[�M�UKM�lx`b_�M:w'g�fC� f � �PV � � � Zb�eZ\l�wWM�l 4 �BN�`bUKw'NB�D�Vi_oH�_oHKM�l�M�Y�`b_oVXZ\UKd��ZV � f l � f �ZV � � �� � � f l � f �PV]�U� � �PV�l �PV � � �mq�[�`bViU��BV �.��M+Z\l�wWM�l_oHKM I¿`bYiY>l�Ma`bY Otl�Z�Z\_�dZb� � ViUK^�l�Ma`\doViUW[]Yif��W_oHKM`�`t.`bl�M[]Vi��M�U­`\d

� f l �.r � . � � � �.� � r�. � r%r � � � � � � � � �.� � rj� � ( � ��PV l �.r � rj� � �/. � � � �.� � � � � � � r�. � �.� � � � �.( � r�r � �� � l �.r � � � �/. � r%r � �.� � � � ��� � � � �+� � ( � �.rj� � r . � h

pDViUK^:M�`�d�M:jDcKM�UK^:MOZb��docWgW[]l�Z\cWvKd?^:Z\lol�M:dovhZ\UKwBViUW['_�Z�c VXd�c n �k�af � � V D n � �qf�D n r]�K�tM�_oHDcKd^:Z\L�vWcW_�M<_oHKM<L�ViUWViL�`bY¦v�Z\YifDUKZ\L�V�`bY¦Zb��� f l � � I¿`bU¡Z\logWVi_�cWUKwWM�lQ_oHKM�`\^�_oVXZ\UAZb�!� � O+`bUKw   UKw�_oHKMVilol�M:wBcK^�VigWYXM�wWM�[]l�M:M{MQv�Z\YifDUKZ\L�V�`bY �� : � l : � e�� : � e �$� : l �$� : � l r�.%� : V l ��� : l#� ��GIHKM�`\^�_oVXZ\UZb���ZV(Z\U¥_oHKM?l�ZDZ\_�dIZb��x<VXd�[]Vi��M�U¥gDfJ�.r � � � �.� � � � �/. � � � �>d�Z�_oH�`b_ � f l � � VXdI`Ql�Z�Z\_Zb�e_oHKM?vhZ\Yif�UKZ\L�V�`bY� �F= � l = � e � = V e = l r%r]�*C«�m��MO^:Z\L�vWcW_�M�doViLQcWYi_x`bUKM:Z\cKdoYif1_oHKMOM��BvWl�M:d�doVXZ\UKd��®Z\l : `bUKw =�ViU­_�M�loL<dZb��T±`bUKw : �B��M�M�UKw1�Vi_oH1_oHKM?�®Z\YiYXZî�ViUW['d�M:jDcKM�UK^:M�Zb�m^�f�^�YiVX^+M:jDc�`b_oVXZ\UKd�_�Z�d�Z\Yi��M

= � e � = V e = l r%r l �: V e = : e �8= V l � = l .�� l �T V eRT : l � � � : � e ����� : e .�� � ( : � l

�$�$(�� : V l ($� � . : l .$�.%� � u�r�. l �+h

� � ���Q�K �� ���e #����!��&�x�o',.�# � �����#����,m�x�Q�

GIHWVXd?v�`blo_+Zb�¦_oHKM�`blo_oVX^�YXM��I`\d�_oHKMQZ\loVi[]ViU�`bY.L<Z\_oVi�]`b_oVXZ\U��®Z\l�Z\cWl(�tZ\lo�h��g�M��¿Z\l�MO�tMQl�Ma`bYiVw�aM:w±Vi_�^:Z\cWYXwg�M�Ma`\doViYif�M���_�M�UKwWM:w�_�Z�_oHKM�[�M�UKM�lx`bY#d�Z\Yi�]`bgWYXM�^a`\d�M]�DC¹_��ViYiY#dxM�lo��M�`\d�`bUºM��W`bL�vWYXM(Zb�eR�`bYXZ\VXd¦M��B_�M�UKdoVXZ\UZa��M�l?`�U�cWLQghM�l   M�YXw��HWVX^�H1VXd�UKZ\_D�+�©Z© Ã�ªd«îú�¬7ù

Page 15: Solvability by Radicals from an Algorithmic Point of View · 2017-01-30 · Solvability by Radicals from an Algorithmic Point of View Guillaume Hanrot, Fran˘cois Morain To cite this

{aN ����� ��#`���%����� � ��������#

�DSUT  �^�_`XaW_d\�¤N~+¢�K §H_d\�\�¤U¥GOGIHKM�_oHKM:Z\lof*Zb��°(ViYighM�lo_Or�Y�`\d�d   M�YXwWd?VXd?��M�lof*loVX^xH�`bUKw±�tM�^a`bUWUKZ\_�[]Vi��M�wWM�_x`bViYXd?HKM�l�M]��¤�M�l�M��®M�l?_oHKMl�Ma`\wWM�l�_�ZA; =B�m�B��}B�yFH?I�®Z\l�L<Z\l�M1wWM�_x`bViYXdî��@(cWl�ViUD_�M�l�M:do_<ViU ^:Z\UKdo_olocK^�_oViUW[¡d�cK^�H Z\gBnoM:^�_�d�VXd�l�M�Y�`b_�M:w_�ZAvWloViL�`bYiVi_«f§vWl�Zî�DViUW[E; 4 ?«���HKM�l�M*_oHKM±l�Ma`\wWM�l�^a`bU   UKw L<Z\l�M±L<Z\_oVi�\`b_oVXZ\U�� rtZ\UKdo_olocK^�_oViUW[ ^�fB^�YiVX^M��B_�M�UKdoVXZ\UKd�Zb��vWloViL<M+wWM�[]l�M:MOZb��jDc�`\wBlx`b_oVX^   M�YXwWdIH�`\dg�M:M�Uº_oHKM+d�cWgBn�M:^�_�Zb��_oHKM�`blo_oVX^�YXM:d�;i{]{���{0MW��{a}H?«�°?M�l�M]���tM�`bl�MQdx`b_oVXd   M:w1�Vi_oH�`bU±`bYi[�Z\loVi_oHWL�VX^�`bvWvWl�Z�`\^xH±_�Z�_oHKMQM��BvWYiVX^�Vi_(^:Z\UKd�_olocK^�_oVXZ\U�Zb�¦Z\cWl(_�Za�tM�lZb�   M�YXwWdî� � Yi_oViL�`b_�M�Yif�����M��ViYiY.ghM�cKdoViUW[¥_oHWVXd(�¿Z\l   UKwBViUW[�l�Z�Z\_�d+Zb�¦_oHKM�wWM   UWViUW[1v�Z\YifDUKZ\L�V�`bYXd+Zî��M�l  UWVi_�M   M�YXwWda�GIHKMIZ\UWYifO_oHWViUW[��tM�UKM:M:w�_�Z?��UKZa� VXd�_oH�`b_��tM`bl�M�[]Vi��M�U<`(v�Z\YifDUKZ\L�V�`bY ��� ��� � ^:Z\lol�M:dov�Z\UKwBViUW[+_�Z

_oHKM�ViL�`b[]ViU�`blofQj�c�`\wBlx`b_oVX^   M�YXw�� l>�/��� e�� � Zb�KwBVXd�^�loViL�ViU�`bUD_je�� `bUKwQ^�Y�`\d�deU�cWLQghM�l�� lm�Z� e�� � �GIHWVXd�v�Z\YifDUKZ\L�V�`bYmwWM   UKM:d�`¥R+`bYXZ\VXd+M���_�M�UKd�VXZ\U�^a`bYiYXM:w±_oHKMC� ���z�1�����|�8��� �`�G�21��w� �� Zb���A�#Vi_?VXd?_oHKML�`È�BViL�`bY�cWUWlx`bL�V   M:w¢q�g�M�YiV�`bU M���_�M�UKdoVXZ\U¢Zb���¡�¥¤�M'^a`bU `bYXd�Z­^:Z\L�vWcW_�M�_oHKM�l�ZDZ\_�d�Zb� ��� ��� � `\d��Z�`b_oViUW[�v�Z\ViU�_�U�cWLQghM�l�dO`bUKw��tM��DUKZî� _oHKM�`\^�_oVXZ\U�Zb��_oHKM�R�`bYXZ\VXd�[]l�Z\cWv�Z\U±_oHKM�l�Z�Z\_�d�I®d�M:M�; 4 ?��¿Z\lL<Z\l�M+wWM�_x`bViYXd O���p�M:M?_oHKM�l�M��¿M�l�M�UK^:M:d[]Vi��M�U*`bg�Za��M?�¿Z\ltL<Z\l�M+wWM�_x`bViYXdî�mGIHKMOR+`bYXZ\VXdI[]l�Z\cWv1_ocWloUKdZ\cW__�Zg�M�VXd�Z\L<Z\lovWHWVX^Q_�Z<_oHKM�^�Y�`\d�d�[]l�Z\cWv� ��2� e�� � Zb����9�C¹_�VXd?q(ghM�YiV�`bU��h`bUKw*V �G�±VXd�d�L�`bYiY£�#^:Z\L�vWcW_oViUW[1`p "?��VXdtMa`\dof���`bUKwº��M�lof�Zb�®_�M�UºVi_�VXdt^�f�^�YiVX^(Iÿ�¿Z\YiYXZa�ViUW[�_oHKM�rtZ\HKM�UBªNS�M�UKdo_olx`QHKM�cWloVXdo_oVX^:d/;NM�?�O��mGIHKM?^a`\d�M:d�HKM�l�M?Vi_�VXdtUKZ\_IVXdtL<Z]do_oYif�wWZ\L�ViU�`b_�M:w¥gDf�_oHKM?^a`\d�M��HKM�l�M�� H�`\d�`OY�`blo[�M?U�cWLQghM�l�Zb�evWloViL<M(�£`\^�_�Z\l�da��¿Z\l�^�ViUW[*`�Y�`blo[�M�.ȪÁpDf�YXZa� d�cWgW[]l�Z\cWv���GIHWVXd+^a`\dxM�^:Z\lol�M:d�vhZ\UKwWd+_�Z�`'Y�`blo[�M�U�cWLQghM�lQZb��[�M�UKM�lx`ºViU�_oHKM^�Y�`\d�dQ[]l�Z\cWv¢`bUKw¡fDVXM�YXwWd�`�Y�`blo[�M'U�cWLQghM�l�Zb��ViU�_�M�loL<M:wBV�`b_�M¥jDc�`\wBlx`b_oVX^   M�YXwWdQYXMa`\wBViUW[­_�Z*_oHKM<[�M�UDcKd  M�YXw1Zb�E��� � e�� � ��C¹U�_oHWVXd�^a`\d�M]��`bU*`bYi[�Z\loVi_oHWL H�`\d�`bYil�Ma`\wBf¥ghM:M�U*M��BvWY�`bViUKM:w�ViU ; 4 � L =�� 4 ?«�¤�M¥`bl�MºUKZa� l�Ma`\wBf�_�Z�`bvWvWYif�_oHKMºL�`\^�HWViUKM�lofAwWM���M�YXZ\vWv�M:w ViU¢_oHKM�vWl�M:^:M:wBViUW[�d�M:^�_oVXZ\UKd�_�Z­_oHWVXd

^a`\d�M]� "(Z\_�Mº_oH�`b_<doViUK^:M�� u�� VXd�cWUWlx`bL�V   M:w>���¿Z\l<`bU�f¢ViU�_�M�loL<M:wBV�`b_�M   M�YXw�� 7 & 7 �A�m_oHKMwBVXd�^�loViL�ViU�`bUD_�Zb� & VXd�� � & � l � e�� ��� ��� ��� `bUKw�_oH�`b_�`bYiY�wWM   UWViUW[±vhZ\Yif�UKZ\L�V�`bYXdCy f ��� � Zb� & H�`a��MwBVXd�^�loViL�ViU�`bUD_�� V � � & � �¿Z\l�lx`b_oVXZ\U�`bYViU�_�M�[�M�l�� IE��M�^a`bU¯g�MºL<Z\l�M�vWl�M:^�VXd�M¥gDfAdo_ocKwBf�ViUW[�_oHKM¥vWloViL<M�£`\^�_�Z\l�d�Zb����O��u(M�L<M�LOg�M�l<_oH�`b_���M¥�ViYiY   l�do_<wWM:^:Z\L�v�Z]d�M�Z\cWl'R+`bYXZ\VXd<[]l�Z\cWv `\d�^�f�^�YiVX^�M��B_�M�UKdoVXZ\UKd<Zb�?vWloViL<M

wWM�[]l�M:M]��GIHKM�U�����M+�ViYiY   UKw�l�Z�Z\_�d�Zb�mZ\cWl�v�Z\YifDUKZ\L�V�`bYXd�g�fºlx`\wBVX^a`bYXda�

�DS R �|X�K���¤U¥GO! f#"%$'&)(+* �|b W�¢�MG¤L~+¢�K¤�M¯`\d�docWL<MA_oH�`b_ � f>��� � r � VXd�`§wWM�[]l�M:M 0 v�Z\YifDUKZ\L�V�`bY�ViU � �Vi_oH ^:ZDM�7�^�VXM�UD_�d�ViU & f��sr � l� " r $�u+� y f �sr ��� �HKM�l�M�y f �sr � VXd�`*wWM�[]l�M:M#��IEUKZ\_QUKM:^:M:d�d7`bloViYif�vWloViL<M>O+v�Z\Yif�UKZ\L�V�`bY��Vi_oH¢lx`b_oVXZ\U�`bYViU�_�M�[�M�l�^:Z�M�7�^�VXM�U�_�da�IGIHKM+v�Z\YifDUKZ\L�V�`bY � f VXd(`��¿`\^�_�Z\l?Zb�.Z\cWl(vhZ\Yif�UKZ\L�V�`bY � ��� � Zb�mwWM�[]l�M:M 0 ��`bUKwl�Z�Z\_�d�, f � hjhjh � ,

� �I®Z\l�wWM�l�M:w±ViU±`�^�f�^�YiVX^Q�t`af­`\d(cKdoc�`bY O���u�M�L<M�LQghM�l?_oH�`b_?_oHKM�l�Z�Z\_�d(Zb��_oHKMQvhZ\Yif�UKZbª

L�V�`bYXd~� b t���� ��� f'& t & � `bl�M`T}t q f � hjhjh � T,t q��HKM�l�M T}t q n l-, tzv

� n pqf�� � �¿Z\l{r/��� � 0 ��GIHKM+l�Z�Z\_�d�Zb� y f `bl�M. f � hjhjh � . � �HKM�l�M . t l0/K��T t q f � hjhjh � T t q

�� ��ViU±�HWVX^�H1/ wWM:doVi[]U�`b_�M:d�`'dofDL�L<M�_oloVX^a`bY.�®cWUK^�_oVXZ\U�Zb��_oHKM

ViUWvWcW_a���KZ\l(Ma`\d�M�Zb�.L�`bUWVivWcWY�`b_oVXZ\U��K_oHKM+l�Z�Z\_�d�Zb� � f �BU�`bL<M�Yifº_oHKM T f q n �ViYiY�g�M�l�M�U�`bL<M:w T n lkT f q n �¤�M�wWM�UKZ\_�M<`\d�cKdoc�`bY��¢_oHKM<R+`bYXZ\VXd�`\^�_oVXZ\U1,�f32]4, V 2] ojojo 2]4,

� �2]5,�fî�OGIHKM�`bcW_�Z\L<Z\lovWHWVXd�L

� l �¯[�M�UKM�lx`b_�M:d76 �8�U� & f u�� � �¥¤�M'^:Z\L�vWcW_�M ��� . t � l . tzv f doViUK^:M �K� . t � l9/K�3����T,t q f � � hjhjh � `bUKw���:,�t � l ���:,�t � l!,�tzv f �u(M�L<M�LOg�M�l�_oH�`b_?`bU*ViU�_�M�[]lx`bY�g�`\doVXd�Zb�;��VXd��r �=< �Q�HKM�l�M < l �.r l � e�� � u8.�V �>� VXd�Z�wWw*`bUKw

< l@? eA��u��OZ\_oHKM�lo�VXdxM]���?M�UKZ\_�M�g�fCB�_oHKM�Z\l�wBViU�`blof<^:Z\L�vWYXM���^:Z\U\n�cW[�`b_oVXZ\U�_oH�`b_td�M�UKwWd � eA� Z\UD_�Ze � e��±��GIHKMºM���_�M�UKdoVXZ\U & f�u7� VXd�[�M�UKM�lx`bYiVw�aM:w¯wBViHKM:wBlx`bY�`bUKw¢H�`\d<R+`bYXZ\VXd�[]l�Z\cWv _oHKM¥d�M�L�V ª«wBVil�M:^�_vWl�Z�wBcK^�_�Zb� �DB�D)`bUKw<���kDO�

òI� © ò Û

Page 16: Solvability by Radicals from an Algorithmic Point of View · 2017-01-30 · Solvability by Radicals from an Algorithmic Point of View Guillaume Hanrot, Fran˘cois Morain To cite this

����������� ���������������������������� ����!"��#$�%� &��%� ����'!(���*)+����#,�-�.�/�0�21�3 { 4

¤�M+�ViYiYe_x`b��M�`\dViU�_�M�[]lx`bY�g�`\doVXdI�¿Z\l & f u7� _oHKM+UDcWLOg�M�l�d�`tZl�� . t pqff �®Z\l�r/� s��� �

< . t pqff �®Z\l�� l r/� s���. ��hGIHKM�M�LQghM:wWwBViUW[�d��®l�Z\L & f _�Z�#�`bl�M�_x`b��M�U­_�Z�ghM

!tZl � � t pqf �®Z\l�r/� sG�� �B � t pqf �®Z\l�� l r/� sG��. ��h

pDViUK^:Mm_oHKM�M��B_�M�UKdoVXZ\U & u & f VXd>cWUWlx`bL�V   M:w>�b_oHKM�wWM�_�M�loL�ViU�`bUD_ � !t�� � n ��� LOcKd�_�ghMmM:jDc�`bY�_�Z�� e�� � � ����� � y f � V �`(j�c�`bUD_oVi_«f�_oH�`b_��tMt^a`bU�^:Z\L�vWcW_�MtcKdoViUW[?ViU�_�M�[�M�l¦`bloVi_oHWL<M�_oVX^]�mGIHKMtwWM��®M:^�_.VXd�_oHKM�U�Ma`\dof�_�Z?wWM�_�M�loL�ViUKM]�¤�M+H�`a��M+_�Z<^:Z\L�vWcW_�M+_oHKMO^:ZDM�7�^�VXM�UD_�d o �

� �n q k ��¤�M�L�`:f¥l�M��loVi_�MOdofBdo_�M�L I¿}�O��¿Z\l�r/� s��%��`\d>9

!t��s� o � � �n � l�m

k . f o �� �n q k . k�pqft l < �m

k . f o �� �n q k v � .

k�pqft l�m

k . f � o �� �n q k l < o �

� �n q k v � � .

k pqft h I�{]{>O

¤�M   l�do_tdxZ\Yi��M(_oHKM(ViU�_�M�lov�Z\Y�`b_oVXZ\U�vWl�Z\gWYXM�L�� � . t � l>!t��s� o � � �n � `bUKw'_oHKM�U¥��M?l�M:^:Za��M�lI_oHKM o �� �n q k cKdoViUW[l�Ma`bY�`bUKw�ViL�`b[]ViU�`blof¥v�`blo_a�

� � ����� � � ³ � ( )�� � � ³ � ³ ����)��a�GIHKM�_oHKM:Z\lof Zb��^�Y�`\d�d   M�YXwWd�_�M�YiYXd¥cKd¥_oH�`b_�lx`b_oVXZ\U�`bY�vWloViL<M:d¥�HWVX^xH)`bl�M�UKZ\loL ViU)��� � e�� � dovWYiVi_^:Z\L�vWYXM�_�M�YifOViU � Q�ZC¹UQvWlx`\^�_oVX^a`bYB_�M�loL<da�b_oHWVXd�L<Ma`bUKd�_oH�`b_e�¿Z\levWloViL<M:d.Zb�K_oHKM¦�®Z\loL� l ��T V l � : V � u���¿Z\l�lx`b_oVXZ\U�`bY#ViUD_�M�[�M�l�dGT�`bUKw : ��_oHKM�vhZ\Yif�UKZ\L�V�`bY ��� ��� � H�`\d��'l�Z�Z\_�d�ViU��

��DC¹_¦wWZ�M:d�`bYXd�Z+L<Ma`bU'_oH�`b_

`bYiY�ViUD_�M�loL<M:wBV�`b_�MQv�Z\Yif�UKZ\L�V�`bYXd�ViU*Z\cWl(_�Za��M�l?Zb��M���_�M�UKdoVXZ\U­dovWYiVi_�L<Z�wBcWYXZ 0 �Ir�HKM:^���ViUW['_oHKM+l�M:d�cWYi_�VXd_oHKM�U*Ma`\dofºg�fº_olof�ViUW['`�doL�`bYiY�UDcWLOg�M�l(Zb�._oHKM:d�M+dovWYiVi_o_oViUW[<vWloViL<M:da�

�DSIH  �^�_�~+XZ¡£[ KU_d\%_#~+XZ¥�§>\%WY ~�\�¤2XZ¥ .XaW����������S�M�_�cKd�M��BvWY�`bViU�HKZa�¢_�Z�gWcWViYXwQ_oHKM¦°(ViYighM�lo_�r�Y�`\d�d���VXM�YXw & Zb� �/� � e�.$�$( � �e¤�M   UKwO_oH�`b_> ��2� e-� � .$�$( �VXd�^�fB^�YiVX^�Zb�mZ\l�wWM�l{r � ��GIHKM�wWM   UWViUW[<v�Z\Yif�UKZ\L�V�`bYeZb��� VXd

� ��� � lk� f � e � � f l . � f � l�� � f V l � � f�f e .�� � fUe l r�� � l r � � �

e-� � � e .���� � l r�� � � l�� � e � � �je � � V l � � e r�HKZ]d�M+l�Z�Z\_�dViU1^�fB^�YiVX^�Z\l�wWM�l(`bl�M%9

� ,��r �+h �$� ���$���%� �$� e �+h �..$(..$�����Hs. �+h � �$�$�+r��.$(+rBe �+h �$�%� � �$� � �$(Hs� e��+h �+r%r �$� ��� . � e �+h �%�$�$�&� � r�� � s� �+h � �+r�� � � � .. l �+h . � � .$�+r�.$(+r�s� e��+h �8..+r'�&��( � � l �+h �`rj�����$�$($����s� e{r�hN���$�$�$(. � �`rBe �+h � (..$(.$� � �Hs� �+h ���$($�$�$�$� � � l �+hzr%r'� � �+r'�����Hs� �+h ���$($�$�$�$� � �Ee �+hzr%r'� � �+r'�����Hs

� ,��( e{r�hN���$�$�$(. � �`r l �+h � (..$(.$� � �Hs

rj� e��+h �8..+r'�&��( � �2e �+h �`rj�����$�$($����sr%r �+h � �+r�� � � � ..'e �+h . � � .$�+r�.$(+r�sr�. e��+h �+r%r �$� ��� . �`l �+h �%�$�$�&� � r�� � sr�� �+h � �$�$�+r��.$(+r l �+h �$�%� � �$� � �$(Hsr'� �+h �$� ���$���%� �$� l �+h �..$(..$�����Hsr � � h �%��($(%��� � ���

@(UKM�Zb�._oHKM�vhZ]dxdoVigWYXM+_�Za�tM�l(M��B_�M�UKdoVXZ\UKdVXd09

©Z© Ã�ªd«îú�¬7ù

Page 17: Solvability by Radicals from an Algorithmic Point of View · 2017-01-30 · Solvability by Radicals from an Algorithmic Point of View Guillaume Hanrot, Fran˘cois Morain To cite this

{�z ����� ��#`���%����� � ��������#

�A& f

&& �/% � �& f �/% � �& f �/% � �

A��/% � � .�

�..�

¤�M   l�d�_   UKw�_oHKM+ViU�_�M�loL<M:wBV�`b_�M   M�YXwWd(`bUKw�_oHKM�U­d�Z\Yi��M+Ma`\^�H±M:j�c�`b_oVXZ\U1gDf'lx`\wBVX^a`bYXdî�

� � � ��� � � ( )ÿ¸ ( )�� & fGeZ   UKw­_oHKM�v�Z\YifDUKZ\L�V�`bYXd x n �öda�hZ\UKM�cKd�M:d(_oHKM ��Z�`b_oViUW['v�Z\ViU�_?�\`bYicKM:d([]Vi��M�U�`bghZî��M]� � doViUW[�_oHKM�`bYi[�ZbªloVi_oHWL<d�Zb�._oHKM�vWl�M:^:M:wBViUW['dxM:^�_oVXZ\UKda�W��M   UKw�_oH�`b_09

� x n ����� � x n � u+� e�.$�$( � ��� x n �� r � e � r V eRrwe r � V �r r � l .+r r V l .�� r l .�� � � V � �. r � e .%� r V e#(�r+e .�� � � � r� r � l rj� r V e#�+r r l .$� � (� �sr+e . � � � e e

¤�M�d�M�YXM:^�_ �>e�l¨�W����ViU�`bYiYif���`��£`\^�_�Z\l�Zb� � ��� � Za��M�l & fVXd[]Vi��M�U1gDf

� f ��� � r � lk� � e . � l � e�r V u�� l r l ��u�� � � � e ��rp� V l � e�.�r V u�� l ��rwe r>u�� � � e�r�h

� � � �/� ��� ( ) � �b�W¸ (E���!)E�¤�M+H�`a��M & f l AA� . f � �HKM�l�M . f VXd�`�l�Z�Z\_�Zb�Gy f �sr � l r � e � r V e r+e r]��GIHKM�l�Z�Z\_�d�Zb�Gy f `bl�M

. f lwe��+hN��� � ($(��pe �+h �%���$�$(Hs � . V lwe��+h � � ($(�� l �+h �%���$�$(Hs � . � l � hzr�� � � �Z\gW_x`bViUKM:w��®l�Z\L _oHKM+l�Z�Z\_�d�Zb� � `\d09

. f l!, f�o ,� o , ��o , fUe-o , f � �. V�l!, V o , � o , � o , f�f�o , f �. � l!, � o , � o , o ,�f V o ,�f � h

GIHKM+L�`b_oloV ��� VXd09s !t�� � f � !t�� �PV � !t�� � � � !t�� � � !t�� � � � !t�� � � �r r�h e��+hN��� � ($( e �+h �%������s e��+hzr%r��%� l �+hN���&��� .Hs �+h ��l ��h ������s .�h �.. e �+h �H� � r�s e��+h � .$�.`e �+h �$� .$�Hs. r�h � hzr�� � �$��h .$� �+h ��l ��h ������s �dhN���$( l �.�h (+r�s �$��hzr%r l�� r%r�h (Hs� r�h e��+hN��� � ($( l �+h �%������s e��+hzr%r��%�'e �+hN���&��� .Hs �+h ��l ��h ������s e&.�h �$(+r9e �+h �$�+r'�%s �+h ����($( e �+h (��%�%��s� r�h e��+hN��� � ($( l �+h �%������s e��+hzr%r��%�'e �+hN���&��� .Hs �+h � e#��h ������s .�h �.. l �+h �H� � r�s e��+h � .$�. l �+h �$� .$�Hs� r�h � hzr�� � �$��h .$� �+h � e#��h ������s �dhN���$(`e#�.�h (+r�s �$��hzr%r�e � r%r�h (Hs� r�h e��+hN��� � ($( e �+h �%������s e��+hzr%r��%� l �+hN���&��� .Hs �+h � e#��h ������s e&.�h �$(+r l �+h �$�+r'�%s �+h ����($( l �+h (��%�%��s

òI� © ò Û

Page 18: Solvability by Radicals from an Algorithmic Point of View · 2017-01-30 · Solvability by Radicals from an Algorithmic Point of View Guillaume Hanrot, Fran˘cois Morain To cite this

����������� ���������������������������� ����!"��#$�%� &��%� ����'!(���*)+����#,�-�.�/�0�21�3 {0F

�HWVX^�H±H�`\d�wWM�_�M�loL�ViU�`bUD_ �.� V � .$�$( � V � e&.$�$( � � �Kd�Z�_oH�`b_g�.� V � .$�$( � o � � �n q k i � �+�mGIHKMQ^:ZDM�7�^�VXM�UD_�d o �� �n q k`bl�M+[]Vi��M�U1ViU1G�`bgWYXM�{]�

"?Za�¨_oH�`b_�tM+H�`:��MQ^:Z\L�vWYXM�_�M:w�_oHKM+�tZ\lo���¿Z\l & u & f �B��M�^a`bU1wWZ�_oHKM+d7`bL<M��®Z\l & f u A¢�mq)l�Z�Z\_��Zb�Gy f �sr � VXd�^:Z\L�vWcW_�M:w1��V�`+9

: � lwe (% V�< e �$� �8% V

�l (% � < e � �$�% � �

��l]r>u��� e{r��%� % � V e�r��%� % ��� : V

� e{r%r%r'� e r � < � % � V l � e{r%r��. l r � < � % � l r>u�� : l�� u���h

�DS/} ¥GXZ¥G~�b<~hK¦¤N~�OaWXZY�[GIHKM+[]l�Z\cWv� �2� e ��� � . � VXd�Zb�._«f�v�Mp� ��� � �|����� � �m¤�M�^a`bU*dxZ\Yi��M

� ��� � lk� f � e r � �H��( � f � l r � � .$� � f e �$� �$�$� � f � l (+r��$�$� � f V e r�� �$� rj��� f�f

l r'��($�%� � � fUe e . � �$� � � l�� .$( � ��� � e . � �$� � � � l r'��($�%� � � �

e{r�� �$� rj��� � l (+r��$�$� � e �$� �$�$� � � l r � � .$� � V e�r � �H��( � l r��V�`+9

�� �sr � � lkr V

�e ( � ��� r � l .������$� �

� V%�srZV � r � � l r VV e � r �$�($�

r � e ��u8. rWV l r � �

� f>�srZf � r V>� l�r Vf e �ze r����� �$� ��� � . r��V l .$�%�`r%r��

� ���$�$($�r VV e r�(�� � ���

�&� � � � r V l r�� � � ��$( � � raf l r V �

� e �sr e � r f � lkr Ve e r f r e e � �$� � .+r�. � �$��r%r��..+r'�$� � . � � � �$� � � � �� r �f l r'� � r � �`r���� .%��� �$� r ��(�$� . � (�� � �drj�����$� � � � r �f

l r��8.$�+r � ( � �����drj�dr'�&�dr�$� . � (�� � �drj�����$� � � � r �f l �$���%���+r'���. � ��rj�����$�+r.���� � ��� � �$�+r������%� � � r f e � � r%r�.+r'�&����� � ..���r�r�(.���� � ��� � �$�+r������%� � � r �f

e � ��r'�$���$�.���($(�� .�� �(..$� �$�$� ��� � (+r%r�� r Vf l ..$�$�$�+r%r���($( �$� �$�

����� � �. � �&��($�$���8. r f l � ( � .��%���$�$(. � � � rr�. � r � r%r � �$� � r �$� h

� � ���Q���������������

¤�M�H�`:��M�wWM:d�^�loVighM:w�`bYi[�Z\loVi_oHWL<dO_�Z¥^:Z\L�vWcW_�M�_oHKM�l�ZDZ\_�dOZb�td�Z\Yi�]`bgWYXM�M:j�c�`b_oVXZ\UKd�g�f±lx`\wBVX^a`bYXda��sm��M�U_oHKM   l�do_v�`blo_a�Kl�M�vWY�`\^�ViUW[º`bU1M:jDc�`b_oVXZ\U*Zb��Y�`blo[�MOwWM�[]l�M:M+g�f¥_oHKM�d�Z\YicW_oVXZ\U­Zb��ViUD_�M�loL<M:wBV�`b_�MOM:jDc�`b_oVXZ\UKdZb�mdoL�`bYiYewWM�[]l�M:M+VXd�`bYil�Ma`\wBf¥cKd�M��®cWY£�

C¹U�s�rtk�k ; 4 ?«�>��M<cKd�M�_oHKM�M���vWYiVX^�Vi_Q^:Z\UKdo_olocK^�_oVXZ\U¡Zb�^�Y�`\d�d   M�YXwWd+_�Z¥gWcWViYXw�M�YiYiVivW_oVX^�^�cWlo��M:d+�Vi_oH^:Z\L�vWYXM��©LOcWYi_oVivWYiVX^a`b_oVXZ\U�gDf _oHKM±loViUW[ Zb��ViU�_�M�[�M�l�d1Zb��d�Z\L<M�ViL�`b[]ViU�`blof¬jDc�`\wBlx`b_oVX^   M�YXw �¡�&¤�M_oHKM�U�H�`a��M<_�Z   UKw�l�Z�Z\_�dOZb�I_oHKM<^:Z\lol�M:dov�Z\UKwBViUW[*v�Z\Yif�UKZ\L�V�`bYXd�ViU¡d�Z\L<M<vhZ]d�d�VigWYif­Y�`blo[�M   UWVi_�M   M�YXw>��KZ\YiYXZî�ViUW[�Z\cWl��Z\lo���B��M�H�`a��M+_�Z�d�Z\Yi��M?ViU�_�M�loL<M:wBV�`b_�MOM:jDc�`b_oVXZ\UKd�Zb��lx`b_oHKM�l�doL�`bYiY>wWM�[]l�M:M+^:Z\L�v�`bl�M:w_�Z�_oHKM�Z\loVi[]ViU�`bY�vWl�Z\gWYXM�L1��GIHWVXd�`\^:^:M�YXM�lx`b_�M:d_oHWVXdIv�`blo_Zb��_oHKM+`bYi[�Z\loVi_oHWL `bUKwºH�`\d�`bU¥ViL�v�`\^�_�Z\U¥_oHKM^�HKZ\VX^:M�Zb�h�HWVX^xH   M�YXwWdm_�Z�g�M�cKdxM:w>��¤�MI�ViYiYK^:Z\L<M�g�`\^���Z\U�_oHWVXdmvhZ\ViUD_�ViU<`(�®Z\lo_oHK^:Z\L�ViUW[�`blo_oVX^�YXM/;ËN]NH?«�C¹U�_oHWVXd�^:Z\U�_�M��B_a�K�tM�wWZ�UKZ\_�cKdxM�lx`\wBVX^a`bYXd�cKdoc�`bYiYif���doViUK^:M��¿Z\l_oHWVXd�_�Z�g�M��¿`\d�_�M�l_oH�`bU*Z\_oHKM�l�L<M�_oHKZ�wWddocK^xH*`\d(rI`bU�_�Z\l�ª���`\d�dxM�UWH�`bcKd �öda�K�tM�L�Vi[]H�_��I`bU�_(l�ZDZ\_�dZb�.cWUWVi_«f¥wWM   UKM:w�ViU1Z\cWl   M�YXw>�W�HWVX^xH*^a`bUWUKZ\_g�M�`\d�docWl�M:w1`b_(`bYiY£�

©Z© Ã�ªd«îú�¬7ù

Page 19: Solvability by Radicals from an Algorithmic Point of View · 2017-01-30 · Solvability by Radicals from an Algorithmic Point of View Guillaume Hanrot, Fran˘cois Morain To cite this

{0M ����� ��#`���%����� � ��������#

� � � o �� �n q k u �r r r e ����� � ��u$��r��

r . e�.���(�� � u8.$�$(r � e{r�������( � u$��r��r � e-�`r�� � u$��r��r � e{r �$� �u8.$�$(r � e{r�.$�$� � u$��r��. r e � r���r�(�u$��r��. . e{r�($��� � u8.$�$(. � e�.%� .$� � �u$��r��. � � ���u8.$�$(. � (��H�u8.$�$(. � e-�`r'���u8.$�$(� r e-��(+r��$(�u$��r��� . e{r � �$� � u8.$�$(� � e�. � �&�$�H�u$��r��� � e � ���u8.$�$(� � e (��H�u8.$�$(� � �`r'���u8.$�$(� r e�.$�����$��u8.$�$(� . e�.$(%� �$� u8.$�$(� � e-�&�$�8.��u8.$�$(� � �`r�� � u$��r��� � r �$� �u8.$�$(� � r�.$�$� � u$��r��

� � � o �� �n q k u �. r r e{r%r'�&�%u$��r��

r . (��%�%�u8.$�$(r � e�.+r%r%r���u$��r��r � e �.�u8.$�$(r � ������u8.$�$(r � e{r �$� u8.$�$(. r e �$������u$��r��. . � .$($��u8.$�$(. � e�.+r�.%� .�u$��r��. � e ��� .�u$��r��. � e �$($(�u8.$�$(. � e �$� � u$��r��� r e{r��. � u8.$�$(� . � � (%��u8.$�$(� � e ���$�$(�u8.$�$(� � ��� .�u$��r��� � �$($(�u8.$�$(� � �$� � u$��r��� r e{r�.%����u$��r��� . (%������u8.$�$(� � e�.+r��$� � u$��r��� � �.�u8.$�$(� � e-������u8.$�$(� � r �$� u8.$�$(

� � � o �� �n q k u �

� r r �$����u8.$�$(r . e �+r � .�u8.$�$(r � e-� .%��u8.$�$(r � e-�&�%u$��r��r � e � (�u8.$�$(r � e �$� u$��r��. r r��$�$��u$��r��. . e�..%� .�u8.$�$(. � e�..�����u$��r��. � e � ��u8.$�$(. � r � .�u8.$�$(. � e-� � u8.$�$(� r r'�&����u$��r��� . e�.������u8.$�$(� � e�.$�$� � u$��r��� � � ��u8.$�$(� � e{r � .�u8.$�$(� � � � u8.$�$(� r r�.$(+r>u$��r��� . e �.���r>u8.$�$(� � e{r�� � �%u$��r��� � �&�%u$��r��� � � (�u8.$�$(� � �$� u$��r��

� � � o �� �n q k u �

� r r �r . �r � e{rr � �r � �r � �. r e-��u��. . r. � e�.�u��. � �. � �. � �� r e-��u��� . r� � e�.�u��� � �� � �� � �� r �� . �� � e{r� � �� � �� � �

G�`bgWYXM�{%9¦rtZ�M�7�^�VXM�U�_�d��®Z\l � l�.$�$(B�

òI� © ò Û

Page 20: Solvability by Radicals from an Algorithmic Point of View · 2017-01-30 · Solvability by Radicals from an Algorithmic Point of View Guillaume Hanrot, Fran˘cois Morain To cite this

����������� ���������������������������� ����!"��#$�%� &��%� ����'!(���*)+����#,�-�.�/�0�21�3 {>=

� � ���+����-¨��,m��!��$,m�( #�

C¹_(VXd�`�vWYXMa`\docWl�M�_�Z'_oH�`bUW� :�`bl�^:M�YD:�`blo_oViU��>�HKZ'�¿Z\l�^:M:w­_oHKM�d�M:^:Z\UKw�`bcW_oHKZ\l�_�Zºl�M:docWL<M�_oHWVXd���Z\lo���cWUKwWM�lo_x`b��M�U*YXZ\UW[º`b[�ZW��GIH�`bUW��d(`bYXd�Z�_�Z�q(YiYXZ\LOg�M�lo_��HKZ���ViUKwBYifºd�M�UD_�cKdHWVXd�`blo_oVX^�YXM ;ËN�?«�

� ,m�:,.�h,m����,m�

;i{�?����Kq^:^�V�`bl�Z¥`bUKw*~K����Y�WUKM�l�da��rtZ\L�vWcW_oViUW[¥`bcW_�Z\L<Z\lovWHWVXd�L<d?Zb��q(ghM�YiV�`bU­U�cWLQghM�l   M�YXwWda�{ �%��' �y��! ) ���dM]�dI¿N]N�=%O�9i{]{>=\}�#{]{a�%MB�.{a}]}]}B�

;ËN�?p?��\q�YiYXZ\LQghM�lo_a�#q UKM��§`bYi[�Z\loVi_oHWL �¿Z\l._oHKM^:Z\L�vWcW_x`b_oVXZ\U�Zb�eR+`bYXZ\VXd�`bcW_�Z\L<Z\lovWHWVXdoL<da��pDcWgWL�Vi_o_�M:w�¿Z\lvWcWgWYiVX^a`b_oVXZ\U��,:�`:f1N]|]|]|B�

; 4 ?Qq��G@���S���qI_o��ViU§`bUKw �I�y:­Z\lx`bViU��¯s�YiYiVivW_oVX^*^�cWlo��M:d'`bUKw vWloViL�`bYiVi_¹f¯vWl�Za��ViUW[K� �%��' � y�%!�) �X�MB{�I¿N]| 4 O�9ËN]}��M]�B�h~]cWYif�{a}]} 4 �

; z�?Q°��\rtZ\HKM�U�� + ��� ��� �j1�� #���� &���������'!(������� &10��.������#���!��1�����'+1��%� � �]��Z\YicWL<M�{ 4 �?Zb� � �������d�%�U1 1 143������# �%��'+1�! �%������� �¦pDvWloViUW[�M�l� ��M�loY�`b[K��{a}]} 4 �

;NF�?Q°��\rtZ\HKM�U�� + ��� ��� �j1�� #���� &���������'!(������� &10��.������#���!��1�����'+1��%� � �]��Z\YicWL<M�{ 4 �?Zb� � �������d�%�U1 1 143������# �%��'+1�! �%������� �¦pDvWloViUW[�M�l� ��M�loY�`b[K��{a}]}%MB��GIHWVil�w�vWloViUD_oViUW[K�

;NM�?Q°���rtZ\HKM�Uº`bUKw�°��\¤ �=S�M�UKdo_olx`B��~�la�#°?M�cWloVXdo_oVX^:d�Z\U�^�Y�`\dxdm[]l�Z\cWvKd¦Zb��U�cWLQghM�l   M�YXwWda�}C¹U<°��]~�`b[�M�la�M:wBVi_�Z\la��� ��!��1�� 1 '+1���� � � � �0������3y� ����1�� '�� ��������� � �>��Z\YicWL<M*{a|%M]�1Zb� � 1��j�s����1 � �%�U1 ��� # �%��' ���v�`b[�M:d 4%4 �M]NB��pDvWloViUW[�M�l�ª���M�loY�`b[K�.{a}]�bzK�tkml�ZD^]�#Zb��_oHKMQ~�Z\cWloUKT:M:d?q�loVi_oHWL<T�_oVXjDcKM:dQ{a}]� 4 �#~]cWYif�{]{�{0FB�

; =>?Q°��(rtZ\HWU�� + �j�8�H� � ����������#`�0���2�%������# �2�£��� &10�������� #���!��1�� ����#������w�H� �2�-1��8��� � � UWVi��M�l�doVi_�M��B_a�pDvWloViUW[�M�l�ª���M�loY�`b[K��{a}�=\�B�

;Ë��?Q°���rtZ\HWU���� #}���.�0� �+�j������# �2�(��'d1/����#d�����:�d�j������# �.�K���w�H� ��� 1��w�H� ��"(cWLOg�M�l-M�ViU�rI`bLQgWloVXwB[�M�do_ocKwBVXM:dViU­`\wB�]`bUK^:M:w�L�`b_oHKM�L�`b_oVX^:da��rI`bLOgWloVXwB[�M � UWVi��M�l�doVi_¹f�kml�M:d�da��{a}]�%FB�

;Ë}�? ���Wq���rtZ:�>� > ��� !�1 �~�.����'d1y�j����! T V l B : V �m~�Z\HWU1¤¬ViYXM�f��&p�Z\UKda�>{a}]�]}B�;i{a|�? ����R?Vil�do_oL�`bVila�"!(g�M�l?wBVXMQvWlx`b�D_oVXdx^�HKM�q(c �$#]docWUW[¥��Z\U�R?YXM�VX^xH�cWUW[�M�U�H%#\HKM�l�M�UAR�lx`\wWM:da�p �%��'+1u�

! �%��� ����'d1/�q1�!�1 ���U1��0�1�������'��U1 �W?`bUKw'&(&)&KC*��+�{a}]��=+I®°(M��®_�N�O�9ËNB{ 4 �NbzFB��{a}]��=��;i{]{�?�R��>R?lx`\da�?s.�B_�M�UKdoVXZ\UKd�`bgKT�YiVXM�UWUKM:d�UKZ\U�lx`bL�V   T:M:d+wWMQwWM�[]l�T�vWl�M�L�VXM�l+w�� cWU�^:Z\lovKd+j�c�`\wBlx`b_oVXjDcKM]�

, ����� � ���0� � �%��' � �i����#}� 1 �e{a|]|+9i{aN�#{a} 4 ��{a}�=\NB�;i{aN�?~:¢� ª ����qQ�°(c�`bUW[K� ��`\^�_�Z\loVw�î`b_oVXZ\U Zb��v�Z\Yif�UKZ\L�V�`bYXd*Za��M�l   UWVi_�M   M�YXwWd*`bUKw©�£`\^�_�Z\loVw�î`b_oVXZ\U)Zb�vWloViL<M:dºViU¬`bYi[�M�gWlx`bVX^­U�cWLQghM�l   M�YXwWda�EC¹U > �.�0� � ��-���' + � 1/. �mv�`b[�M:d±{>=�F�#{a�]NB�tq�r :¢�{a}]�bzK�m¤¡`\d�HWViUW[]_�Z\U��#`bvWla� 4 |�'L�`af¥NB�

;i{ 4 ?~:¢� ª ���#q���°(c�`bUW[K��u�VXM�L�`bUWU­HDfDv�Z\_oHKM:doVXd�`bUKw   UKwBViUW[¥l�Z�Z\_�d(Zî��M�l   UWVi_�M   M�YXwWda��C¹Ug> �.�0� � �100��'+ � 1/. �Bv�`b[�M:d�{aNB{�#{ 4 |B��q�r :¢�>{a}]�%FB��kml�Zî�DVXwWM�UK^:M]�hu�HKZ�wWM/C¹d�Y�`bUKw>�d:±`af�M���B�

;i{�z�?~:¢� ª ���mqQ�m°(c�`bUW[K� ��`\^�_�Z\loVw�î`b_oVXZ\U¬Zb�?vhZ\Yif�UKZ\L�V�`bYXd�Zî��M�l   UWVi_�M   M�YXwWd'`bUKw¯wWM:^:Z\L�v�Z]doVi_oVXZ\U§Zb�vWloViL<M:d�ViU*`bYi[�M�gWlx`bVX^�U�cWLQghM�l�d   M�YXwWda�32U� + � &��� ����'!g� �>{aN+9 z��]N��z��]}B��{a}]}B{]�

©Z© Ã�ªd«îú�¬7ù

Page 21: Solvability by Radicals from an Algorithmic Point of View · 2017-01-30 · Solvability by Radicals from an Algorithmic Point of View Guillaume Hanrot, Fran˘cois Morain To cite this

{a� ����� ��#`���%����� � ��������#

;i{0F�?~:¢� ª ���KqQ��°�c�`bUW[K�IR�M�UKM�lx`bYiVw�aM:w*u�VXM�L�`bUWU*H�f�v�Z\_oHKM:doVXd(`bUKw¥�£`\^�_�Z\loViUW[�v�Z\Yif�UKZ\L�V�`bYXd�Za��M�l   UWVi_�M  M�YXwWda� 2X� + � &���������'!g� �>{aN+9 zMbz �z��B{]�e{a}]}B{]�

;i{0M�?�ph� ª«°��1���tZ\U­`bUKw�~K�`:�`blo_oViUKM�_a�¦pDcWlYXM:d^:Z\lovKdl�T:d�Z\YicWgWYXM:d�wWM+wWM�[]l�T�vWl�M�L�VXM�la�32X��� 1���#�1 + #�&1�3 � ����' �X� 4 =�F�+ 4 =�M+9i{aN��N 4 ��{a}]��=��

;i{>=>?�ph��Se`bUKwK`bc<`bUKw<R���:*ViYiYXM�la�Kp�Z\Yi�]`bgWViYiVi_«f�g�f�lx`\wBVX^a`bYXd.VXd.ViU�v�Z\YifDUKZ\L�V�`bYB_oViL<M]� 2X� y��! )Z�+� � �,�H���U1�!���j� ��� 4 |+9i{>=\}��N]|]�B�e{a}]�%FB�

;i{a��?Q°��m¤ �<S�M�UKdo_olx`B�I~]la�¬q�Yi[�Z\loVi_oHWL<d'ViU `bYi[�M�gWlx`bVX^*U�cWLOg�M�lº_oHKM:Z\lof�� , ����� � + ! 1�� �� ����' � ���0� ���N%M+9ËNB{]{��Nbz]zK��{a}]}]NB�

;i{a}�? ���0:�`blo_oViU�`bVXd�`bUKwpS��Èp�^�HWUKM�vKdî��k�Z\YifDU! \L<M:d &I[]l�Z\cWv�M�wWM�R+`bYXZ\VXd�wBVXT:wBlx`bY£� ����! �z1 '������ � � �%! ���1 �, �����1���� 3 �#z`9i{�zK{�#{0F 4 �e{a}]}]NB�

;ËN]|�?Q�I��:­Z\lx`bViU���rtZ\UKd�_olocK^�_oVXZ\U¥Zb�e°(ViYig�M�lo_t^�Y�`\d�d   M�YXwWdIZb��ViL�`b[]ViU�`blof�jDc�`\wBlx`b_oVX^   M�YXwWd`bUKwºwBViHKM:wBlx`bYM:jDc�`b_oVXZ\UKd�L<Z�wBcWYXZ 0 �Iu(`bvWv�Z\lo_(wWMOu(M:^�HKM�l�^xHKM'{a|]��=���C "?u�CÁq���p�M�vW_�M�LOg�M�l�{a}]�]}B��q��]`bViY�`bgWYXMQ`b_������� � ��������������������������������! "��#�%$'&� )(+*),��� )-'&�*��������./��0���&�*��!�� �

;ËNB{�?Q�I�d:±Z\lx`bViU���p�Z\Yi�DViUW[�[�M�UKM�lx`bYiVw�aM:w*wBViHKM:wBlx`bY�M:jDc�`b_oVXZ\UKda��:�`bU�cKdx^�loVivW_a�Kq�cW[]cKd�_O{a}]}]|B�;ËN]N�?Q�I�d:±Z\lx`bViU���GIHWl�M:M+L<M�_oHKZ�wWd�¿Z\l�^:Z\L�vWcW_oViUW['°(ViYighM�lo_v�Z\YifDUKZ\L�V�`bYXdî� �?lx`È�E_a�K~D`bU�c�`blof1N]|]|B{]�;ËN 4 ?�r?��r?�mpDViL<da� y��! )Z���2��������#A3y����'C��#`���U1���� )���1 �01�#,�U1��J&������>),� �m��Z\YicWL<Mºz��±Zb�21 #��������8��)d1������ �.�

����'+1�! �%�������~��#}�������{� ))}�������%������#d� �¦rI`bLOgWloVXwB[�M � UWVi��M�l�d�Vi_«f�kml�M:d�da�>{a}]}bzK�

òI� © ò Û

Page 22: Solvability by Radicals from an Algorithmic Point of View · 2017-01-30 · Solvability by Radicals from an Algorithmic Point of View Guillaume Hanrot, Fran˘cois Morain To cite this

Unité de recherche INRIA LorraineLORIA, Technopôle de Nancy-Brabois - Campus scientifique

615, rue du Jardin Botanique - BP 101 - 54602 Villers-lès-Nancy Cedex (France)

Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France)Unité de recherche INRIA Rhône-Alpes : 655, avenue de l’Europe - 38330 Montbonnot-St-Martin (France)

Unité de recherche INRIA Rocquencourt : Domaine de Voluceau - Rocquencourt - BP 105 - 78153 Le Chesnay Cedex (France)Unité de recherche INRIA Sophia Antipolis : 2004, route des Lucioles - BP 93 - 06902 Sophia Antipolis Cedex (France)

ÉditeurINRIA - Domaine de Voluceau - Rocquencourt, BP 105 - 78153 Le Chesnay Cedex (France)��������� ���� ���������� ��� ���

ISSN 0249-6399