**Բոլոր ձիերը նույն գույնի են,** կեղծ պարադոքս, որն առաջանում է մաթեմատիկական ինդուկցիայի թերի օգտագործումից։ Իրականում հակասություն չկա, քանի որ այս փաստարկներն ունեն էական թերություն, որը նրանց սխալ է դարձնում։ Այս օրինակն ի սկզբանե առաջարկվել է 1954 թվականին Ջորջ Պոլիայի գրքում տարբեր տերմիններով, ինչպիսիք են օրինակ՝ «Ցանկացած n թվեր հավասար են» կամ «Ցանկացած n աղջիկներ ունեն նույն գույնի աչքեր»՝ որպես մաթեմատիկական ինդուկցիայի վարժություն։

Պարադոքսի «ձիեր» տարբերակը ներկայացվել է 1961 թվականին Ջոել Է. Կոհենի երգիծական հոդվածում։ Այն նշվել է որպես լեմմա, որը մասնավորապես թույլ է տվել հեղինակին «ապացուցել», որ Ալեքսանդր Մակեդոնացին գոյություն չունի, և նա ուներ անսահման թվով վերջույթներ։

Փաստարկ
-------

ինդուկցիոն քայլը ձախողվում է n = 1-ի համար
Փաստարկն ապացուցվում է ինդուկցիայի միջոցով։ Նախ, մենք որպես հիմք ընդունում ենք մեկ ձի ({\displaystyle n=1}), այնուհետև ապացուցում ենք, որ եթե 𝑛 ձիերն ունեն միևնույն գույնը, ապա {\displaystyle n+1} ձիերը նույնպես պետք է ունենան նույն գույնը։

### Հիմնական դեպք՝ մեկ ձի

Միայն մեկ ձիու դեպքը չնչին է։ Եթե «խմբում» կա միայն մեկ ձի, ապա ակնհայտորեն այդ խմբի բոլոր ձիերն ունեն նույն գույնը։

### Ինդուկտիվ քայլ

Ենթադրենք, որ 𝑛 ձիերը միշտ նույն գույնի են։ Դիտարկենք մի խումբ, որը բաղկացած է {\displaystyle n+1} ձիերից։

Նախ, բացառեք մեկ ձիուն և նայեք միայն մյուս 𝑛 ձիուն, սրանք բոլորը նույն գույնի են, քանի որ 𝑛 ձիերը միշտ նույն գույնի են։ Նմանապես, բացառեք որևէ այլ ձիու (որը նույնական չէ առաջին հեռացվածին) և նայեք միայն մյուս 𝑛-ին։ Նույն պարզաբանմամբ սրանք նույնպես պետք է լինեն նույն գույնի։ Հետևաբար, առաջին ձին, որը բացառվել էր, ունի նույն գույնը, ինչ որ չբացառված ձիերը։ Հետևաբար, բացառված առաջին ձիերը, չբացառված ձիերը և բացառված վերջին ձիերը նույն գույնի են, և մենք ապացուցել ենք, որ

* Եթե 𝑛 ձիերը նույն գույնն ունեն, ուրեմն 𝑛 +1 ձիերը նույնպես կունենան նույն գույնը։

Մենք արդեն տեսանք հիմնական դեպքում, որ կանոնը («բոլոր ձիերն ունեն նույն գույնը») գործում էր և 𝑛=1։ Այստեղ ապացուցված ինդուկտիվ քայլը ենթադրում է, որ կանոնը գործում է և, եթե 𝑛=1-ի, ապա այն նաև պետք է վավեր լինի 𝑛=2-ի դեպքում, որն իր հերթին ենթադրում է, որ 𝑛=3 և այլն։

Այսպիսով, ձիերի ցանկացած խմբում բոլոր ձիերը պետք է լինեն նույն գույնի։

Բացատրություն
-------------

Վերոնշյալ փաստարկը թույլ է տալիս անուղղակի ենթադրություն անել այն մասին, որ 𝑛+1 ձիերի բազմությունն ունի առնվազն 3 չափ, հետևաբար ձիերի երկու համապատասխան ենթաբազմությունները, որոնց նկատմամբ կիրառվում է ինդուկցիան, անպայման ունեն ընդհանուր տարր։ Սա ճիշտ չէ ինդուկցիայի առաջին քայլում, այսինքն երբ 𝑛+1=2։

Եթե երկու A և B ձիերից A ձին հեռացվի, ճիշտ է, որ խմբի մնացած ձիերը կունենան միևնույն գույնը (մնում է միայն B ձին)։ Նույնը ճիշտ է, երբ B ձին հեռացվում է։ Այնուամենայնիվ, «խմբում առաջին ձին նույն գույնի է, ինչ մեջտեղի ձիերը» արտահայտությունն անիմաստ է, քանի որ «մեջտեղում ձիեր» չկան։ Հետևաբար, վերը նշված ապացույցի տրամաբանական կապը կտրված է։ Թվում է, թե այն հիմնավոր պատճառաբանությամբ ցույց է տալիս մի բան, որն ակնհայտորեն կեղծ է։

Ծանոթագրություններ
------------------

