ידוע שמרובע קמור ABCD יכול לחסום מעגל אם ורק אם AB+CD=BC+AD. מה לגבי מרובע קעור? האם נכון לומר שקיים מעגל שצלעות המרובע הקעור ABCD או המשכיהן משיקות לו אם ורק אם AB+CD=BC+AD? והאם זה נכון גם לגבי מרובע שחותך את עצמו?
ה"אם ורק אם". כלומר הוכחת שבמרובע קעור החוסם מעגל מתקיים השוויון, אבל לא הוכחת שבמרובע קעור שבו מתקיים השוויון ניתן לחסום מעגל. האם תוכל להוכיח זאת? (מותר לך להניח בהוכחה שבמרובע קמור בו מתקיים השוויון ניתן לחסום מעגל.)