利用互质关系证明：如果A⊥B，A²+B²=C²，则B⊥C且C⊥A

利用互质关系证明：如果A⊥B，A²+B²=C²，则B⊥C且C⊥A

已知条件： A ⊥ B 和 A² + B² = C²

目标： 证明 B ⊥ C 和 C ⊥ A

证明：

首先，证明 B ⊥ C：

1. 假设 B 和 C 不是互质的，即它们存在共同的质因数。我们可以将 B 和 C 分别表示为 B = k·m 和 C = k·n，其中 k 是它们的共同质因数，而 m 和 n 是与 k 互质的整数。

2. 将 B = k·m 和 C = k·n 代入等式 A² + B² = C² 中，我们得到 A² + (k·m)² = (k·n)²。整理得 A² = (k²)(n² - m²)。

3. 根据等式 A² = (k²)(n² - m²)，我们可以看到 A² 是 k² 的倍数，这意味着 A 也是 k 的倍数。

4. 因此，A 和 B 有一个共同的质因数 k，与已知条件 A ⊥ B 矛盾。

5. 因此，假设不成立，B 和 C 一定是互质的，即 B ⊥ C。

同理，可以证明 C ⊥ A：

1. 假设 C 和 A 不是互质的，即它们存在共同的质因数。将 C 和 A 表示为 C = p·m 和 A = p·n，其中 p 是它们的共同质因数，而 m 和 n 是与 p 互质的整数。

2. 将 C = p·m 和 A = p·n 代入等式 A² + B² = C² 中，我们得到 (p·n)² + B² = (p·m)²。整理得 B² = (p²)(m² - n²)。

3. 根据等式 B² = (p²)(m² - n²)，我们可以看到 B² 是 p² 的倍数，这意味着 B 也是 p 的倍数。

4. 因此，B 和 C 有一个共同的质因数 p，与之前证明的 B ⊥ C 矛盾。

5. 因此，假设不成立，C 和 A 一定是互质的，即 C ⊥ A。

综上所述，基于 A ⊥ B 和 A² + B² = C²，我们证明了 B ⊥ C 和 C ⊥ A。