erregter Kegel

(1)

EM00915.ll.XBewsooasah-2.49uutrbemhnywulew.cn

sei K

endlich

erregter Kegel

KO

^ist

polyedeisch

2.43

li _endlich

erregt

2¥ ( ^Ko ⁾

^°

Polyeder

^:S

K

⁼

^k

^"

polyednsch

2.

38,2

^?^?

(2)

ludukliouimbewesvonlem.248-gu.LA/.p=0-

^:

^Lem

^. ^2.48A

⁴⁾

•

ge

^:

^Wir ^können ⁽ ^wegen

^Len ^. ^2.48A

) ^annehmen

_,

^dass

1-

Eher (c)

^existiert ^uh ^z _, ^- ^z

^¢ ^K

• Für ^ie

Ep

^] ^:

-

BH

^E

^REP

^- ^" ^× ^" ^si

^B

^ohne ⁱ^-^te

Zeile

-

K

_; ^{: =}

fx

^Eberle

⁾

^:

^Bix

^E

^Op

^. ^. ^,

^LB

^:* ^, ^x

⁾

⁼ ⁰

} ^Ek

-

Nach

^Ind ^. ^Vor ^.

gibt

^es

^X

^;

^EDA ⁾

^" ^,

^IX

^;

^law

^:

Ki

⁼ ^done

⁽

^X

^;)

- Es

genügt

^,

fr ^X

^: ⁼

II ^Xi

^zu

_zeigen

^:

^ksaone

[ ^denn

^" ^E ^" ^ist ^klar

^]

(3)

•

Si den

×

EK

_.

. I

:'-( ^IEEPI

^:

^(B)

^* ^it

⁾

^> ⁰

}

^F ^, ^da ^t

^Eher ^Khk

•

Für alle

ie I ^:

D;

^:⁼ ^war

| ⁷⁷⁰

^!

⁽ ^Bi

^,^- , Xt Az

)

^EO

}

^C-

^Rt

[ ^da ^xek ^]

.

Wähle i

^- ^EI ^so

,

dass F

^:<

7

_:* ⁼ hin

17

^; ^: ⁱ ^{e- I}

⁾

-

Dann gib

^:

-

B. ( ^xteiz )

^E

_Op

-

( ^Bi

_:* _,

^Xthz ⁾

⁼ ⁰

x.

Eur

⁺ ^t

⁷⁷

^E

^Kir

⁼ ^ccone

⁽ ^X

^; ^.

) scconefx ⁾ _ff ₎

(4)

•

Analog ⁽ ^wegen

^- ^z

^Ekerlchk ) gilt

^es

µ

^{? 0}

mL _xt

µ

^.

^tz ⁾

^E ^come

⁽

^X

⁾

•

Falls 7-

⁼ ⁰ ^ist

,

so

ist

^× ⁼ ^xt

77

Eccone

(

^X

)

.

Andernfalls ^ist Ftp

^> ^o

^und

× ⁼

ftp.lxtazft#Flx-giz)EccoaeCH

^- ^-

Emmett

)

µ ^µ

^×

*

ft )

^Eccoue

(

^X

₎

kouwxhombicahin 17

(5)

Bunsve-Lemuh2i48a_kelAk@4k-_fxEkerkIi.BxE ^} ^! ^!

t.IE ^] U

Ti

•

Se

^.

U

^: ⁼

km ( ^AI

⁼

^her ^(B) ^stark )

_,

^also

UE k Eher (C) ^mit

dem lu ) ⁷ ^dir ^Ikeda )

^-

_I

(6)

•

Sei DIE ^ALA )

"

eine Baus

^von

kerk )

^so

_, dass ^D:

^-

D

^' ⁿ

^U

^im

Baus

^von

^U ist

^.

[ ^Zur ^Existenz

^einer

^solchen ^Baus ⁸

^' ^:

-

Si

r ^: ⁼

tang ^(A)

^,

^k

^-

right

^E

^Ihr

^- ⁱ

⁾

i :ÄT _- ^÷ ^: ^:

(7)

•

Die Vektoren

die Lösung

^von

^Ä

^.

^①

⁼

Änj

[ ÄÄJ

^,

^On

^-^r

^]

^-

ejfrj-rtti.in

Q.ee ]

^-

ej fnj

^-^-

^ha

^,

^fahr

^-^I

K

die Langen ^E. ^①

⁼

^c) _j

brechen ^und ^Gamer ^'s Regel ^eine ^Baus ^B)

mit den

gewünschten Eigenschaften

^.

^]

(8)

>

9 _U

⁼

gib _hin

^:

₍₈₎

