Contents

• 1 Introduction
  • 1.1 Proving is to convince a computer
  • 1.2 Reusing our former knowledge ****
  • 1.3 Notations
  
  
• 2 Apexes and pencils
• 3 Orthogonality
• 4 Some constructions
• 5 The south plane
• 6 Inversion
• 7 Apollonius problem
• A. Old pieces
  • A..1 Digression (was in introduction)
  
  
• List of Figures
• Bibliography