1. ↑  Łukowski Piotr (2011)։ *Paradoxes*։ Springer։ էջեր 15
2. 1 2  Thomas VanDrunen, *Discrete Mathematics and Functional Programming*, Franklin, Beedle and Associates, 2012, Section "Induction Gone Awry"
3. ↑  Cohen, Joel E. (1961), «On the nature of mathematical proofs», *Worm Runner's Digest* **III** (3) . Reprinted in *A Random Walk in Science* (R. L. Weber, ed.), Crane, Russak & Co. 1973, pp. 34-36
4. ↑  Pólya George (1954)։ *Induction and Analogy in Mathematics*։ Princeton University Press։ էջ 120
5. ↑  «All Horses are the Same Color»։ Harvey Mudd College Department of Mathematics։ Արխիվացված է օրիգինալից 2019 թ․ ապրիլի 12-ին։ Վերցված է 2013 թ․ հունվարի 6  `|url-status=` պարամետրը գոյություն չունի (օգնություն)

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * դ
* ք
* խ
Հայտնի պարադոքսներ |
| --- |
|  |
| Փիլիսոփայական | 
* Ազատական
* Ամենազորության
* Բուրիդանի կամուրջ
* Գեղարվեստական
* Երազանքի վեճ
* Երբ սպիտակ ձին ձի չէ
* Զենոնի
* Էպիկուրյան
* Ընկերության
* Թեսևսի նավ
* Ինդուկցիայի նոր հանելուկ
* Կույտի
* Հյումի սկզբունք
* Հեդոնիզմի
* Միայն ավելացման
* Մուրի
* Նյուքոմի
* Նիհիլիզմի
* Նախաբանի
* Վերլուծության
* Փաստարկ ազատ կամքից
* Ֆիթչի իմացելիության

 |
|  |
| Տրամաբանական | 
* Ագռավի
* Ազատ ընտրության պարադոքս
* Անսպասելի մահապատժի
* Բազմությունների տեսության պարադոքսներ
* Բերրիի
* Բհարտրիհարիի
* Բուրալի Ֆորտիի
* Գալիլեյի
* Գրանտ հոթելիի Հիլբերտի
* Գրելինգ–Նելսոնի
* Էպիմենիդեսի
* Էվատլոսի սոֆիզմ
* Խմիչքի
* Խաղամոլի
* Կարագով կատվի
* Կարտոֆիլի
* Կարիի
* Կլինի Ռոզերի
* Կոկորդիլոսի երկընտրանք
* Կորած քառակուսու
* Հակառակ օր
* Հավ կամ ձու
* Նյութական ենթատեքստի պարադոքսներ
* Պլատոնի մորուք
* Ջերմային մահվան
* Ջերմաստիճանի
* Ջրափնյա գծի
* Ռասելի
* Ռիշարի
* Ռոսի
* Ստախոսի 
	+ Քարտի
	+ Ոչ–ոչի
	+ Պինոքիոյի
	+ Քուայնի
	+ Յաբլոյի
* Սոկրատյան
* Վարսավիրի պարադոքս
* Վիճակախաղի
* Քերոլի
* Օլբերսի պարադոքս

 |
|  |
| Տնտեսական | 
* Ալլեի
* Աշխատանքի
* Արտադրողականության
* Բարգավաճման
* Բերտրանի
* Բրեսսի
* Գիբսոնի
* Գիֆենյան ապրանք
* Դաունս–Թոմսոնի
* Եկամուտ և բերրիություն
* Եվրոպական
* Էջևորթի
* Էլսբերգի
* Էրրոուի տեղեկատվական
* Թալոքի
* Իկարոսի
* Իսթերլինի
* Լապյերի
* Լեոնտյևի
* Լերների
* Լուկասի
* Խնայողության
* Ծառայության վերականգնման
* Հակամենաշնորհային
* Մանդևիլի
* Մեյֆիլդի
* Մեցլերի
* Մորավեկի
* Մրցակցության
* Պաշարների
* Ջևոնսի
* Սանկտ Պետերբուրգի
* Սմիթի
* Սցիտովսկու

 |
|  |
| Որոշումների տեսություն | 
* Աբիլինի
* Բաժանեմասի
* Բանտարկյալի երկընտրանք
* Բնակչության
* Բուրիդանի ավանակ
* Գյուտարարի
* Ծննդյան օրերի
* Կամքի ուժի
* Կանխարգելման
* Կանաչի
* Կավկայի տոքսինների գլուխկոտրուկ
* Կոնդորսեի
* Հանդուրժողականության
* Մոնտի Հոլի
* Մորտոնի պատառաքաղ
* Նավարկության
* Նետի
* Նյուքոմբի
* Ոզնու
* Որոշումների կայացման
* Պարոնդոյի
* Պատրաստվածության
* Պլանկտոնի պարադոքս
* Տան միապաղաղություն
* Քվեարկության
* Ֆեննոյի
* Ֆրեդկինի
* Ֆրանսիական

 |
|  |
| Ֆիզիկական | 
* Արիստոտելի
* Բելլի
* Երկվորյակների
* Էյնշտեյն-Պոդոլսկի-Ռոզենի
* Էրենֆեստի
* Լապլասի
* Հիդրոստատիկական
* Մաքսվելի
* Միրիմանովի
* Շրյոդինգերի
* Քվանտային

 |

 |