« first day (2711 days earlier)
← previous day
next day →
last day (2232 days later) »
Mr. Xcoder
6:08 PM
$a+b\sqrt{k}<c+d\sqrt{k}\implies a-c+b\sqrt{k}<d\sqrt{k}$. As $\sqrt{k}\ge 0$, this is further equivalent to: $\frac{a-c+b\sqrt{k}}{\sqrt{k}}<d\implies\frac{a-c}{\sqrt{k}}+b<d$
betseg
or $a-c<(d-b)\sqrt{k}$
Mr. Xcoder
Indeed.
But yours can more easily be proved to be equivalent because $a+b\sqrt{k}<c+d\sqrt{k}\implies a-c<d\sqrt{k}-b\sqrt{k}=(d-b)\sqrt{k}$
More steps => Same byte count :P
« first day (2711 days earlier)
← previous day
next day →
last day (2232 days later) »
all rooms
Transcript for
Mar
22
Mar '18
23
Mar
25
Sandbox
Where you can play with chat features (except flagging) and ch...
4
ai
bots
chatgpt
experimentation
fishes
oak
sandbox
join this room
about this room
00:00
06:00
12:00
18:00
all times are UTC
site design / logo © 2024 Stack Exchange Inc;
legal
mobile