Hãy phát biểu các định lí được diễn tả bằng các hình vẽ sau, rồi viết giả thiết kết luận rồi chứng minh

Để phát biểu các định lý liên quan đến hình vẽ trong bài toán này, ta có thể nhận thấy có hai hình và các đường thẳng vuông góc.

### Định lý 1 (Đường thẳng vuông góc)
**Phát biểu:** Nếu một đường thẳng c vuông góc với một đường thẳng a, và đường thẳng c cũng vuông góc với một đường thẳng b, thì a và b song song với nhau.

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

**Kết luận:**
- Đường thẳng a song song với đường thẳng b.

### Chứng minh:
1. Theo định nghĩa, hai đường thẳng vuông góc với cùng một đường thẳng thì chúng sẽ không cắt nhau, tức là chúng song song với nhau.
2. Từ giả thiết, ta có \( c \perp a \) và \( c \perp b \).
3. Do đó, từ tính chất vuông góc ta suy ra được \( a \parallel b \).

Như vậy, ta đã tiến hành phát biểu định lý cũng như chứng minh.