a,
a // b; c vuông góc với a tại M và cắt b tại N (như hình vẽ)
b, Theo quan sát chắc chắn c vuông góc với b
c, Lý luận:
Có a // b (gt)
c cắt a và b lần lượt tại M và N (hình vẽ)
=> Góc M1 = góc N2 (2 góc đồng vị)
Mà a vuông góc với c
=> góc M1 = 90o
=> góc N2 = 90o
=> b vuông góc với c