Důkazové úlohy v analytické geometrii - Staněk, Miroslav (1993)