Картинки из квадратов \ О гармоническом \ Гармоничная геометрия \ Основные понятия проективной геометрии \ Действительная проективная плоскость (Х. С. М. Кокстер) \ Евклидова геометрия \
 

10.3.4.7.9.1. Перпендикулярность

 
Начало см. здесь.
Кокстер Х. С. М.
Действительная проективная плоскость.
М.: Физматлит, 1959, cc. 180 — 206.
Указанную книгу Кокстера можно взять здесь: http://px-pict.com/books/kokster.rar
(это заархивированный djvu - файл).