Để chứng minh hai tam giác \( AHE \) và \( CFG \) đồng dạng và ba điểm \( A, O, C \) thẳng hàng, ta sẽ sử dụng tính chất của hình bình hành và tính chất của hai đường thẳng song song.

### Chứng minh hai tam giác \( AHE \) và \( CFG \) đồng dạng

1. **Thiết lập các tính chất của hình bình hành**:
- Trong hình bình hành \( ABCD \), các cạnh đối song song và bằng nhau: \( AB \parallel CD \), \( BC \parallel AD \) và \( AB = CD \), \( BC = AD \).
- Các góc đối trong hình bình hành bằng nhau: \( \angle ABC = \angle CDA \) và \( \angle BCD = \angle DAB \).

2. **Điều kiện song song**:
- Theo đề bài, ta có \( EH \parallel FG \).
- Do điểm \( E \) nằm trên \( AB \) và \( H \) nằm trên \( AD \), ta có:
\[
\angle AHE = \angle CFG \quad (\text{sinh bởi các đường song song và cắt bởi đoạn thẳng EG})
\]
- Tương tự, ta có:
\[
\angle AEE = \angle CFF \quad (\text{vì các đường song song và cắt bởi đoạn thẳng FH})
\]

3. **Kết luận**:
- Theo các tính chất ở trên, ta có:
\[
\angle AHE = \angle CFG \quad \text{và} \quad \angle AEE = \angle CFF
\]
- Do đó, hai tam giác \( AHE \) và \( CFG \) có hai cặp góc tương ứng bằng nhau, suy ra:
\[
\triangle AHE \sim \triangle CFG
\]

### Chứng minh ba điểm \( A, O, C \) thẳng hàng

1. **Điều kiện tư duy**:
- Gọi \( O \) là giao điểm của \( EG \) và \( FH \). Vì \( EH \parallel FG \), nên điểm \( O \) có tính chất của giao điểm các đường chéo trong tam giác, cách đường thẳng này chia hai đoạn thẳng là tỷ lệ.

2. **Sử dụng tính chất tam giác đồng dạng**:
- Từ tính đồng dạng giữa hai tam giác \( AHE \) và \( CFG \), kết quả là các tỉ lệ các cạnh tương ứng giữa hai tam giác này cũng giữ nguyên. Cụ thể, ta có:
\[
\frac{AE}{CF} = \frac{AH}{CG}
\]
- Sau đó, các đường chéo \( AC \) sẽ hoàn toàn nằm trong tỷ lệ đó.

3. **Kết luận**:
- Bởi vì các điểm \( A, O, C \) được xác định theo tỉ lệ này, ta có thể nói rằng ba điểm này phải thẳng hàng. Tức là, khi một điểm chia một đoạn thẳng thành tỷ lệ tương ứng với hai tam giác đồng dạng, ba điểm đó chắc chắn sẽ thẳng hàng.

### Kết luận chung

Ta đã chứng minh rằng:
- Hai tam giác \( AHE \) và \( CFG \) đồng dạng, và
- Ba điểm \( A, O, C \) thẳng hàng.