Description: IMO 1972 B2. (14th International Mathematical Olympiad in Poland, problem B2). (Contributed by Stanislas Polu, 9-Mar-2020)
Ref | Expression | ||
---|---|---|---|
Hypotheses | imo72b2.1 | |
|
imo72b2.2 | |
||
imo72b2.4 | |
||
imo72b2.5 | |
||
imo72b2.6 | |
||
imo72b2.7 | |
||
Assertion | imo72b2 | |