Để chứng minh a) ta có:

1. Do ABCD là hình bình hành nên FB = DC và FD = BC.


2. Áp dụng định lí Pappus cho tam giác DFC và đường thẳng AB ta có:
   
   $\frac{FD}{FB} = \frac{FG}{FC}$


3. Thay vào biểu thức trên ta có:
   
   $FD \cdot FB = FG \cdot FC$

Để tính AG ta có:

1. Áp dụng định lí Pappus cho tam giác DFC và đường thẳng AB ta có:
   
   $\frac{FD}{FB} = \frac{AG}{AB}$


2. Thay vào các giá trị đã biết ta tính được AG.

Để chứng minh c) ta có:

1. Áp dụng định lí Pappus cho tam giác DCF và đường thẳng AB ta có:
   
   $\frac{AG}{AB} = \frac{CD}{CF}$


2. Thay vào biểu thức trên ta có:
   
   $AG \cdot CF = CD \cdot AB$