Ta có hình vẽ:
+ Trên đường thẳng a, đoạn IA = IB => I là trung điểm của đoạn AB
Mà đường thẳng a vuông góc với b
=> IC là đường trung trực của đoạn thẳng AB; ID là đường trung trực của đoạn thẳng AB
+ Trên đường thẳng b, đoạn IC = ID => I là trung điểm của đoạn thẳng CD
Mà đường thẳng a vuông góc với b
=> IA là đường trung trực của đoạn thẳng CD; IB là đường trung trực của đoạn thẳng CD