Следва едно добро и поучително и не много трудно решение. Съгласно една теория на относителността, всичко е относително, така че, то би могло, в зависимаст от гледната точка, дори и да се нарече и признае и за много лесно решенние.
Тук:
viewtopic.php?f=49&t=31238&start=25#p121173доказах, че:
$\vec{AO}=x\vec{AD}+y\vec{AM}$,
където $0<x, 0<y, 0<x+y<1$, а $M$ е средата на $BC$.
Нека $S$ е вторият край на вектора $\vec{AS}:=(1/(x+y))\vec{AO}$. Точката $S$ е вътрешна за отсечката $MD$, защото $\vec{MS}=(x/(x+y))\vec{MD}, 0<x/(x+y)<1$. Понеже $\vec{AO}:=(x+y)\vec{AS}, 0<x+y<1$, следва, че точката $O$ е вътрешна за отсечката $AS$, на която само единият край, $S$, е на правата $MD$, само единият край, $A$, е на правата $DA$, само единият край, $A$, е на правата $AM$. Следва, че $О$ е от една и съща страна с $А$ спрямо правата $MD$, $О$ е от една и съща страна с $S$, а от там и с $M$, спрямо правата $DA$ (понеже отсечката $SM$ не пресича тази права),, $O$ е от една и съща страна с $S$, а от там и с $D$, спрямо правата $AM$ (понеже отсечката $SD$ не пресича тази права). Следва, че точката $O$ е вътре в триъгълника $AMD$, за чиято вътрешност, вкл. за т. $O$, с очевидни подобни разсъждения веднага следва, че се намира вътре в пирамидата $ABCD$.
А именно и по-конкретно, например, за точката $O$, която единствено ни интересува. Точката $O$ се намира от една и съща страна с точката $A$ спрямо равнината $BCD$, защото е вътрешна за отсечката $AS$, която има само един край, $S$, лежащ в тази равнина, точката $O$ се намира от една и съща страна с точката $S$, а от там и с $B$, спрямо равнината $CDA$, защото е вътрешна за отсечката $AS$, която има само един край, $A$, лежащ в тази равнина, точката $O$ се намира от една и съща страна с точката $S$, а от там и с $C$, спрямо равнината $DAB$, защото е вътрешна за отсечката $AS$, която има само един край, $A$, лежащ в тази равнина, точката $O$ се намира от една и съща страна с точката $S$, а от там и с $D$, спрямо равнината $ABC$, защото е вътрешна за отсечката $AS$, която има само един край, $A$, лежащ в тази равнина,