Ta sẽ có 4 điểm thỏa mãn $4xy=a(x+y)$ ( trong đó $x,y$ là khoảng cách từ đỉnh chung của 2 cạnh bị cắt đến 2 giao điểm)
Nhận xét:
$2009:4=502$ dư `1`
Mà theo nguyên lí Johann Peter Gustav Lejeune Dirichlet
`->` Ta được ít nhất 503 đường thẳng đồng quy `(đpcm)`