Giả sử O₁ là góc vuông (O1^= 90°).

Ta có: O3^=O1^ (hai góc đối đỉnh). Suy ra O3^= 90°, tức là O₃ là góc vuông.  

Do O₁ và O₂ là hai góc kề bù nên O1^+O2^ = 180° hay O2^ = 180° – O1^.

Suy ra O2^ = 180° – 90° = 90°, tức là O₂ là góc vuông.

Lại có O2^=O4^(hai góc đối đỉnh), suy ra O4^ = 90°, tức là O₄ là góc vuông.

Vậy nếu O₁ là góc vuông thì các góc O₂ ,O₃, O₄ cũng là góc vuông.

Tương tự nếu O₂, hoặc O₃, hoặc O_4­ là góc vuông thì ta cũng chứng minh được các góc còn lại cũng là góc vuông.

Như thế bạn Hoa nói đúng.