[كرم الريفى]

ب جـ ∩ أ هـ = {س}
(< أ س ب ) تتمم (< ب أ س)
< هـ تتمم ( < هـ أ م)
لكن ق(< ب أ س) = ق(< هـ أ م)
فإن ؛ ق(< هـ) = ق( < أ س ب)
بما أن ق (< أ س ب)= ق( < ء أ س) بالتبادل (من خواص المستطيل)
إذن ق ( <هـ) = ق( < س أ ء )
لذا فإن المثلث أ هـ ء متساوى الساقين
أى أن : أ ء = ء هـ