Để viết giả thiết và kết luận của định lý: “Một đường thẳng vuông góc với một trong hai đường thẳng song song thì đường thẳng còn lại”, ta cần xem xét các tùy chọn được đưa ra.

Giả thiết (GT) sẽ nói về mối quan hệ giữa các đường thẳng, còn kết luận (KL) sẽ đưa ra tuyên bố về đường thẳng còn lại. Theo định lý, nếu một đường thẳng vuông góc với một đường thẳng trong hai đường thẳng song song, thì nó sẽ vuông góc với đường thẳng còn lại.

Áp dụng vào các tùy chọn:

- **A**: GT n || m, a ⊥ n; KL a ⊥ m
- **B**: GT a || m, a ⊥ n; KL m || n
- **C**: GT a || m, a ⊥ n; KL a ⊥ n
- **D**: GT n || m, a ⊥ m; KL a ⊥ n

Với giả thiết là "n song song với m" và "a vuông góc với n", kết luận đúng sẽ là "a cũng vuông góc với m".

Do đó, cách viết đúng trong các tùy chọn là:

**A**: GT n || m, a ⊥ n; KL a ⊥ m.