Định lý được diễn đạt như sau:

**Giả thiết (GT):**
- Đường thẳng \( b \) vuông góc với đường thẳng \( a \) (b ⊥ a).
- Đường thẳng \( c \) vuông góc với đường thẳng \( a \) (c ⊥ a).

**Kết luận (KL):**
- Đường thẳng \( b \) song song với đường thẳng \( c \) (b ∥ c).

Hình minh họa:

1. Vẽ đường thẳng \( a \).
2. Vẽ đường thẳng \( b \) vuông góc với \( a \).
3. Vẽ đường thẳng \( c \) vuông góc với \( a \) và song song với \( b \).

Dưới đây là hình minh họa:

```
b
|
|
|________ a
|
|
c
```

Trong hình minh họa, đường thẳng \( b \) và \( c \) đều vuông góc với đường thẳng \( a \), do đó \( b \) và \( c \) song song với nhau.