This paper gives a rational to the land reform processes that many latin. American countries have experienced during this century. The reform usually consisted ...
ODQG UHIRUP DQG LQGLYLGXDO SURSHUW\ ULJKWVDqwrqld Gðd}-ZS0DG wkxv/ lw vroyhv
4@ ,
r|
4 4 ,4 n E 3 k l u7 , 5 fc
,c 3
3
+516,
Wkh djjuhjdwh dprxqw ri irupdo odqg lv
; # < $ 34 ? @ u ' 4? =u7 c E >
+517, Wkh suhylrxv h{suhvvlrq vkrzv wkdw wkh dprxqw ri fxowlydwhg odqg lv ohvv wkdq wkh wrwdo dprxqw zkhq wkh srsxodwlrq vl}h lv vx!flhqwo| vpdoo zkhq odqg lv vx!flhqwo| dexqgdqw1 Jlyhq wkh frpsohphqwdulw| ehwzhhq odqg dqg oderu/ li odqg lv wrr dexqgdqw qrw rqo| wkh pdujlqdo surgxfwlylw| ri odqg lv orz/ exw dovr wkh devroxwh uhqwv ri odqg1 Wkhuhiruh/ wkh dulvwrfudwv duh ehwwhu r zkhq qrw doo wkh odqg lv fxowlydwhg1 Dfwxdoo|/ wkh dulvwrfudw pd{lpl}hv klv uhqwv zkhq wkh irupdo 3 odqg0oderu udwlr lv 33 4E
4E
4
/ iru dq| jlyhq qxpehu ri shdvdqwv1 Wklv prgho jlyhv
d udwlrqdoh wr d frpprq ehkdylru ri wkh odqghg holwh= wkh| glg qrw fxowlydwh doo wkhlu idupodqg1
Wkh uhdvrq pljkw uhvw rq d frpsohphqwdulw| ehwzhhq odqg dqg
oderu/ wkh odwwhu ehlqj wkh uhodwlyho| vfdufh idfwru1 Wklv uhvxow ghshqgv fuxfldoo| rq dvvxplqj wkdw shdvdqwv duh suhfoxghg iurp lqydglqj wkh lqirupdo odqg1 Wklv vlpsoh prgho dovr jlyhv d udwlrqdo wr wkh
:
frorqdwr
uhjlph= lq wkh devhqfh ri wklv
uhjlph/ wkh shdvdqwv zrxog eh iuhh wr vhoo wkhlu oderu vhuylfhv wr dq| dulvwrfudw> wkxv/ wkhlu pdujlqdo surgxfwlylw| zrxog eh ghwhuplqhg e| wkh hfrqrp|0zlgh odqg0 oderu udwlr1 Lq vxfk d fdvh/ wkh zdjh dqg/ khqfh/ wkh oderu uhqwv zrxog qrw ghshqg rq wkh odqg d vlqjoh dulvwrfudw fxowlydwhv/ frqvhtxhqwo|/ kh zrxog qrw nhhs dq| odqg
8
xqfxowlydwhg dqg klv wrwdo uhqwv zrxog eh orzhu1
5161 Wkh Zhdnhqlqj ri wkh
Frorqdwr
Uhjlph= Odqg Lqydvlrqv dqg wkh
Dprxqw ri Irupdo Odqg
Wkh vrfldo whqvlrqv wkdw ohg wr d odqg uhirup zhuh xvxdoo| h{suhvvhg dv odqg lqyd0
vlrqv1 Wkh shdvdqwv lq wkh uhjlrq lqydghg wkh dulvwrfudw*v xqfxowlydwhg odqg/ wkh lqirupdo odqg/ dqg iduphg lw19 Wkh srzhu ri wkh dulvwrfudwv hurghg/ vr wkh vrflhw| hyroyhg wr d gh idfwr vlwxdwlrq= odqg frxog qrw eh ohiw xqxvhg1 Li wkh dulvwrfudwv glg qrw fxowlydwh wkh odqg/ vrph shdvdqwv zrxog lqydgh lw1 Wklv vlwxdwlrq zdv lqvwlwxwlrqdol}hg lq wkh odqg uhirup odzv= iru wkh dulvwrfudwv wr nhhs wkhlu odqg wkh| kdg wr fxowlydwh lw> rwkhuzlvh/ lw zdv h{sursuldwhg1: Wr xqghuvwdqg wkh hhfw ri wklv odz rq wkh ehkdylru ri wkh dulvwrfudwv/ ohw xv wklqn ri dq roljdufklf vrfl0 hw| zkhuh wkh v|vwhp ri frorqdwr lv zhdno| hqirufhg= wkh dulvwrfudwv gr qrw kdyh wkh srzhu wr surklelw odqg lqydvlrqv/ exw shdvdqwv fdqqrw pryh dfurvv uhjlrqv1; Ixuwkhupruh/ vlqfh zh duh dqdo|}lqj hfrqrplhv lq zklfk odqg lv wkh uhodwlyho| dexqgdqw idfwru/ ohw xv dvvxph wkdw wkh vl}h ri wkh srsxodwlrq lv vx!flhqwo| vpdoo/
zkhuh
7 uK n c
#
K ' 4E
+518,
$ 34
+519,
8 Wklv lv wkh udwlrqdoh jlyhq lq wkh ghyhorsphqw wkhru| olwhudwxuh wr wkh vhuigrp v|vwhpv suhydlolqj lq wkh ihxgdo odqg0dexqgdqw shulrgv lq Zhvwhuq Hxursh/ wkh v|vwhpv ri vhpl0vhuigrp lq Odwlq Dphulfdq frxqwulhv dqg wr wkh vodyhu| v|vwhp hvwdeolvkhg lq sodfhv olnh wkh XV
Vrxwkhdvw1
Vhh Elvqzdqjhu hw do1 +4 rwkhuzlvh/ doo shdvdqwv zrxog hlwkhu zrun iru wkh dulvwrfudw ru lqydgh wkh lqirupdo odqg1 Wkxv/ wkh qxpehu ri irupdo zrunhuv lv d ixqfwlrq ri wkh dprxqw ri irupdo odqg/
I ,1
K8
/ iru dq| jlyhq
1 Vlqfh
K8
7 wr u/
wr bE8 Li lqirupdo zrunhuv duh wkh pdmrulw| ri
I wkdw vdwlvhv 3 ? I ? Q D lw iroorzv wkdw z+
A FL I>
48
I>
I> I ,
wkh srsxodwlrq 8 * b 8 xqlwv ri odqg duh irupdo1 Wkh uhvw lv h{sursuldwhg1 Li irupdo zrunhuv duh wkh pdmrulw| ri wkh srsxodwlrq/ wkh dulvwrfudwv nhhs doo wkh odqg/ exw wkh| kdyh wr fxowlydwh lw/ dv lw zdv lpsrvhg lq wkh odqg uhirup odzv lq Erolyld/ Pì{lfr/ dqg Shuý1 Li qhlwkhu jurxs lv wkh pdmrulw|/ wkh dulvwrfudwv nhhs 8 xqlwv ri odqg/ dqg wkh uhvw lv h{sursuldwhg dqg jlyhq dv lqirupdo odqg wr wkrvh shdvdqwv zkr zdqw wr idup lw1 Qrwlfh wkdw 8 fdq eh wkh yrwlqj rxwfrph rqo| li b 8 K8 n
2
E
K
K
E
/ zklfk lv wkh fdvh khuh/ exw zh zloo vhh rwkhu vfhqdulrv zkhuh
wkh uhyhuvh lv wuxh dqg/ khqfh/ wkh dulvwrfudwv fdqqrw eh wkh phgldq yrwhu1
7151 Wkh Qxpehu ri Irupdo Zrunhuv
Wr ghwhuplqh wkh qxpehu ri irupdo zrunhuv/ wkh dulvwrfudwv vroyh wkh sureohp vkrzq lq wkh h{suhvvlrq +61;, dw wkh glhuhqwldwlrq vwdjh1 Iru dq| qxpehu ri irupdo zrunhuv wkdw vdwlvhv 8 *2 / wkh dprxqw ri irupdo odqg lv bE8 / iru zklfk wkh zdjh lv htxdo wr wkh lqirupdo lqfrph dqg qr irupdo zrunhu mrlqv wkh lqirupdo vhfwru1 Wkh dvvxpswlrq rq wkh sdudphwhu w lpsolhv wkdw bE8 K8 / iru dq| 8 wkdw vdwlvhv f 8 1 Wklv lpsolhv wkdw wkh dulvwrfudwv* frqvxpswlrq lv dq lqfuhdvlqj ixqfwlrq ri wkh qxpehu ri irupdo zrunhuv iru dq|
f
8 *2 Wkxv/ wkh qxpehu ri irupdo zrunhuv dozd|v vdwlvhv *2 8 Iru dq| qxpehu ri irupdo zrunhuv wkdw vdwlvhv *2 8 *2/ dulvwrfudwv duh wkh phgldq yrwhu dqg wkhlu htxloleulxp frqvxpswlrq lv 1
56
E8c K8c )E8c K8 ' 4 8 E 4 E 4
3
4
4
+715,
c
zklfk lv d vwulfwo| lqfuhdvlqj ixqfwlrq ri wkh qxpehu ri irupdo zrunhuv1 Li wkh| fkrrvh d qxpehu ri zrunhuv juhdwhu wkdq kdoi ri wkh srsxodwlrq/ doo odqg ehfrphv irupdo dqg wkhlu frqvxpswlrq lv
7 E8c u 7 8c uc)
'
74 u
7 4 n E 8 4 4 3 c u
+716,
zklfk lv dovr vwulfwo| lqfuhdvlqj lq wkh qxpehu ri irupdo zrunhuv1 Lw iroorzv wkdw wkh fkrlfh lv lq wkh vhw
8 '
i*2c j
1
Wkxv/ wkh dulvwrfudwv fkrrvh
8 ' *2
yho ri frqvxpswlrq lv kljkhvw/ zklfk lq lwv wxuq ghshqgv rq wkh vl}h ri wkh srsxodwlrq dqg wkh uhodwlyh vl}h ri wkh dulvwrfudf|1 Frpsdulqj wkh h{suhvvlrqv +715, dqg +716, lw lv hdv| wr vkrz wkdw wkhuh h{lvwv : c vxfk wkdw iru dq| srsxodwlrq vl}h wkdw vdwlvhv u7 *EK/ uhjdugohvv ru
/ ghshqglqj rq zklfk dvvrfldwhg oh
ri wkhlu jurxs vl}h/
/ wkh dulvwrfudwv fkrrvh
56 Uhfdoo wkdw/ iru dq| jlyhq qxpehu ri zrunhuv pd{lpl}hv wkh odqg uhqwv/ l1h1
CF
D+I>I>I , @ 31 Co
8 ' *2
I / I
lv wkh dprxqw ri irupdo odqg wkdw
Wkxv/ iru dq|
49
Lq wkdw fdvh wkh dprxqw
o ? I
/
D +I>o>I ,
CF
Co
A3
1
ri irupdo odqg lv dulvwrfudf|1
K*2
Li
7 EK/ wkh fkrlfh ghshqgv rq wkh vl}h ri wkh : u*
Djdlq/ iurp gluhfw frpsdulvrq ri wkh h{suhvvlrqv +715, dqg +716,/
zh rewdlq d fulwlfdo ohyho iru wkh qxpehu ri dulvwrfudwv/ odujhu lv
8 ' *21
k
c
,E
zklfk lv odujhu wkh
pehu ri dulvwrfudwv vdwlvhv k E / wkh dulvwrfudwv fkrrvh
1 Li wkh qx
8 ' fdvh lq zklfk wkh| nhhs doo wkh ,
Rwkhuzlvh/ wkh| fkrrvh
/
odqg dqg fxowlydwh lw1 Wkh surri ri wklv uhvxow lv irxqg lq Sursrvlwlrq 517 lq wkh Dsshqgl{1 Wkxv/ wkh h{sursuldwlrq ri odqgv wdnhv sodfh li wkh srsxodwlrq vl}h lv vx!flhqwo| vpdoo/ u7 *EK
Lq wkrvh fdvhv wkh dulvwrfudwv duh ehwwhu r klulqj 8 * zklfk lpsolhv dq dprxqw ri irupdo odqg htxdo wr * 1 Wkh frq lfw lq wkh vrflhw| lv wkh iroorzlqj= odqg fdqqrw eh ohiw lgoh> xqxvhg odqg lv wdnhq dzd| iurp wkh rzqhu dqg jlyhq wr vrphrqh hovh1 Wkdw lv/ dulvwrfudwv fdq rqo| nhhs wkh odqg li wkh| fxowlydwh lw1 Li doo shdvdqwv zhuh iuhh wr vhoo wkhlu oderu vhuylfhv dq|zkhuh 8 zhuh htxdo wr shdvdqwv zrxog qrw zdqw wr h{sursuldwh wkh dulvwrfudwv* odqgv> wkh| zrxog irufh wkh dulvwrfudwv wr fxowlydwh wkh odqg1 Wklv zrxog lpso| d odqg0oderu udwlr lq wkh irupdo vhfwru odujhu wkdq K wkh udwlr iru zklfk wkh dulvwrfudwv* uhqwv duh pd{lpl}hg1 Wkxv/ dulvwrfudwv suhihu vrph ri wkh odqg wr eh h{sursuldwhg> vshflfdoo|/ wkh| zdqw wr nhhs K8 xqlwv ri odqg1 Wkh dprxqw K8 lv d yrwlqj rxwfrph rqo| li qhlwkhu irupdo zrunhuv ru lqirupdo zrunhuv duh wkh pdmrulw| ri wkh srsxodwlrq dqg irupdo zrunhuv suhihu wklv rxwfrph wr b 8 c wkh rxwfrph prvw suhihuuhg e| lqirupdo zrunhuv1 Wklv lv wkh fdvh rqo| li irupdo zrunhuv duh hqvxuhg d kljkhu zdjh zkhq wkh dprxqw ri irupdo odqg lv 8 / zklfk lv lpsolhg e| Dvvxpswlrq 61 Khqfh/ wkh fkrlfh dulvwrfudwv idfh lv wr doorz doo shdvdqwv wr vhoo wkhlu oderu vhuylfhv lq wkh irupdo vhfwru dqg fxowlydwh doo wkh odqg pruh wkdq xqlwv shu zrunhu ru wr kdyh d odqg0oderu udwlr htxdo wr dw wkh sulfh ri surklelwlqj vrph shdvdqwv wr zrun lq wkh irupdo vhfwru1 Wkh fkrlfh ghshqgv rq wkh srsxodwlrq vl}h dqg wkh uhodwlyh vl}h ri wkh shdvdqwu|1 wkh dprxqw ri odqg=
K
k
dqg u7 *
7 K n 1 u*
/ ru li wkh vl}h ri wkh shdvdqwu| lv vpdoo uhodwlyh wr
,E
EK
'
2
2
/
E
K
K
K
7161 Rq wkh Qxpehu ri Odqgrzqhuv Vr idu/ L kdyh dvvxphg wkdw rqo| dulvwrfudwv fdq rzq odqg1 L kdyh prghoohg sulydwh rzqhuvkls dv ehlqj deoh wr kluh zrunhuv1 Ohw xv dvvxph qrz wkdw wkh shdvdqwv fdq ehfrph odqgrzqhuv1 L dp jrlqj wr prgho lw dv li wkh dulvwrfudwv fdq ghflgh/ ehiruh yrwlqj wdnhv sodfh/ wkh qxpehu ri shdvdqwv zkr duh jrlqj wr uhfhlyh odqg zlwk wrwdo uljkwv1 L dp jrlqj wr fdoo wkhp dv
71
vpdoo rzqhuv
dqg wkhlu qxpehu lv ghqrwhg
Doo lqglylgxdov yrwh rq wkh dprxqw ri odqg wr eh sulydwho| rzqhg/
lw kdv ehhq yrwhg/ hdfk dulvwrfudw lv h{sursuldwhg
u1
Rqfh
u7 * u*E n 7 xqlwv ri odqg1
ulvwrfudw nhhsv u*E n 7 xqlwv dqg hdfk vpdoo rzqhu lv jlyhq u*E n 7 xqlwv1 Dv wkh dulvwrfudwv/ wkh jurxs ri vpdoo rzqhuv frpplw/ dw wkh surgxfwlrq
Wkxv/ dq d
4:
vwdjh/ wr kluh rqo| irupdo zrunhuv1 Wkh wlplqj lv dv iroorzv= dw wkh glhuhqwldwlrq vwdjh/ wkh dulvwrfudwv fkrrvh zklfk zrunhuv duh wr eh irupdo dqg zklfk shdvdqwv duh wr eh vpdoo rzqhuv1 Wkh rwkhu wzr vwdjhv duh lghqwlfdo wr wkrvh ri wkh suhylrxv yhuvlrq ri wkh prgho1 Dw wkh yrwlqj vwdjh dqg wkh surgxfwlrq vwdjh/ vpdoo rzqhuv dqg dulvwrfudwv ehkdyh lghqwlfdoo| lq hyhu| uhvshfw1 Dv rssrvhg wr irupdo zrunhuv/ mxvw iru vlpsolflw|/ vpdoo rzqhuv fdqqrw mrlq wkh lqirupdo vhfwru1 Iru dq| jlyhq qxpehu ri vpdoo rzqhuv/ 7 / irupdo zrunhuv/ 8 / dqg irupdo odqg/ u/ wkh frqvxpswlrq ri irupdo zrunhuv/ dulvwrfudwv/ vpdoo rzqhuv dqg lqirupdo zrunhuv lv vkrzq lq wkh h{suhvvlrqv +614,/ +615,/ dqg +616,1 L dp jrlqj wr dqdo|}h krz wkh dulvwrfudwv* frqvxpswlrq fkdqjhv dv d ixqfwlrq ri 7 1 Vlqfh dulvwrfudwv dqg vpdoo rzqhuv ehkdyh lghqwlfdoo|/ wkh qxpehu ri irupdo zrunhuv dqg dprxqw ri irupdo odqg fkrvhq lq d hfrqrp| lq zklfk wkhuh duh dulvwrfudwv dqg 7 vpdoo rzqhuv duh htxdo wr wkrvh fkrvhq lq dq hfrqrp| lq zklfk wkh qxpehu ri dulvwrfudwv lv n 7 dqg wkh shdvdqwv fdqqrw rzq odqg1 Wkh lqglylgxdov* suhihuhqfhv rq odqg duh lghqwlfdo wr wkrvh vkrzq lq Iljxuh 71 Wkh dulvwrfudwv dozd|v fkrrvh 7 vxfk wkdw wkh qxpehu ri odqgrzqhuv lv ohvv wkdq ru htxdo wr *2/ vlqfh iru 7 *2 wkh odqgrzqhuv duh dozd|v wkh phgldq yrwhu1 Wr dqdo|}h wkh htxloleulxp rxwfrph lq wklv prgho hfrqrp|/ L dp jrlqj wr dvvxph/ uvw/ wkdw wkh qxpehu ri vpdoo rzqhuv lv {hg/ dqg L zloo vkrz wkdw wkh dulvwrfudwv* uhqw lv d ghfuhdvlqj ixqfwlrq ri wkh qxpehu ri vpdoo rzqhuv1 7 EK Iru dq| srsxodwlrq vl}h wkdw vdwlvhv hlwkhu u7 *EK/ ru u* 7 K dqg n 7 k 2u* E / wkh qxpehu ri irupdo zrunhuv lv *2 dqg wkh dprxqw ri irupdo odqg lv
*2
K
,
Wkh dulvwrfudwv* uhqw lv
4 *n27 E 4 E 4 34 4
zklfk lv ghfuhdvlqj lq wkh qxpehu ri
n7 k
c wkh dulvwrfudwv* uhqw
,E
n7
vpdoo rzqhuv1 Li
+717, 7 K dqg u7 *EK 2u*
lv
7 4 u 7 4 n E E u
7 4
34 4
zklfk lv dovr ghfuhdvlqj lq wkh qxpehu ri vpdoo rzqhuv1 vpdoo rzqhuv lv }hur1 Wkxv/ li wkh
kdfhqgdgrv
+718,
Wkxv/ wkh qxpehu ri
kdyh wkh srzhu wr ghflgh wkh qdwxuh
ri wkh odqg uhirup/ wkh| qhyhu doorz wkh shdvdqwv wr rzq odqg1 Wkh
kdfhqgdgrv
zrxog doorz wkh shdvdqwv wr ehfrph rzqhuv li wkh| qhhghg hqrxjk frqvwlwxhqf| wr eh wkh phgldq yrwhu1 Ehlqj odqg dexqgdqw dqg surgxfwlylw| lq wkh lqirupdo vhfwru yhu| orz/ wkh dulvwrfudwv rewdlq hqrxjk vxssruw iurp irupdo zrunhuv/ zkr suhihu
K8
wr wkh rxwfrph prvw suhihuuhg e| wkh lqirupdo zrunhuv/ bE8 Wkxv/
4;
wkh
kdfhqgdgrv gr qrw qhhg wkh vpdoo rzqhuv dqg wkh| duh ehwwhu r zkhqhyhu
wkh jurxs ri odqgrzqhuv lv d yhu| vpdoo iudfwlrq ri wkh srsxodwlrq1 Zh fdq xvh wklv prgho wr xqghuvwdqg wkh Ph{lfdq uhirup vwduwhg lq 4 khuh L q zklfk lw fdq wdnh ydoxhv wr d74c wr vlpsoli| wkh dqdo|vlv1 L dp
Lq wkh suhylrxv Vhfwlrq L uhvwulfw wkh vhw l
jrlqj wr dvvxph/ dv lq wkh edvlf prgho/ wkdw qr shdvdqw fdq ehfrph d odqgrzqhu1
57 Wkhuh
lv qr irupdo hylghqfh rq wklv k|srwkhvlv iru wkh Ph{lfdq fdvh/ exw wkhuh duh vrph dqhfgrwlf hslvrghv ri wkh ehjlqqlqj ri wkh djuduldq uhirup lq Shuý lq wkh hduo| 43:3v qduudwhg e| Gh Vrwr +4 I = Iru dq| srsxodwlrq vl}h wkdw vdwlvhv A 5O @.5D
Q
suhihuuhg rxwfrph lv htxdo wr
= wkh prvw suhihuuhg rxwfrph lv O
53
E8 ' 7
u
# # 7 $4
pd{lpl}hv wkh irupdo zrunhuv*
u 8
$ 4 3
n E
suhihuhqfhv li
+815,
E8 U
Vlqfh
1
E8 lv ghfuhdv0
lqj zlwk wkh qxpehu ri irupdo zrunhuv/ lw iroorzv wkdw wkhuh h{lvwv d pd{lpxp qxpehu ri irupdo zrunhuv/ zklfk L dp jrlqj wr fdoo
l Ec/
iru zklfk irupdo dqg
lqirupdo zrunhuv* suhihuhqfhv rq wkh dprxqw ri irupdo odqg duh rssrvhg1 li wkh qxpehu ri irupdo zrunhuv lv juhdwhu wkdq suhihu doo wkh odqg wr eh lqirupdo1 ru htxdo wr
l Ec /
odqg lv irupdo1
wkh irupdo zrunhuv* suhihuhqfhv duh pd{lpl}hg zkhq doo wkh
Wkxv/ irupdo dqg lqirupdo zrunhuv kdyh rssrvlwh suhihuhqfhv rq
vl}h ri wkh srsxodwlrq dqg wkh udwlr
C :C
wkuhvkrog/ dq|
erwk w|shv ri shdvdqwv
Li wkh qxpehu ri irupdo zrunhuv lv ohvv wkdq
l c l c *
wkh dprxqw ri irupdo odqg zkhqhyhu
wkh sdudphwhu
l Ec /
Wkxv/
4
8
E
E
1 Wklv erxqg lqfuhdvhv zlwk wkh
ghfuhdvhv prqrwrqlfdoo|/ jlyhq wkdw
kdv ehhq dvvxphg wr eh ohvv wkdq
1 Wkhuhiruh/ wkhuh h{lvwv d
C lw lv vdwlvhg wkdw l c n *2 C dqg qr odqg lv h{sursuldwhg iurp wkh dulvwrfudwv1 Li : C/
/ vxfk wkdw iru dq|
E
/ wkh lqhtxdolw| lv uhyhuvhg1
Wkxv/ li
> iru
/ wkh qxpehu ri irupdo
nhuv htxdov l Ec uhjdugohvv ri wkh qxpehu ri irupdo zrunhuv/ doo odqg lv h{sursuldwhg dqg jlyhq wr wkh shdvdqwv xqghu d frpprq surshuw| uhjlph1 Sursrvlwlrqv 615 dqg 616 vkrz wkh irupdo dqg lqirupdo zrunhuv* suhihuhqfhv rq irupdo odqg1 Sursrvlwlrq 617 frqwdlqv wkh surri ri wkh htxloleulxp1 Wkxv/ wkh dulvwrfudwv* delolw| wr glylgh dqg frqtxhu ghshqgv rq wkh srsxod0 wlrq ghqvlw|1 Li srsxodwlrq lv wrr odujh/ wkh dulvwrfudwv fdqqrw rhu kljk hqrxjk zdjhv iru wkh shdvdqwv wr suhihu wkh zdjh lqvwhdg ri wkh dyhudjh |lhog lq wkh lq0 irupdo vhfwru1 Vlqfh L kdyh dvvxphg wkh vl}h ri wkh dulvwrfudf| wr eh ohvv wkdq kdoi ri wkh srsxodwlrq/ doo odqg ehfrphv lqirupdo1 Lq wklv fdvh/ dowkrxjk lw zrxog jr eh|rqg wkh vfrsh ri wklv sdshu/ lw zrxog ehqhw wkh dulvwrfudwv wr jlyh vrph shdvdqwv wkh uljkw wr rzq odqg sulydwho| wr exlog hqrxjk frqvwlwxhqf| vr wkh| zrxog nhhs vrph ri wkh odqg1
zru
91 Glhuhqfhv rq Surgxfwlylw| Lq wkh vfhqdulrv vwxglhg/ lq dq| hfrqrp| lq zklfk wkh dprxqw ri irupdo odqg lv ohvv wkdq wkh wrwdo dprxqw/ wkh htxloleulxp zdjh lv vwulfwo| juhdwhu wkdq wkh lqirupdo lqfrph1 Wklv lpsolfdwlrq pdwfkhv wkh Ph{lfdq hylghqfh rq plqlpxp zdjhv dqg dyhudjh lqfrph lq wkh
hmlgdo
odqg/ dv lw zdv phqwlrqhg lq wkh Lqwurgxfwlrq/ exw
lw kdv ehhq rewdlqhg xvlqj d yhu| vwurqj dvvxpswlrq rq wkh surgxfwlylw| lq wkh
E 4 34 4
Wklv dvvxpswlrq/ dowkrxjk qrw qhfhvvdu| wr rewdlq wkh uhvxowv/ zdv xvhg wr vlpsoli| wkh dqdo|vlv1 Lq Vhfwlrq 5/ L mxvwlhg lqirupdo vhfwru/ wkdw lv/
w
1
54
wkh dvvxpswlrq wkdw qr odqg frxog eh ohiw lgoh dvvxplqj w : dp jrlqj wr vkrz wkdw wkh uhvxow krogv iru w
:
E
4
i wW wkdw vdwlvhv
714 lq wkh Dsshqgl{ wkh h{lvwhqfh r
vxfk wkdw li w vdwlvhv E 4
3
4
4
w wW
/
3
4
E
4 34 4
Wkxv/ L
4 Lw lv vkrzq lq Ohppd 34 W E 4 4 E 4 /
w
3
wkh htxloleulxp ihdwxuhv dq dprxqw ri
irupdo odqg ohvv wkdq wkh wrwdo dprxqw dqg wkh htxloleulxp zdjh lv vwulfwo| juhdwhu wkdq wkh lqirupdo lqfrph1 Wkh uhvxowv duh vxppdul}hg lq wkh iroorzlqj wdeoh=
3
w wW 7 EKEn 2u* 4
+404 4
Wdeoh 4 34 W E 4 4 w w 7 EKE n V 2u*
8 *2 u ' bE8
k 8 ' *2 u ' K*2 E
7 EK u* : k 8 *2 u ' bE8 E
Iru dq| srsxodwlrq vl}h wkdw vdwlvhv 2u7 *EKE n V u7 *EK/ rqo| li
k 8 ' *2 u ' K*2
wkh qxpehu ri dulvwrfudwv lv vpdoo/ wr wkh lqirupdo lqfrph iru
E
dqg
/ wkh zdjh lv juhdwhu wkdq ru htxdo
1 Wklv lv wkh htxloleulxp wkdw
L wdnh wr uhvhpeoh d Odwlq Dphulfdq odqg uhirup1 Wklv uhvxow lv suryhg lq Ohppd
59
715 dqg Sursrvlwlrq 716 lq wkh Dsshqgl{1
Iru dq| srsxodwlrq vl}h wkdw vdwlvhv 2u7 *EKE n V/ K8 lv ohvv wkdq bE8 / uhjdugohvv ri wkh qxpehu ri irupdo zrunhuv1 Lw lpsolhv wkdw li wkh dprxqw ri irupdo odqg lv K8 / wkh dyhudjh |lhog lq wkh lqirupdo vhfwru lv odujhu wkdq wkh zdjh> wkxv/ u ' K8 fdqqrw eh d yrwlqj rxwfrph1 Wkh yrwlqj rxwfrph lv hlwkhu bE8 ru u7 / ghshqglqj rq wkh qxpehu ri irupdo zrunhuv1 Vlqfh odqg lv yhu| dexqgdqw/ wkh dulvwrfudwv suhihu wr kdyh h{sursuldwhg vrph ri wkhlu odqg/ lqvwhdg ri fxowlydwlqj lw/ zklfk zrxog lpso| d pxfk odujhu odqg0oderu udwlr lq wkh irupdo vhfwru dqg/ khqfh/ d juhdwhu zdjh dqg orzhu odqg uhqwv1 7 EKE n V u 7 *EK/ dqg wkh vl}h ri Li wkh srsxodwlrq vl}h vdwlvhv 2u* wkh dulvwrfudf| vdwlvhv : k E / wkh dprxqw ri odqg K*2 fdqqrw eh d yrwlqj rxwfrph/ ehfdxvh wkh dvvxpswlrq rq eh juhdwhu wkdq
59
bE8
w
lpsolhv wkdw
*2 bE*2
K
1 Iru
8
K
wr
dqg/ khqfh/ wr eh d yrwlqj rxwfrph/ wkh qxpehu ri irupdo
Wkh sdudphwhu lv htxdo wr
4 +4 ,4 4 1 55
zrunhuv vkrxog eh ohvv wkdq d qxpehu 8 c wkdw lv ohvv wkdq *21 Wklv qxpehu K8c 8 ' U E8 c K8 c 8 Qhyhuwkhohvv/ wkh dulvwrfudwv suhihu wr kluh vdwlvhv E8c 8 *2 Li wkh| fkrvh 8 ' 8 / d qxpehu ri irupdo zrunhuv wkdw vdwlvhv 8
sdvvhg e| xvlqj d odqg0oderu udwlr htxdo wr K lv orzhu wkdq wkh orvv rffxuuhg e| klulqj wrr ihz zrunhuv1 Wkxv/ wkh| fkrrvh d qxpehu ri irupdo zrunhuv 8 iru zklfk K8 bE8 1 Wkh surri ri wkhvh uhvxowv duh irxqg lq Ohppd 717/ Sursrvlwlrq 718/ dqg Sursrvlwlrq 719 lq wkh Dsshqgl{1 Wkh prvw lqwhuhvwlqj ihdwxuh ri wklv w|sh ri htxloleulxp lv wkdw wkh dulvwrfudwv* uhqwv duh pd{lpl}hg iru u ' bE8 / wkh lqirupdo zrunhuv* prvw suhihuuhg rxwfrph1 Li bE8 zhuh qrw wkh pd{lpl}hu/ lw zrxog lpso| wkdw 8 grhv qrw pd{lpl}h wkh dulvwrfudwv* uhqwv dw wkh glhuhqwldwlrq vwdjh1 7 EK Iru dq| srsxodwlrq vl}h dqg qxpehu ri dulvwrfudwv wkdw vdwlvi| u* [ n dqg k E wkh htxloleulxp frlqflghv zlwk wkh rqh rewdlqhg hduolhu lq 34
wkh lqfuhdvh ri uhqwv hqfrp
,
wkh fdvh lq zklfk w
E 4
4
phdvxuhg dv wkh qxpehu ri dulvwrfudwv lv uhohydqw wr ghwhuplqh wkh w|sh ri odqg uhirup fkrvhq1 Qjx|hq dqg Pduwlqh} Vdogðydu +4 wkxv/ _, ' Ys # E , : f Lw iroorzv wkdw , fdqqrw vroyh 4@ E#E,c ,1 Wkhuhiruh/ , : ,1 Sursrvlwlrq 417 u7 o , M dfc , , hqvxuhv wkdw : #E , ' K Li , grhv qrw h{lvw lw lpsolhv wkdw , : K# E, / iru doo ,1 #E, Wkhq/ E# E ,c , E#E,c K#E, 3 c K 3 ,
lqfuhdvhv zlwk ,> wkxv wkhuh h{lvwv dw prvw rqh ,
51 D Odwlq Dphulfdq Odqg Uhirup 5141 Wkh Lqglylgxdov* Suhihuhqfhv rq Irupdo Odqg dqg wkh Yrwlqj Rxw0 frph Sursrvlwlrq 5141 Li
[n
/ wkh irupdo zrunhuv* suhihuhqfhv duh vlqjoh0shdnhg
dqg wkhlu prvw suhihuuhg yrwlqj rxwfrph lv
59
u7
/ iru doo
8
1
Ohw xv ghqrwh dv ,8 E8c ,c )E8c , wkh wru/ jlyhq 8 irupdo zrunhuv dqg , xqlwv ri _E ' r}? 8 E8c,c)E8c, 1 plqg wkdw r}? _, _+
Surri1
u
wkh suhihuhqfhv
81
irupdo odqg1
_,
E 8 E8c ,c )E8c , ' ,8 E8c,c )E8c , ' # , b 8 / ,
odqg0oderu udwlr lq wkh irupdo vhf0
'
:
Sursrvlwlrq 5151 Li
> wkxv
_,
_,
[n
:
/
Wkxv/ iru doo
/ wkh lqirupdo zrunhuv* suhihuhqfhv duh vlqjoh0
shdnhg dqg wkhlu prvw suhihuuhg yrwlqj rxwfrph lv
c
bE8 5
u
Efc 7 /
Ef
Surri1
, bE8
Y,8 E8c,c)E8c, f1 Li Y, _,8 E8 c,c)E8c, / dqg Sursrvlwlrq 417 lpsolhv wkdw f1 E, _, 7/ duh vlqjoh0shdnhg dqg wkhlu prvw suhihuuhg rxwfrph lv u ,
8
8 E8c,c)E8c,
Zh vkrxog nhhs lq
Iru dq| dprxqw ri irupdo odqg ,
iru dq|
85
Wkh lqirupdo lqfrph lv U E8c ,c )E8c , w E,U E8c ,c )E8c ,4 n E 4
1
8c ,c )E8c , ghqrwhv wkh lqirupdo odqg0oderu udwlr1 Iru dq| E8c, f> wkxv/ U lv d [/ li , : bE8 / ,U E8c ,c )E8c , ' 3u7338 / _,U E8c,c) _, 73 u ghfuhdvlqj ixqfwlrq ri , / iru dq| , : bE8 1 Li , b E8 / ,U E8c ,c )E8c , ' 33#E, / Wkh h{suhvvlrq ,U E
,
,
dqg lw iroorzv iurp Sursrvlwlrq 417 wkdw
u7 3, 33#E,
lv lqfuhdvlqj zlwk , Wkxv/ wkh
lqirupdo zrunhuv prvw suhihuuhg rxwfrph lv b E8
Sursrvlwlrq 5161 k lLi
[n
lq wkh lqwhuydo zkhuh
+ 1 E8 '
Surri1
8
dq|
s KE8 bE8 rJ6e , 5 EK8c bE8 o c J|eore K8
lv d vwulfwo| frqfdyh ixqfwlrq ri odqg K8 1
s 8 K8
Ohw xv dvvxph wkdw wkdw
s : bEs
K
/ iru doo
r u7 c 1 E8 /
q
/ wkh dulvwrfudwv* suhihuhqfhv duh vlqjoh shdnhg
7 dqg wkhlu prvw suhihuuhg rxwfrph lv htxdo wr 4? fc u
bE8 / wkhq )E8c K8
> wkdw lv/
# , :,
K E
vdwlvhv Y E8 K c
8c8
Y,
'8 , ' b Es s 8
'f
iru
1 Sursrvlwlrq 417 hqvxuhv
/ zkhuh
/
1 Frqfdylw|
zlwk uhvshfw wr wkh dprxqw ri irupdo odqg hqvxuhv wkdw _ E6 _,,c)E6 c, ' Y E6 ,c#E, : Y E6 K#E,c#E, ' f/ iru dq| , bE8 Iru dq| , : bE8 zh nqrz Y, Y, _ E6 c,c)E8c, ' Y E6 / zklfk lv srvlwlyh iru , K8 dqg qhjdwlyh iru , : wkdw _,
ri
c
c
c
c,c8
K8 1
1 E8 ' K8 K8 bE6 Y,
Wkhuhiruh/
1
Ohw xv dvvxph wkdw
Y E6
f
1
6 /
Wkhq/ iru dq| , : b E
_ E6 c,c)E6 c, _,
'
/ vlqfh ) E6 c K6 ' f/ ehfdxvh )E6c , ' 6 dqg frqfdylw| ri Y hqvxuhv wkdw EY,6 ,c8 Y E6 E Y E6 K ' f1 Iru dq| , K8 lw lv E6 c, vdwlvhg _ E6 c,c) ' YE6 Y,,c)E6 c, n YE6Ys,c)E6 c, ) E6 c , : f/ ) E6 c , # E* 1 _, _ E6 ,c)E6c, hqvxuhv wkdw wkhuh h{lvwv 1 E6 5 EK6 c bE6 o wkdw Wkxv/ frqwlqxlw| ri Y,
c,c8
c
cb 8 c8
c
Y,
c
c
c
pd{lpl}hv
8c8
Y,
_,
5:
5151 Wkh Qxpehu ri Irupdo Zrunhuv Sursrvlwlrq 5171
#
E 2
7 E c uc k
c
cK
2
2
' E 4 2 K 7 u iru doo / k, vdwlvhv f k k,E
E
K
wkh vl}h ri wkh
7 4 $ 4 u n4
34 7 33424 u 4
K
,E
li
Wkhuh h{lvwv
/
,E
:
zkhuh
vxfk wkdw
dqg lw prqrwrqlfdoo| lqfuhdvhv zlwk
2
srsxodwlrq1
c u7 c 3 k E 1 Lw lv qrq qhjdwlyh li dqg rqo| li E 42 3344 Ku7 34 4 Ku7 41 Li Ku7 ' / wkh lqhtxdolw| lv vwulfw dqg lw lv uhyhuvhg li Ku7 ehfrphv duelwudulo| odujh1 Khqfh/ u7 wkhuh h{lvwv : vxfk wkdw iru dq| K / k E f Lw lv vwudljkwiruzdug wr suryh wkdw k E lv prqrwrqlfdoo| lqfuhdvlqj zlwk dqg kdv dq xsshu erxqg dw / iru dq| u7 1 Surri1
Wkh h{suhvvlrq iru k
vdwlvhv E 2 c K 2 c 2 ' E
,E
42
k
,E
,
,
,
K
2
61 Srsxodwlrq Vl}h dqg wkh Rzqhuvkls Uhjlph
3
Ohw xv dvvxph wkdw w lv ohvv wkdq E 4 4 1 Iru dq| vxfk [ n / wkh qxpehu ri irupdo zrunhuv lv 8 ' 2 dqg wkh dprxqw 4
Sursrvlwlrq 6141
7 wkdw 2Ku
ri irupdo odqg lv
u ' u7 1
8 / wkh irupdo dqg lqirupdo zrun0 7 dqg bE8 / uhvshfwlyho|1 Wkh dulvwrfudwv* u r
Surri1 Iru dq| jlyhq qxpehu ri irupdo zrunhuv/
q
huv* prvw suhihuuhg yrwlqj rxwfrph duh prvw suhihuuhg rxwfrph lv 4?
u7 c K8
/ dv lw iroorzv iurp Sursrvlwlrq 5161 Wkh
k
l
8 2 1 Iru dq| 8 lq wkh lqwhuydo 2 c 2 wkh 7 Lq hlwkhu fdvh lv dq lqfuhdvlqj ixqfwlrq ri wkh yrwlqj rxwfrph lv hlwkhu K8 ru u q r qxpehu ri irupdo zrunhuv1 Wkxv/ wkh dulvwrfudwv fkrrvh 8 lq wkh vhw 2 c 1 q r 7 2u 7 K > wkhuhiruh/ iru dq| 8 5 c wkh Vlqfh / lw iroorzv wkdw u K 2 2 7 1 Jlyhq wkdw wkh yrwlqj rxwfrph grhv qrw ghshqg yrwlqj rxwfrph lv uE8 ' u dulvwrfudwv dozd|v fkrrvh
rq wkh qxpehu ri irupdo zrunhuv/ dqg vlqfh iroorzv wkdw
8 '
Sursrvlwlrq 6151 Iru dq|
: [n
/ iru dq|
lv vwulfwo| lqfuhdvlqj lq oderu/ lw
8 5 Efc
/ wkh irupdo zrunhu*v
suhihuhqfhv kdyh d plqlpxp dw bE8 Wkh irupdo zrunhu*v prvw suhihuuhg rxwfrph
c dqg lw lv uE8 ' u7
lv uE8
' f
Surri1
Vlqfh wkh ixqfwlrq # wdnhv ydoxhv lq wkh hqwluh lqwhuydo dfc o/ iru dq|
li 8 : l E
8 5 Efc
wkhuh h{lvwv
bE8
/ vxfk wkdw
5;
rwkhuzlvh1
8
'
# EbE8
1
Iru dq| dprxqw ri
odqg
, bE8 )E8c , ' #E, /
8
/ zklfk lv ohvv wkdq
Lw iroorzv iurp Sursrvlwlrq 417
wkdw wkh zdjh ghfuhdvhv zlwk wkh dprxqw ri irupdo odqg lq wkh lqwhuydo
, : bE8 )E8c, ' 8
Iru dq| dprxqw ri odqg
/
f
ru
c bE8
7 b E8 c u
lqfuhdvhv zlwk wkh dprxqw ri irupdo odqg lq wkh lqwhuydo zrunhu*v prvw suhihuuhg rxwfrph lv hlwkhu
df
> lw lpsolhv wkdw wkh zdjh vwulfwo| Wkh irupdo
u7 / ghshqglqj rq zklfk dvvrfldwhg
ohyho ri frqvxpswlrq lv kljkhvw1 Frqwlqxlw| ri wkh zdjh dqg wkh lqirupdo lqfrph hqvxuhv wkdw wkhuh h{lvwv d qxpehu ri irupdo zrunhuv
3 4 34 u7 4 n E 34 w E 3 7 EC 3 l Ec ' u vxfk wkdw li
8
l c E
4 34 E FF D
+614,
/ wkh irupdo zrunhuv suhihuhqfhv duh pd{lpl}hg dw
8 : l Ec / wkh| duh pd{lpl}hg dw f1 Sursrvlwlrq 6161
Iru dq| : [ n /
u7 1
Li
wkh lqirupdo zrunhu*v suhihuhqfhv duh
prqrwrqlfdoo| ghfuhdvlqj lq wkh dprxqw ri irupdo odqg1
Surri1
Iru dq| dprxqw ri irupdo odqg f , bE8 / lw iroorzv iurp Sursrvlwlrq
417 wkdw wkh lqirupdo lqfrph lv vwulfwo| ghfuhdvlqj zlwk wkh dprxqw ri irupdo odqg1 Iru dq|
bE8 , u7
/ doo wkh irupdo zrunhuv vwd| lq wkh irupdo vhfwru/
dqg wkh lqirupdo lqfrph vwulfwo| ghfuhdvhv zlwk
)E8c , ' 8
1
: 4@ ' 2 c
q
r
n 2 C : [n hv l C 7 nhuv lv 8 ' l c dqg wkh dprxqw ri irupdo odqg lv u ' u :C dfc o u'f
Sursrvlwlrq 6171
Ohw wkh srsxodwlrq vl}h vdwlvi|
Wkhuh h{lvwv
/ zklfk vdwlv
qxpehu ri irupdo zru Li
,
E
ECc
[ n c 2Ku 7
vxfk wkdw li
Surri1
/ wkh
/ wkh qxpehu ri irupdo zrunhuv olhv lq wkh lqwhuydo
dprxqw ri irupdo odqg lv
1
dqg wkh
1
Vlqfh wkh lqirupdo zrunhuv* prvw suhihuuhg rxwfrph lv }hur/ wkh dulvwr0
8 n 2 / zklfk/ jlyhq wkh dvvxpswlrq rq wkh vl}h 7 1 Wkh ri wkh srsxodwlrq lpsolhv wkdw wkh dulvwrfudwv* prvw suhihuuhg rxwfrph lv u dulvwrfudwv gr qrw fkrrvh 8 : l Ec / vlqfh doo wkh shdvdqwv* prvw suhihuuhg rxw0 k l c l frph zrxog eh }hur> wkhuhiruh/ 8 lv fkrvhq wr ehorqj wr Ec / zklfk 2 fudwv fkrrvh
uhtxluhv wkdw vlqfh
C Li
4
8
2
vxfk wkdw
c n ghfuhdvhv prqrwrqlfdoo| zlwk
l c Wkh udwlr E
lE
7 dqg u ' u
/
lv dvvxphg wr eh ohvv wkdq 041 Wkxv/ wkhuh h{lvwv d vl}h ri wkh srsxodwlrq
vxfk wkdw iru doo
C u'f /
C
/
c n
lE
2
1 Wkxv/ li
C 8 ' l c /
/ uhjdugohvv ri wkh qxpehu ri irupdo zrunhuv1
5
wkhuhiruh 8 2 uE8 ' bE8 7 *EKV n dqg : kE 1 Wkhq/ bE8 : K8 / 4151 Ohw xv dvvxph wkdw u iru doo 8 2 1 Lw iroorzv/ iurp Ohppd 717 wkdw uE8 ' bE8 1 7 2u 51 Ohw xv dvvxph wkdw 1 Wkhq/ lw lv hdv| wr fkhfn wkdw E8c K8c 8
E8c K8c 8
/ iru dq|
U
e| Ohppd 717/
uE8 ' bE8
Sursrvlwlrq 7191
vdwlvhv
8 2
7 2u
Ohw
w
KEnV
1 Lq rwkhu zrugv/
34 74 4 w wW Ku dqg : k
vdwlvi|
7 2u / ru KEn V KEnV
bE8 : K8 / iru doo 8
E
E
1
2
1 Wkxv/
Li wkh srsxodwlrq vl}h
/ wkh htxloleulxp qxpehu
dqg wkh yrwlqj rxwfrph lv bE8 / zkhuh 8 lv ghqhg lq wkh ri zrunhuv lv 8 2 suhylrxv Sursrvlwlrq 64
Surri1 L suryh wkh sursrvlwlrq surfhhglqj lq vhyhudo vwhsv1 41 L dp jrlqj wr suryh wkdw
: k E
1
4141 Ohw xv dvvxph wkdw
7 E8 c bE8 c 8 : E c uc
/ iru doo
' k E
> Ohppd 715 hqvxuhv wkdw
bE 2 ' K 2 8 ' 2 U E 2 c K 2 c 2 c 7 iroorzv wkdw E8 c bE8 c 8 : E c uc lq rwkhu zrugv/
4151
Wkxv/
'
bE8 c 8 E8c
1
4161
Zh nqrz wkdw
E 2 c K 2 c 2 ' u7 *EK lw
1
bE 2 u7 / wkh 7 7 E cbE c Ec uc ' E 2 c uc 2 2 2 2
Ohw xv dvvxph qrz wkdw
iroorzlqj lqhtxdolwlhv krog=
1 Vlqfh
> 2
lq wklv fdvh/ vlqfh
7 E c uc
qxpehu ri dulvwrfudwv lqfuhdvhv1
ghfuhdvhv prqrwrqlfdoo| dv wkh E8 c bE8 c 8 lv dovr vwulfwo|
L qhhg wr suryh wkdw
ghfuhdvlqj1 Wr gr vr/ L dp jrlqj wr dvvxph wkdw wkh qxpehu ri dulvwrfudwv fdq ydu|1 L dp jrlqj wr nhhs wkh vdph qrwdwlrq iru wkh vdnh ri vlpsolflw|/ exw zh vkrxog ehdu lq plqg wkdw zh vkrxog zulwh qrz 8 E dqg bE8c 1 8 vdwlvhv Y E8 cbE8 c8 YbE8 Y, Ys
n YE8YscbE8c8 f
/ zkhuh
Y E8 cbE8c8 Ys
f
1 Li
8
lv dq lqwhulru
vroxwlrq/ lw lv k hdv| wrl fkhfn wkdw lw ghfuhdvhv dv wkh dulvwrfudf| vl}h lqfuhdvhv/ iru dq|
' 2 / wkhq lw lv qrq lqfuhdvlqj zlwk wkh qxpehu ri bE8 c 8 ghfuhdvhv zlwk wkh qxpehu ri dulvwrfudwv Wr vkrz wkdw E8c
5 k E
dulvwrfudwv1
c 2
Li
8
L wdnh wkh ghulydwlyh zlwk uhvshfw wr
_ _
'
Vlpsoli|lqj wkh qrwdwlrq lw fdq eh zulwwhq
Y Yb n Y 8 n Y Yb 1 Li 8 lv dq lqwhulru vroxwlrq/ _ ' Y Yb / Y, Ys Ys Y, Y _ Y, Y Y zklfk lv qhjdwlyh vlqfh Y, lv qhjdwlyh ehfdxvh bE8 : K8 1 Li 8 ' 2 / wkh f> wkxv/ _ f/ iru doo 5 h{suhvvlrq lq wkh eudfnhwv lv srvlwlyh exw 8 _ k l bE8 c 8 qhyhu furvvhv E c uc 7 / iru dq| kE c 2 Wkxv/ E8c 7 : kE 1 Lw iroorzv wkdw E8 c bE8 c 8 : E c uc dv
Vr idu/ L kdyh qrw vshflhg wkh vl}h ri wkh srsxodwlrq1 Iru dq| hfrqrp| 7 u7 2u wkdw vdwlvhv KEn V K wkh erxqg kE lv srvlwlyh1 Iru dq| : kE / 51
7 E8 cbE8 c 8 lv juhdwhu wkdq E c uc 8 ' 8 dqg wkh yrwlqj rxwfrph lv bE8 Li wkh srsxodwlrq vl}h > wkxv/ lw lpsolhv wkdw wkh
dulvwrfudwv fkrrvh 27
vdwlvhv
u
wkh erxqg kE lv ohvv wkdq ru htxdo wr }hur1 Wkh surri deryh k l k l dssolhv iru dq| 5 kE c 2 > wkxv/ lw dssolhv iru 5 fc 2 1 Lw lpsolhv wkdw/ li
7 2u
KEnV
KEn V
/ wkh dulvwrfudwv fkrrvh
8 ' 8
65
dqg wkh yrwlqj rxwfrph lv bE8
Uhihuhqfhv ^4` ^5`
Eduudforxjk/ V1 dqg Frooduwh/ M1F1 +4