Dane:
DE=AC
kąt ADB=kąt EDC (bo ED || AB)
AB=a -przeciwprostokątna
BC=b
AC=c=DE -przeciwprostokątne
CE=e
CD=d
P1=Pole trójkąta ABC
P2=Pole trójkąta EDC
a²=b²+c²
P1=½ab
P2=½ed
e/c=c/a
e=c²/a
d/c=b/a
d=bc/a
P1=½ab
p2=½ (c²/a)*(bc/a)=½(bc³/a²)
P1/P2 = (½ab)/[½(bc³/a²)] =a³/c³=(a/c)³
P1/P2= (a/c)³
P2/P1 = (c/a)³
c/a = sin alfa
P2/P1 = (sin alfa)³
Odp. stosunek pola trójkąta EDC do pola trójkąta ABC wynosi sinus kąta alfa do potęgi trzeciej