Để chứng minh định lý "Hai đường thẳng phân biệt cùng song song với một đường thẳng thứ ba thì chúng song song với nhau", ta sẽ thực hiện theo các bước như sau:

### Giả thiết (GT) và Kết luận (KL)

- **GT**: Có ba đường thẳng: \( d_1, d_2, d_3 \) sao cho \( d_1 \parallel d_3 \) và \( d_2 \parallel d_3 \).
- **KL**: \( d_1 \parallel d_2 \).

### Vẽ hình minh họa

Bước vẽ hình như sau:

1. Vẽ đường thẳng \( d_3 \) ngang.
2. Vẽ đường thẳng \( d_1 \) song song với \( d_3 \) (nằm trên một mặt phẳng song song với \( d_3 \)).
3. Vẽ đường thẳng \( d_2 \) cũng song song với \( d_3 \) (nằm trên một mặt phẳng song song với \( d_3 \)).
4. Đảm bảo rằng \( d_1 \) và \( d_2 \) không trùng nhau (có thể đặt ở vị trí cách xa nhau để biểu hiện chúng là hai đường thẳng phân biệt).

### Chứng minh (sử dụng định nghĩa về tính song song)

- Theo định nghĩa, hai đường thẳng song song là các đường thẳng không cắt nhau và ở cùng một mặt phẳng.
- Vì cả \( d_1 \) và \( d_2 \) đều song song với cùng một đường thẳng - \( d_3 \) - và không cắt nhau (do cùng nằm trong một mặt phẳng), nên chúng cũng phải song song với nhau.

### Kết luận

Vậy, từ giả thiết đưa ra, ta đã chứng minh rằng hai đường thẳng phân biệt \( d_1 \) và \( d_2 \) song song với đường thẳng thứ ba \( d_3 \) thì chúng cũng song song với nhau.

### Hình vẽ

Bạn có thể vẽ hình dưới dạng sau:

```
d_1: ---------------------- (đường thẳng ngang trên cùng)
\
\
d_3: -- --------------- (đường thẳng ngang giữa)
\
\
d_2: -------------------- (đường thẳng ngang dưới cùng)
```

Trong hình vẽ, cả ba đường thẳng \( d_1, d_2, d_3 \) được vẽ song song với nhau, với \( d_1 \) và \( d_2 \) đều song song với \( d_3 \), nhưng không giao nhau.