Định lý về các điểm thẳng hàng trong hình học với mô hình nửa mặt phẳng Poincaré