Neka je
poluprečnik kružnog cilindra i
i
različite tačke njegove ose. Tačka
pripada cilindru ako i samo ako je na rastojanju
od ose cilindra, tj. ako i samo ako je
,
odnosno
.
Obzirom da tačka
pripada cilindru, važi
,
pa je jednačina cilindra
,
odnosno
.
Sada stavi
,
,
i
.
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.