كيف نثبت أن مستقيمين متعامدين؟

جميع الزوايا المكونة من تعامد خطين مستقيمين هي زوايا قائمة (قياس الزاوية القائمة يساوي ? π راديان، أو 90? درجة). وبالعكس فإن أي خطين مستقيمين يشكلان زوايا قائمة فهما متعامدان .