In this paper, using mathematical software, geometrical proofs are presented. These proofs should be presented, in school textbooks, additionally to the analytical demonstrations.