Sposób 2.
Obwody trójkątów:
CAW1,
ABW2,
BCW3 oznaczymy odpowiednio jako
O1,
O2,
O3.
1. Wykorzystamy zależności między obwodami a polami figur płaskich podobnych:
P1P2=(O1O2)2P1P3=(O1O3)2
2. Wykorzystamy fakt, że stosunki obwodów trójkątów podobnych są równe stosunkom długości podstaw tych trójkątów:
O1O2=∣CA∣∣AB∣O1O3=∣CA∣∣BC∣
3. Z zależności 1. i 2. wynika:
P1P2=(∣CA∣∣AB∣)2P1P3=(∣CA∣∣BC∣)2
P2=∣CA∣2∣AB∣2⋅P1P3=∣CA∣2∣BC∣2⋅P1
4. Obliczymy sumę
P1+P2:
P1+P2=P1+∣CA∣2∣AB∣2⋅P1=P1⋅(1+∣CA∣2∣AB∣2)
P1+P2=P1⋅∣CA∣2∣CA∣2+∣AB∣2
5. Skorzystamy z twierdzenia Pitagorasa dla trójkąta
ABC:
∣CA∣2+∣AB∣2=∣BC∣2
Zatem równanie w drugim wierszu pkt 4. można zapisać w postaci:
P1+P2=P1⋅∣CA∣2∣BC∣2
Prawa strona powyższego równania, na mocy pkt 3., jest równa
P3:
P1+P2=P3
To kończy dowód.