این مساله یک نتیجه از قضیه بطلمیوس است.
قضیه بطلمیوس: اگر چهارضلعی $ABCD$ در دایره ای محاط شده باشد در اینصورت حاصلضرب قطرهای آن برابر است با مجموع حاصلضرب اضلاع روبروی آن چهارضلعی یعنی $AC\times BD=AB\times CD+AD\times BC$
برای اثبات اینجا رو ببینید: Ptolemy's theorem
از این قضیه مساله شما اثبات می شود (چرا؟)
