A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. 1. Jelöljük az szabályos -oldalú gúla alapnégyzetének középpontját -nel, az alapél hosszát -val, felezőpontját -fel, továbbá a körülírt és a kérdéses gömb középpontját és sugarát -val, -rel, illetve -gyel és -val, végül az adott lapszöget -val, az szöget -vel, a szöget -val. A gúla szimmetrikus egyrészt a , másrészt az síkra. Az utóbbi merőleges az oldallapsíkra. Az -re való tükrözés egymásba viszi át az csúcspárt és önmagába az egész alakzatot, tehát -nek a -vel és az -lel való , ill. érintkezési pontját is. Ezért rajta van és metszésvonalán, az egyenesen, pedig -nek -mel átellenes pontja, továbbá az is az -n van. Az derékszögű háromszögben | | innen
Legyen vetülete az egyenesen , az -re való tükrösség alapján ez egyben -nek is vetülete, tehát . Az egyenlő szárú háromszögből | | (2) | (1) céljára és közt kapunk összefüggést: | | (3) | továbbá 2R és az ismert AD=a alapél között a DMM1 derékszögű háromszögből: | 2R=DMcosδ=DNcosδsinδ=a2cosδsinδ. | (4) | Egyelőre ott tartunk, hogy numerikus adatok mellett α-ból (2) alapján kiszámíthatjuk δ-t, ebből (3) alapján φ-t és (4) alapján 2R-et ‐ az a élt is felhasználva ‐ és ekkor (1)-ből kiszámítható a ϱ sugár. A következőkben ϱ-t közvetlenül a-val és α-val fogjuk kifejezni. Egyfelől | sinδ=1-cos2δ=1-ctg2α2=1-1+cosα1-cosα=-2cosα1-cosα, | így a (4)-beli nevező | 2(1+cosα)1-cosα⋅-2cosα1-cosα=2-cosα(1+cosα)1-cosα, | továbbá az (1)-beli nevező céljára 1sinφ=1+tg2φtg2φ=2tg2δ+1=2cos2δ1-cos2δ+1=cos2δ+11-cos2δ==ctg2α2+11-ctg2α2=1-cosα,
ennélfogva (1)-ből | ϱ=a(1-cosα)21+cosα(1+-cosα). | Az adott α mindig tompaszög, tehát -cosα>0, ugyanis rögzített R mellett, ha N tart M-hez, akkor α tart 180∘-hoz. Ha pedig N az M1-hez tart, akkor α tart 90∘-hoz. 2. Az előírt speciális esetben gúlánk egy szabályos oktaéder fele, N egybeesik O-val. Ekkor az oldallapok MFN∢=α/2 szöggel hajolnak az alapsíkhoz: | cosα2=a/2a3/2=13,cosα=2cos2α2-1=-13 | és 3. Belátjuk még, hogy ha 90∘<α<180∘, akkor mindig létezik a G1 gömb, illetve az OM1 szakasz megfelelő belső O1 pontja. Tekintsük O-nak H vetületét az MF félegyenesen, ekkor OH=Rsinφ<R=OM1, tehát az O körüli, a gúla oldallapsíkjait érintő gömb nem érinti G-t. Amint egy O1* pont halad O-tól M1-ig, O1*H* monoton és folytonosan nő, O1*M1 pedig folytonosan csökken O-ig, tehát közben pontosan egyszer beáll az O1*H*=O1*M1 egyenlőség. |