直角三角形において、斜辺が外接円の直径であることを証明せよ（タレス）。