Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
#1 16-01-2020 18:59:55
- Omhaf
- Membre
- Inscription : 16-01-2020
- Messages : 225
Divisibilité des nombres impairs
Je viens de faire une découverte de nouvelles conjectures sur les critères de divisibilité des nombres impairs
Je cherche un moyen de la publier sans risquer de perdre mes droits d'auteur.
Pouvez-vous me conseiller ou m'aider à publier mon travail ?
Je vous remercie d'avance
Hors ligne
#2 16-01-2020 21:35:19
- Maenwe
- Membre confirmé
- Inscription : 06-09-2019
- Messages : 409
Re : Divisibilité des nombres impairs
Bonsoir,
Je n'ai pas de revues scientifique à te proposer juste des conseils mais avant : (regarde sur wikipedia, il y en a toute une liste !), fait des recherches sur internet ! Je suis sûr qu'en cherchant bien tu trouveras quelques explications de comment fonctionnent plus exactement ce monde.
Et les conseils (si tu ne l'as pas déjà fait) : tes critères de divisibilités je te conseille de les tester sur ordinateur avec de grands nombres...
J'ai lu quelques livres de théorie des nombres, et j'ai pu constater que la plupart des conjectures étaient faites à partir d'un résultat préexistant, rendant cette conjecture plausible, donc avant de penser à publier (si ce n'est déjà fait), rend plausible ces conjectures...
Hors ligne
#3 16-01-2020 21:45:53
- Omahaf
- Invité
Re : Divisibilité des nombres impairs
Bonsoir
Je vous remercie de votre réponse sympathique
En Effet j'ai testé sur des nombres important et ça n'a jamais raté
Concernant Wikipédia je vais consulter comme vous l'avez proposé
Merci encore
#4 16-01-2020 22:13:12
- yoshi
- Modo Ferox
- Inscription : 20-11-2005
- Messages : 16 991
Re : Divisibilité des nombres impairs
Salut,
C'est quoi un nombre important pour toi ? Combien de chiffres ?
Programmes-tu ? Si oui, en Python, Java, C, C++ ? autre ?
Je te conseille Python, tu peux manipuler des nombres entiers de plusieurs milliers de chiffres sans problème...
Une possibilité : mettre ton travail au propre et le déposer chez un notaire, ou dans un coffre à la banque en ayant demandé au préalable à une personne assermentée (par ex un huissier de mettre un coup de tampon daté (ou 2) sur chaque page...
Puis, tu nous soumets tes découvertes pour qu'on les teste avec 10000, 20000 chiffres... si tu es sûr que personne n'y a pensé avant toi !
@+
Arx Tarpeia Capitoli proxima...
Hors ligne
#5 16-01-2020 22:24:40
- Omahaf
- Invité
Re : Divisibilité des nombres impairs
Merci Yoshi,
Je programme en effet sous Windev et je vais mettre un code (procédure) pour tester la véracité des conjectures sur des nombres plus respectables.
#6 16-01-2020 23:08:57
- freddy
- Membre chevronné
- Lieu : Paris
- Inscription : 27-03-2009
- Messages : 7 457
Re : Divisibilité des nombres impairs
Salut,
Tu travailles seul, en amateur, ou dans un laboratoire, comme chercheur ou enseignant-chercheur ?
Faut savoir que si tu veux publier dans une revue scientifique spécialisée, ton article sera passé au crible par deux mathématiciens professionnels. Là, ils s’assureront du sérieux de tes travaux, car la réputation de la revue est engagée. Faut donc que tes travaux soient solides et ta découverte mathématiquement prouvée, et pas seulement par quelques calculs.
Bon courage !
De la considération des obstacles vient l’échec, des moyens, la réussite.
Hors ligne
#7 17-01-2020 15:41:51
- Omahaf
- Invité
Re : Divisibilité des nombres impairs
Bonjour freddy;
Je suis une personne ordinaire et inconnue, (Ecole sup de Commerce) donc j'ai surtout étudié l'aspect analytique des mathématiques.
Mes découvertes sont un fruit du hasard, et je sais qu'une personne comme moi est entre deux handicaps méconnu et craintif de se faire voler un droit moral
Je tiendrai compte de tous vos sympathiques conseils et vous promet l'heure venue de vous faire connaitre ces découvertes .
Merci encore.
#8 17-01-2020 16:39:04
- freddy
- Membre chevronné
- Lieu : Paris
- Inscription : 27-03-2009
- Messages : 7 457
Re : Divisibilité des nombres impairs
Re,
sur la nécessité d'une preuve mathématique formelle et donc incontestable, et pas seulement au moyen de calcul informatique, regarde deux conjectures connues depuis longtemps et toujours indémontrées.
Il y a la conjecture de Syracuse et celle, encore plus simple à formuler, la conjecture de Goldbach.
Cette dernière énonce que tout nombre entier pair supérieur à 3 est la somme de deux nombres premiers (6 = 3+3 ; 8 = 5+3 ; 20 = 13+7 ; …)
Tu peux faire tourner durant un siècle un programme de calculs sur un ordinateur quantique, tant que tu n'auras pas prouvé formellement ce résultat "évident", tu ne pourras pas dire que tu as fait une découverte fondamentale.
Et tu peux imaginer le nombre de très forts en maths qui s'y sont essayé ! Elle résiste depuis 1742, une paille :-)
Bon courage !
De la considération des obstacles vient l’échec, des moyens, la réussite.
Hors ligne
#9 17-01-2020 17:15:25
- yoshi
- Modo Ferox
- Inscription : 20-11-2005
- Messages : 16 991
Re : Divisibilité des nombres impairs
Salut,
D'accord avec freddy.
Comme dirait Zebulor, je vais mettre mon grain de sel.
Je t'ai posé la question simple : qu'appelles-tu "nombres conséquents" ?
Pas de réponse alors j'ai cherché et internet me dit :
un entier sans signe peut être codé sur 8 octets soit valoir entre 0 et $18 \times 10^{18}$
Ce n'est pas si mal.
Mais j'ai écrit en Python une fonction qui calcule la racine carré entière de nombres bien plus grands :
>>>n=236067977499789696409173668731276235440618359611525724270897245410520925637804899414414408378782274969508176150773783504253267724447073863586360121533452708866778173191879165811276645322639856580535761350417533785003423392414064442086432539097252592627228876299517402440681611775908909498492371390729728898482088641542689894099131693577019748678884425089754132956183176921499977424801530434115035957668332512498815178139408000562420855243542235556106306342820234093331982933959746352271201341749614202635904737885504389687061135660045757139956595566956917564578221952500060539231234005009286764875529722056766253666074485853505262330678494633422242317637277026632407680104443315825733505893098136226343198686471946989970180818952426445962034522141192232912598196325811104170495807048120403455994943506855551855572512388641655010262436312571024449618789424682903404474716115455723201737676590460918529575603577984398054155380779064393639723028756062999482213852177348592453515121046345555040707227872421534778752911212121184331789335191038008011118179004590618846249647104244248308880129406811314695953279447898998931691577460792461807500679877124204847380502773608291559913962448914943560683462529064408327944642680888989746046308353537875042061374757606883401879088192559117973574464190248537871146194090191913688035110397638436041281058110378698951852014697045642021763892890884446377826385893792440046028875405398460156061705223615090385775410042193684987254271850375215557693316723004778269866662446210678464272486385274578213410067985645305271124180595972849455195451310172309750871496529436282902540012047780324155464489988706177998190033606562243886409639287753517266295971438227956307956149523015444235016538917278640913041979397111356282139367457681174922067562108887818873671671627622623379877111539509682982890683018259081401003895509723261508452834587893607346396117236678366571982607921440289119008995584241522495712918323216741189975720139403788197728015288723418668345418382867300274315320229607628612524761028642346963020111802691220236015810127628430541861717618575140690101561629091763981267225965596282349067854624161857945584442659612858937564854974803490110813557514166474621951830235525956886569495816353036195574536832235265007722422582873668753404700742232661451739766517420672644476219618024220397983536829835024662680305467687674469001869572099585891983164402516209196461851057442482740872298204109437109922361752853153022121091762951208863569597169079462572603250897522297040434128808223321533901195515665140790221756461654212957878042231382078553676907726666431316593195462068720646450914872744082488128177653475168679073591862464426874641991499778939913129472014591999678257620639485262503594282864024622559103789556345382831782355983912962511600369101312659057197182001817243605955127578519983299892856386044587104693349518653903308428042182726036389445415780244174574723414697299996312510945622746959743313905497801628876810654967562756493383488845926982941631401470509141417954535093868764523909372306624190671584760292185470204202383804367213501946179150579154936284590867887709863106792607614583383516922029219901101296073586082944731440797201471015218046346250032264096871672963540969636219832048850465433443803786691927572175750574034787186060267180224742047834253180940526988056615337534872773026542125606463481386346689646871290637011627062170994667015199335574248981167273508265781724812649127907144250485223405560573120864698856746034511488116745565359920634787280265752554024873596622892873895341062544984820943340027649566257313012986868360780082035610679011754491733115104587831647941683545966745646230513852185991884480001121253357348715847944908169635303946872530537889777105440549557494671967073455522815183424102653868967505983299961872049235688535145553580038383814076104409224649647826522086543833690246120472557870908649235399515073780835273005095702764926293166727667520471557985345977264323716791807279963676916552898249196187408611111922759468652269660989899373621790713926965635625772507292168406789307638883891428533364743678983664741817149700533136079794881324210720612800521634225331990839873746321891445776218415576455440727336896306512345682353819585333310447693766227437059838432638104031372624456414311997529368471041185707435156153121007354626195038244794777444936516114319489148096859756147044319685335325156154124038860801085100316625006035068188234382038597807689450066597604900287359368833895919090609182062762324374091359957327323492119140006891940227050362692013131070406957762348299882549652830427113552788078142077417636467613606700076093600349616441182193688405289280437541068020063605763328830618278789631280638564557096482902100637765037994014972457588431179148564043331412437618115617610064935398259457442077414739481287133491784051731314795712171913306821407199566408926726929709789953277707020910545964845813996977073936560929194915253028687181018766424874866677410333142980118142113404977597160874363025220088076297608145048812328580449564543054482241701315776774249872702136127303334864446555355115947985407524638294094647910241214110079841768852074175816866685236768271941563296591074286439223790075954292600151119507591407104542898638264345112880256618361009001798437410242372138671463077918701580601473454046628330640846803107482885374308110232959222866460497088081881382291227974605207903656336068965050865347715180112086404907454385824972916266688339705987827149573979159728789960460942339343147245678240362546258331799055198384406367447136545587712746625309599718249265500601211851349099588701762385901137098651871063745828360227282437494150525621373966027152104943889118643910719220905660629767823538602393171668628849789797131168501668218859005543951667044885825147298761508342274784875202870136597569865425995024573763920996715503175435608213942639335069543895845273038032679542569478158672222382817996611206722121974343566110870807121790585816369282874278588756271209640778958251490154151150206004841453258003618084586849885181213322826645744539613802919890239909560327983028252250514565613286625233149387763902128843347743600022008436966051618330867674984728236777712937028630012746380859029629388486292179050941440748111338261384419816096389059502213009285621083551051819037426377671829531992082635920418830617171066477545076046545526595474428625593643343246884236640360576282549488633769443691878556287094819999814446640611852595322247665596663397650786252401300740576895657333880894615894209522511731675059724725019996464671943101446767666488163051556386728525260866053179163416009025577462318711754944345129894001032733451543078419681900654902243073746018243992590455318263274187937214542685385246309506608759866331622147392862843439588681127831024216216272525377713949613612023383788350054459748
Il a 6789 chiffres, ça te paraît suffisant pour une démo ?
Je cherche sa racine carrée entière, je vérifie que (r+1)²>n, puis que r²<n:
>>> r=Rac2(n)
>>> r
15364503815606597596910607037611598658188019063570084988704989539284420203633434914655247429013421386763999794834544283720419773819320422899714096884339460781925708938611438119383498201833866334409592936046927960023631057811382300137791389959128156356508786779880771173855722618546496615499855444555320543199929116950938753861382640139380872507588471962197418206132778684774397756940797561915111720243887694899018276390397113593310543631100008596885913200419753468511130745730534730069592186906375687592937553707622681803944439491823000913104841693795574976383596012258349780647213995521353823530034131452145895559454037756213323218516024465047927609382452546338497164232429147089214710422673016925451008024137664792025825472377759978476867673115748560550316040605392471431240115559220234791826542627284533851065000922353796855774269191116283608417829799789495849348439325630071340746158023300130916997509913915569936632169281090667956860984500954597170950778216686709109399329438178679542896511179076040699793246951917550266852470935462507328405089390485154955410978048328829901641940216317771598725899405491019409979244162678862277815686211270345551798182973981091810321515537921179803636635000635664573139951734439568486135413866779114623091252563953798261669560579532037094840027707294763172132824335136785573324907645065126370326051330058753660451339869340946541094894919560199199337089396726527220610086756880477235496978880524216529326540696515403145278636993549393980459476311842009004005762443599358440518869918489221838848292301031469058959145635264652466056800478454716617925911248969091154335018902426038863519867339117727909128640491124437438605075571011672340868295419763953890396851295417705360694718429127836331634748133728851111165134279077187899693200536123815128349623315167202450217800163182171319611251996845066148939968056166751788045323400683138428571789378088966666529203052139727508035125983684809450351990702512051829987238172479543780734110557974252157159310446238211946248441136030807443523526232473423449024060227670691904107796346425114848582222079057976101373463441786534940299467403474816941158397528098277829397846913863242851395154050353455655515966876159035650429320535408495801337892953395760094864907290743000800763726154935343685477236773466019632546201404012596749353418064672315450961637399953431768004387966406814922597606612995293213308618645910741411815836911291969558548265882030176949159825242872910616882427735523510687288784285859649424010439888160244482000854265489452848031124319118628001076496532412235279465309212169505999089785291124326368560701607741698580387354960067715756737051216023463064566238701593055530450104486355791312076889393307866962694021696390898858436790857727804105451135244550296491781015111188575839206792522503832844988610236335544603372942498248947762965598680252906045225585081733557637514857772995516150822560984096568594749733535583270094078030164107306772234586667316126133760873905078643750154633743202604572016961437093028181457057414108910885614832247982065493819963764663666553790049112260594493997765087972434593010165045422126016235082418495770713615001497376854172515633900092249962779353943446290879188271333425349447010573885471484537525200562460599230509305062328109211825785845489983667830272006350519848839789773393034472081942156163740947135216927584567406360827813624531072387288889552276068906777935654
>>> (r+1)**2>n
True
>>> r**2<n
True
>>>
Pas de délai d'attente "visible"...
Peux-tu faire ça avec Windev ?
Arx Tarpeia Capitoli proxima...
Hors ligne
#10 17-01-2020 19:48:15
- Omahaf
- Invité
Re : Divisibilité des nombres impairs
Windev est une interface de gestion de bases de donnée et orientée aux domaines de gestion et donc il est loin de traiter les aspects de recherche mathématiques fondamentale
Sinon avec le peu de moyens qu'offre Windev et comme je l'ai annoncé je suis en train de construire un algorithme vérifiant mes prétentions au moins au sein des capacités modestes de windev.
Le jour quand j'annoncerai mes dites conjectures j'inviterai tout le monde ( informaticiens en l'occurrence) à tenter de prouver leurs inexactitudes avec des nombres plus importants avec des outils plus performants ( C++ Python etc...)
#11 17-01-2020 20:27:27
- yoshi
- Modo Ferox
- Inscription : 20-11-2005
- Messages : 16 991
Re : Divisibilité des nombres impairs
Alors pourquoi ne pas te lancer toi dans Python directement...
Tu perdras du temps au début, que tu rattraperas ensuite !
Quelles sont les opérations mathématiques dont tu as besoin ?
Les 4 primaires, éventuellement la puissance + quotient et reste de la division euclidienne, je pense...
Informatiquement : une boucle pour plusieurs enchâssées. Conversion de string en integer et inversement pour extraire un chiffre ou un groupe de chiffres d'un nombre donné...
Tu peux lire un string par tranches à l'endroit, à l'envers...
Tout ça, c'est l'affaire de 30 min...
Demande et je te donne les noms des mots-clés à utiliser...
Python est gratuit et libre...
Arx Tarpeia Capitoli proxima...
Hors ligne
#12 22-01-2020 22:18:43
- Omahaf
- Invité
Re : Divisibilité des nombres impairs
Merci Yoshi
ne t'en fais pas je maîtrise bien toutes ces syntaxes au sein de Wndev notamment
convertir un numérique en chaîne
extraire n caractères de droite,gauche ou milieu les places ailleurs à volonté
reconversion d'un numérique exprimé en chaîne vers sa valeur numérique
extraire la valeur ASCII d'un caractère
convertir en base binaire octal hexa etc
Pour le moment je suis en train de terminer mon algorithme
et comme promis des que j'aurais enregistré mes droits, je tenterai de publier mon travail ici même
#13 28-01-2020 11:02:04
- Omahaf
- Invité
Re : Divisibilité des nombres impairs
Bonjour mes amis,
Comme promis, j'en reviens à vous pour vous donner le lien youtube de mon étude.
je voue prie de la consulter et de me faire vos appréciations
Merci encore.
#14 28-01-2020 11:03:35
- Omahaf
- Invité
Re : Divisibilité des nombres impairs
Critéres de divisibilité par un nombre impair méthode inédite par l'exemple
#15 28-01-2020 11:14:20
- Omahaf
- Invité
Re : Divisibilité des nombres impairs
Désolé je viens de supprimer la vidéo à cause d'une erreur je voue prie de m'en excuser j'ai honte
je la remettrai dans quelques heures
#16 28-01-2020 19:59:28
- Omahaf
- Invité
Re : Divisibilité des nombres impairs
Voila c'est fait !
à vos remarques
Merci
https://www.youtube.com/watch?v=FtiOmB_nBtA
#17 28-01-2020 21:23:20
- yoshi
- Modo Ferox
- Inscription : 20-11-2005
- Messages : 16 991
Re : Divisibilité des nombres impairs
Bonsoir,
J'ai commencé à visionner. A priori, c'est intéressant mais un peu touffu...
Je vais
1. Traduire ta méthode en Python, pour faire des essais sur des nombres possédant des milliers de chiffres.
2. Si ça fonctionne, je chercherai une justification mathématique...
Pour ta culture personnelle :
https://fr.wikipedia.org/wiki/Liste_de_ … %A9_par_71
@+
Arx Tarpeia Capitoli proxima...
Hors ligne
#18 29-01-2020 00:26:46
- Omahaf
- Invité
Re : Divisibilité des nombres impairs
Merci yoshi
Effectivement on peut traduire tout cela en formules mais si on n' arrive pas à donner de justification mathématique cela s'appellera des conjectures
#19 29-01-2020 09:24:04
- LEG
- Membre
- Inscription : 19-09-2012
- Messages : 694
Re : Divisibilité des nombres impairs
Bonjour
quel est tout au plus, le nombre de soustractions pour un nombre N de 100 chiffres ?afin de connaître sa divisibilité ? Et dans le cas contraire c'est un nombre premier sûr à 100% ?
ex : avec N ayant 81 chiffres
1_) : N = 7539924640294012834807559136118820080798396896906765913589931392372894484959210783
2_) : N = 7539924640294012834807559136118820080798396896906765913589931392372894484959210777
3_) : N = 259997401389448718441639970210993795889599892996785031503101082495617 051205490021
4_) : N avec 172 chiffres
1667488557061413209054394573972024105616733164965864626256603706268098180246561617212759870289981436810020072001478859690358093048731490464920972462087040456385051225337327
et en dernier celui ci qui est le même mais majoré de 30:
1667488557061413209054394573972024105616733164965864626256603706268098180246561617212759870289981436810020072001478859690358093048731490464920972462087040456385051225337357
je suppose que ton programme doit donner le résultat de critère de divisibilité assez rapidement , pour ce nombre ci-dessus se terminant par 57 qui devrait se calculer avec 170 opérations en gros...si j'ai bien suivi ta vidéo...
Mais il y a un hic : ne sachant pas par quel nombre il peut se diviser , comment calculer M dans ces 5 cas ci-dessus. On ne pourrait donc que faire des essais avec P un nombre premier de 7 à racine carrée de N, avec des M ayant un nombre de chiffre = à la racine carrée de N , en moyenne....
Donc qu'elle serait l'utilité de cette conjecture dans les critères de factorisation d'un entier impair > 200 chiffres....
Dernière modification par LEG (29-01-2020 09:32:38)
Hors ligne
#20 29-01-2020 22:42:36
- Omahaf
- Invité
Re : Divisibilité des nombres impairs
Finalement je suis arrivé à formuler le résultat de ma découverte en théorèmes
un théorème pour chaque cas selon que le diviseur soit impair par 1 , 3 , 7 ou 9
4 Nouveaux théorèmes sur la divisibilité par des nombres impairs
Critères de divisibilité par des nombres impairs
A ) Nombres impairs avec 1
Exemple: P x M=R soit 21 x 14 = 294
P=10U+1 // U=2
R= 10b +a // b = 29 ; a = 4
Théorème :
∀ P (nombre impair se terminant par 1),R,M,U,a,b ∈ Z
SI R= 10b+a ≡ 0 [P] <====> b - (U x a) ≡ 0 [P]
B ) Nombres impairs avec 3
Exemple: P x M=R soit 43 x 22 = 946
P=10U+1 // U=4
R= 10b +a // b = 94 ; a = 6
Théorème 2
∀ P (nombre impair se terminant par 3),R,M,U,a,b ∈ Z
SI R= 10b+a ≡ 0 [P] <====>b +(Ux3+1) x a) ≡ 0 [P]
C) Nombres impairs avec 7
Exemple: P x M=R soit 17 x 56 = 952
P=10U+1 // U=1
R= 10b +a // b = 95 ; a = 2
Théorème 3
∀ P (nombre impair se terminant par 7),R,M,U,a,b ∈ Z
SI R= 10b+a ≡ 0 [P] <====> b - (Ux3+2) x a) ≡ 0 [P]
D) Nombres impairs avec 9
Exemple: P x M=R soit 39 x 18 = 1131
P=10U+1 // U=3
R= 10b +a // b = 113 ; a = 1
Théorème 4
∀ P (nombre impair se terminant par 9),R,M,U,a,b ∈ Z
SI R= 10b+a ≡ 0 [P] <====> b + (U x a+1) ≡ 0 [P]
Vidéo sur youtube : https://www.youtube.com/watch?v=1aBseCfIQ14
#21 29-01-2020 22:49:48
- Omahaf
- Invité
Re : Divisibilité des nombres impairs
Correction erreur involontaire
Théorème 4
∀ P (nombre impair se terminant par 9),R,M,U,a,b ∈ Z
SI R= 10b+a ≡ 0 [P] <====> b + (U +1 ) a ≡ 0 [P]
désolé
#22 29-01-2020 22:50:53
- freddy
- Membre chevronné
- Lieu : Paris
- Inscription : 27-03-2009
- Messages : 7 457
Re : Divisibilité des nombres impairs
Salut,
attention : un théorème, ça se démontre, et là, tu n'as pas ébauché le début d'une preuve, mais présenté un début d'intuition. Donc, faut encore travailler.
Bon, perso, je m'attendais à un truc ébouriffant, je suis un peu déçu. Pas grave ...
De la considération des obstacles vient l’échec, des moyens, la réussite.
Hors ligne
#23 29-01-2020 23:05:42
- Omahaf
- Invité
Re : Divisibilité des nombres impairs
Salut,
désolé de décevoir, mais je n'ai jamais prétendu de truc ébouriffant, ceci dit j'aurai aimé lire une preuve prouvant l' erreur de ma démarche
et de mes calculs
#24 29-01-2020 23:20:11
- freddy
- Membre chevronné
- Lieu : Paris
- Inscription : 27-03-2009
- Messages : 7 457
Re : Divisibilité des nombres impairs
Salut,
désolé de décevoir, mais je n'ai jamais prétendu de truc ébouriffant, ceci dit j'aurai aimé lire une preuve prouvant l' erreur de ma démarche
et de mes calculs
Oula, tu inverses la charge de la preuve ??? T'es mignon, toi, commence par élaborer une théorie solide, essaie de prouver ton théorème, on regardera ensuite. Là, moi, je n'ai rien à prouver du tout, contrairement à toi, puisque je n'affirme rien, hormis mon total manque d'intérêt pour ton truc.
Bon courage !
Dernière modification par freddy (29-01-2020 23:23:07)
De la considération des obstacles vient l’échec, des moyens, la réussite.
Hors ligne
#25 29-01-2020 23:27:06
- Roro
- Membre expert
- Inscription : 07-10-2007
- Messages : 1 565
Re : Divisibilité des nombres impairs
Bonsoir,
J'attendais de voir un énoncé correct avant d'en lire plus car la vidéo est assez "incompréhensible" de mon point de vue, mais je n'ai peut être pas le bon point de vue.
Donc maintenant qu'il y a un théorème, j'essaie de le comprendre :
Théorème :
∀ P (nombre impair se terminant par 1),R,M,U,a,b ∈ Z
SI R= 10b+a ≡ 0 [P] <====> b - (U x a) ≡ 0 [P]
Et là, je ne comprend toujours pas !
Remarque 1 : pourquoi écris-tu "SI ... <====> ..." ?
D'un point de vue logique, ce n'est pas très clair (même pas clair du tout).
Remarque 2 : Le début de l'énoncé introduit un entier M mais il n'est pas présent dans le reste de l'énoncé !
Remarque 3 : Le résultat tel qu'il est écrit est clairement faux par exemple en prenant P=11, R=11, M=? (ce qu'on veut), U=2, a=1, b=1 puisque dans ce cas on a R=10b+a≡ 0 [P] mais on n'a pas b - (U x a) ≡ 0 [P].
A mon avis, il faut reformuler le théorème... avant qu'on puisse en dire plus.
Bon courage,
Roro.
Dernière modification par Roro (29-01-2020 23:28:02)
Hors ligne