| (a+c)(b+d) | ||
P≤ | ||
| 4 |
| (a+c)(b+d) | a*b + a*d + b*c + c*d | ||
= | |||
| 4 | 4 |
| 1 | 1 | |||
P = | *a*d*sinα + | *b*c*sinγ | ||
| 2 | 2 |
| 1 | 1 | |||
P = | *a*b*sinβ + | *c*d*sinδ | ||
| 2 | 2 |
| 1 | 1 | 1 | 1 | |||||
2P = | *a*d*sinα + | *b*c*sinγ + | *a*b*sinβ + | *c*d*sinδ | ||||
| 2 | 2 | 2 | 2 |
| a*d*sinα + b*c*sinγ + a*b*sinβ + c*d*sinδ | ||
P = | ||
| 4 |
| a*d*sinα + b*c*sinγ + a*b*sinβ + c*d*sinδ | a*d + b*c + a*b + c*d | ||
≤ | |||
| 4 | 4 |
| a*d + b*c + a*b + c*d | ||
P ≤ | ||
| 4 |