삼각형 ABD 외접원의 중심 O1 BCD의 중심 O2에 대하여 직선 O1O2가 ABD외접원과 만나는 점을 E BCD외접원과 만나는 점을 F라 하면 PQ의 최댓값은 EF와 같다