= done

( ^Ruta w¥ ) _u

-

Wir können annehmen

,

dass U # ^k

[

^sonst

^X

^: ⁼

^Du ^f- ⁸⁾ ^]

•

Insbesondere

^:

^chin ⁽ ^UI

⁼

^dir Clark ⁾ )

^-

I

•

Also gilt

^es ^a

Ê ^kerk ⁾ ÎU ûn

^:

-

U

^-

f

^x

^Eher ^(c)

^:

₍ ^a.

^x

⁾

^- ^o

}

-

Halle

^'

-

her (c)

⁼

^hin ( ^Ku hat )

(9)

•

Dann

gib fr ^alle y ^E ^kerk ^{) M}

^:

^Jude

^:

y

⁼ ⁿ ⁺

Layla ⁽ ^y

a ⁼

wir

# ^jy

( ^un

ⁿ^' ^u ^c-

⁴ ^Ek )

•

Wir können annehmen

^: a E

K

[ ^Wahle

^ein

_y

^c-

^tun ^und ^wahre

^a

durch

^- a

,

falls _{G. y} ^>

^{< o} ^.

^Dann

zeigt ^HI

^,

^dass

^a ^E

^k

^.

^]

(10)

-

Es ist k

⁼ ^done

( ^Kufa ⁾ ) ⁽

^*

⁾

[

^" ^z ^" ^:

^klar

_,

^da ^UEK

_,

^aek

"

E ^" ^:

Es

gewiß

^,

fr ^alle ^y ^C- ^KM

zu

zeigen

^,

^dass y ^E never lat ) ⁱⁿ

-

Falls (a) _y )

^> ^o ^:

^klar wegen

-

Fall

^,

ha

,

y ⁾

^so ^:

^Dann zeigt ^② ^,

dass

^-

_aek

,

also _B- f- ^a) ^EQ

also Da ⁷⁰ ; ^da

^a

^EK ^island ,

Ba

^so _,

^also ^Ba

⁼

^④ ^af

atu ) ]

(11)

erregter Kegel

EM00915.ll.XBewsooasah-2.49uutrbemhnywulew.cn

endlich

erregter Kegel

KO

polyedeisch

li endlich

erregt

2¥ ( Ko )

Polyeder

K

k

polyednsch

38,2

ludukliouimbewesvonlem.248-gu.LA/.p=0-

Lem

4)

ge

Wir können ( wegen

) annehmen

dass

Eher (c)

¢ K

Ep

BH

REP

B

Zeile

K

fx

)

Bix

Op

LB

)

} Ek

Nach

gibt

X

EDA )

IX

law

Ki

(

;)

genügt

fr X

II Xi

zeigen

ksaone

[ denn

]

Si den

EK

:'-( IEEPI

(B)

)

}

Eher Khk

Für alle

D;

| 770

( Bi

)

}

Rt

[ da xek ]

Wähle i

dass F

7

17

)

Dann gib

B. ( xteiz )

Op

( Bi

Xthz )

Eur

77

Kir

li _endlich

2¥ ( ^Ko ⁾

^k

^Lem

⁴⁾

^Wir ^können ⁽ ^wegen

) ^annehmen

^dass

^¢ ^K

^REP

^B

⁾

^Bix

^Op

^LB

⁾

} ^Ek

^X

^EDA ⁾

^IX

^law

⁽

^;)

fr ^X

II ^Xi

_zeigen

^ksaone

[ ^denn

^]

:'-( ^IEEPI

^(B)

⁾

^Eher ^Khk

| ⁷⁷⁰

⁽ ^Bi

^Rt

[ ^da ^xek ^]

⁾

B. ( ^xteiz )

_Op

( ^Bi

^Xthz ⁾

⁷⁷

^Kir

⁽ ^X

) scconefx ⁾ _ff ₎

Analog ⁽ ^wegen

^Ekerlchk ) gilt

^tz ⁾

⁽

⁾

Andernfalls ^ist Ftp

^und

µ ^µ

₎

Bunsve-Lemuh2i48a_kelAk@4k-_fxEkerkIi.BxE ^} ^! ^!

t.IE ^] U

km ( ^AI

^her ^(B) ^stark )

^also

UE k Eher (C) ^mit

dem lu ) ⁷ ^dir ^Ikeda )

_I

Sei DIE ^ALA )

_, dass ^D:

^U

^U ist

[ ^Zur ^Existenz

^solchen ^Baus ⁸

tang ^(A)

^k

^Ihr

⁾

i :ÄT _- ^÷ ^: ^:

^Ä

^①

^On

^]

^ha

^fahr