Cho ∆ABC ᔕ ∆A'B'C' với tỉ số đồng dạng k > 0. Gọi (O; R) và (O'; R') lần lượt là đường tròn ngoại tiếp các tam giác ABC và A'B'C'. Gọi (I; r) và (I'; r') lần lượt là đường tròn nội tiếp các tam giác ABC và A'B'C'. Chứng minh rằng RR'=rr'=k.