Dany jest punkt
wewnątrz kuli ograniczonej sferą
. Przekształcenie
jest określone jak następuje: dla punktu
punkt
,
oraz
. Udowodnić, że obrazem dowolnego okręgu zawartego w
w przekształceniu
jest okrąg.
Niech
będzie okręgiem zawartym w sferze
, niech
będzie sferą zawierającą
i punkt
,
niech będzie takim punktem, że odcinek
jest średnicą
. Dla każdego
kąt
jest prosty. Niech
będzie rzutem prostokątnym punktu
na prostą
. Trójkąty
oraz
są podobne, więc
![]() |
![]() |
Wartość ostatniego wyrażenia nie zależy od położenia punktu
na okręgu
na mocy twierdzenia mówiącego, że iloczyn odcinków, na jakie ustalony punkt dzieli cięciwy okręgu, jest stały. Wobec tego dla każdego punktu
rzut punktu
na
jest tym samym punktem. Wynika stąd, że wszystkie obrazy
należą do płaszczyzny prostopadłej do prostej
. Ponieważ obrazy te należą do sfery
, więc należą do części wspólnej sfery i płaszczyzny, tj. do pewnego okręgu
. Wobec tego
. Ponieważ jednak przekształcenie
jest odwracalne, przy czym
, a przez analogiczne rozumowanie stwierdzamy, że
, więc okrąg
jest obrazem okręgu
(i jednocześnie
jest obrazem okręgu
).