(المثلث الذي إحدى زواياه قائمة يسمى مثلث قائم الزاوية) يمكن كتابة العبارة الشرطية السابقة على صورة (إذا كان .. فإن...) كالآتي: أ) إذا كان الشكل مثلثا فإن إحدى زواياه قائمة. ب) إذا كان الشكل مثلثا فإنه قائم الزاوية. ج) إذا كان المثلث قائم الزاوية فإن إحدى زواياه قائمة. د) إذا كانت إحدى زوايا المثلث قائمة فإنه مثلث قائم الزاوية.