직각삼각형에서, 빗변이 외접원의 지름임을 증명하라 (탈레스)