Conjecturas e provas informais em geometria com recurso a ferramentas computacionais - Junqueira, Margarida (1993)