Rešenje:Neka su [tex]K[/tex] i [tex]L[/tex] središta duži [tex]AB[/tex] i [tex]CD[/tex]. U jednakokrakom trouglu [tex]ABM[/tex] težišna duž [tex]MK[/tex] je i visina, [tex]MK\perp AB[/tex]; pošto je [tex](ABM)\perp(ABCD)[/tex], sledi [tex]MK\perp(ABCD)[/tex], tj. [tex]MK=h[/tex] je visina piramide.
Koristićemo sledeću činjenicu: ako je ravan [tex]\beta[/tex] normalna na ravan [tex]\gamma[/tex] i [tex]O'[/tex] je ortogonalna projekcija tačke [tex]O[/tex] na [tex]\gamma[/tex], onda je rastojanje tačke [tex]O[/tex] od [tex]\beta[/tex] jednako rastojanju tačke [tex]O'[/tex] od prave [tex]\beta\cap\gamma[/tex] (prava [tex]OO'[/tex] paralelna je sa [tex]\beta[/tex], a normala u [tex]\gamma[/tex] iz [tex]O'[/tex] na [tex]\beta\cap\gamma[/tex] normalna je na [tex]\beta[/tex]).
Pretpostavimo da je u piramidu upisana sfera s centrom [tex]O[/tex] i poluprečnikom [tex]\rho[/tex]; tada je [tex]O[/tex] unutar piramide i na rastojanju [tex]\rho[/tex] od svih pet strana.
Prvo, [tex]AB\perp KL[/tex] i [tex]AB\perp MK[/tex], pa je [tex]AB\perp(MKL)[/tex], a takođe i [tex]CD\perp(MKL)[/tex], jer je [tex]CD\parallel AB[/tex]. Zato su ravni [tex](ABCD)[/tex], [tex](ABM)[/tex], [tex](CDM)[/tex] normalne na [tex](MKL)[/tex] i seku je po pravama [tex]KL[/tex], [tex]KM[/tex], [tex]LM[/tex]. Projekcija piramide na [tex](MKL)[/tex] je trougao [tex]MKL[/tex] ([tex]A[/tex] i [tex]B[/tex] se projektuju u [tex]K[/tex], a [tex]C[/tex] i [tex]D[/tex] u [tex]L[/tex]), pa je projekcija [tex]O'[/tex] tačke [tex]O[/tex] unutar tog trougla, na rastojanju [tex]\rho[/tex] od njegove tri stranice. Dakle, [tex]O'[/tex] je centar kružnice upisane u [tex]\triangle MKL[/tex], a [tex]\rho=r_1[/tex] je njen poluprečnik.
Drugo, [tex]BC\perp AB[/tex] i [tex]BC\perp MK[/tex], pa je [tex]BC\perp(ABM)[/tex], a takođe i [tex]AD\perp(ABM)[/tex]. Zato su ravni [tex](ABCD)[/tex], [tex](BCM)[/tex], [tex](ADM)[/tex] normalne na [tex](ABM)[/tex] i seku je po [tex]AB[/tex], [tex]BM[/tex], [tex]AM[/tex]. Projekcija piramide na [tex](ABM)[/tex] je trougao [tex]ABM[/tex], pa je na isti način [tex]\rho=r_2[/tex] poluprečnik kružnice upisane u [tex]\triangle ABM[/tex]. Dakle, moralo bi da važi [tex]r_1=r_2[/tex].
Oba trougla imaju površinu [tex]\frac{ah}{2}[/tex]: [tex]\triangle MKL[/tex] je pravougli s pravim uglom kod temena [tex]K[/tex] i katetama [tex]h[/tex] i [tex]KL=a[/tex], a [tex]\triangle ABM[/tex] ima osnovicu [tex]a[/tex], visinu [tex]h[/tex] i krake [tex]AM=BM=\sqrt{h^2+\frac{a^2}{4}}[/tex]. Prema obrascu [tex]r=\frac{2S}{P}[/tex] ([tex]S[/tex] je površina, [tex]P[/tex] obim)
[tex]r_1=\frac{ah}{a+h+\sqrt{a^2+h^2}}; \quad r_2=\frac{ah}{a+\sqrt{a^2+4h^2}}[/tex]
Međutim,
[tex]\left(h+\sqrt{a^2+h^2}\right)^2=a^2+2h^2+2h\sqrt{a^2+h^2}\gt a^2+2h^2+2h\cdot h=a^2+4h^2[/tex]
pa je [tex]h+\sqrt{a^2+h^2}\gt\sqrt{a^2+4h^2}[/tex] i [tex]r_1\lt r_2[/tex]. Ova kontradikcija pokazuje da se u piramidu ne može upisati sfera.
