Urns with marbles and gems
$begingroup$
In an urn there are three spherical marbles, a red, a green and a blue. Only two of them contain a gemstone inside, while the third is empty. We are not allowed to see or touch them, but we are given the following information about them:
The smaller in size between the red and green is the heavier of the two that contain the gem.
The lighter between the green and blue is the smaller in size of the two that contain the gem.
The larger in size between the red and blue is the lighter of the two that contain the gem.
Find the ones that contain the gems. Which marble is the larger and which is the lighter?
I have tried the following:
Let's name them $R$, $G$ and $B$. Let's use the symbol "$ll$" for the smaller in size and "$<$" for the lighter.
Then we have:
$R ll G, R > G,$
$G < B, G ll B,$
$R gg B, R < B$
So we have $B ll R ll G$ and $G < R < B$ but isn't this contradictory with the second fact?
Apparently I am missing something...
logic
$endgroup$
add a comment |
$begingroup$
In an urn there are three spherical marbles, a red, a green and a blue. Only two of them contain a gemstone inside, while the third is empty. We are not allowed to see or touch them, but we are given the following information about them:
The smaller in size between the red and green is the heavier of the two that contain the gem.
The lighter between the green and blue is the smaller in size of the two that contain the gem.
The larger in size between the red and blue is the lighter of the two that contain the gem.
Find the ones that contain the gems. Which marble is the larger and which is the lighter?
I have tried the following:
Let's name them $R$, $G$ and $B$. Let's use the symbol "$ll$" for the smaller in size and "$<$" for the lighter.
Then we have:
$R ll G, R > G,$
$G < B, G ll B,$
$R gg B, R < B$
So we have $B ll R ll G$ and $G < R < B$ but isn't this contradictory with the second fact?
Apparently I am missing something...
logic
$endgroup$
$begingroup$
You don't know that $R<<G$. You only know that if $R<<G$ then $R>G$. If $G<<R$ then $G>R$. Similarly for the other statements.
$endgroup$
– Derek Elkins
Dec 3 '18 at 21:04
$begingroup$
@DerekElkins: that is not quite correct. if $R lt lt G$ then $R$ has a gem and $R gt$ the other that has a gem. We don't know from the first fact that the gems are in red and green.
$endgroup$
– Ross Millikan
Dec 3 '18 at 21:10
$begingroup$
I made an edit in the last line.
$endgroup$
– Eduardo Juan Ramirez
Dec 3 '18 at 21:25
$begingroup$
@RossMillikan Oops. You're right.
$endgroup$
– Derek Elkins
Dec 3 '18 at 21:41
add a comment |
$begingroup$
In an urn there are three spherical marbles, a red, a green and a blue. Only two of them contain a gemstone inside, while the third is empty. We are not allowed to see or touch them, but we are given the following information about them:
The smaller in size between the red and green is the heavier of the two that contain the gem.
The lighter between the green and blue is the smaller in size of the two that contain the gem.
The larger in size between the red and blue is the lighter of the two that contain the gem.
Find the ones that contain the gems. Which marble is the larger and which is the lighter?
I have tried the following:
Let's name them $R$, $G$ and $B$. Let's use the symbol "$ll$" for the smaller in size and "$<$" for the lighter.
Then we have:
$R ll G, R > G,$
$G < B, G ll B,$
$R gg B, R < B$
So we have $B ll R ll G$ and $G < R < B$ but isn't this contradictory with the second fact?
Apparently I am missing something...
logic
$endgroup$
In an urn there are three spherical marbles, a red, a green and a blue. Only two of them contain a gemstone inside, while the third is empty. We are not allowed to see or touch them, but we are given the following information about them:
The smaller in size between the red and green is the heavier of the two that contain the gem.
The lighter between the green and blue is the smaller in size of the two that contain the gem.
The larger in size between the red and blue is the lighter of the two that contain the gem.
Find the ones that contain the gems. Which marble is the larger and which is the lighter?
I have tried the following:
Let's name them $R$, $G$ and $B$. Let's use the symbol "$ll$" for the smaller in size and "$<$" for the lighter.
Then we have:
$R ll G, R > G,$
$G < B, G ll B,$
$R gg B, R < B$
So we have $B ll R ll G$ and $G < R < B$ but isn't this contradictory with the second fact?
Apparently I am missing something...
logic
logic
edited Dec 3 '18 at 22:43
Graham Kemp
84.9k43378
84.9k43378
asked Dec 3 '18 at 19:03
Eduardo Juan RamirezEduardo Juan Ramirez
1405
1405
$begingroup$
You don't know that $R<<G$. You only know that if $R<<G$ then $R>G$. If $G<<R$ then $G>R$. Similarly for the other statements.
$endgroup$
– Derek Elkins
Dec 3 '18 at 21:04
$begingroup$
@DerekElkins: that is not quite correct. if $R lt lt G$ then $R$ has a gem and $R gt$ the other that has a gem. We don't know from the first fact that the gems are in red and green.
$endgroup$
– Ross Millikan
Dec 3 '18 at 21:10
$begingroup$
I made an edit in the last line.
$endgroup$
– Eduardo Juan Ramirez
Dec 3 '18 at 21:25
$begingroup$
@RossMillikan Oops. You're right.
$endgroup$
– Derek Elkins
Dec 3 '18 at 21:41
add a comment |
$begingroup$
You don't know that $R<<G$. You only know that if $R<<G$ then $R>G$. If $G<<R$ then $G>R$. Similarly for the other statements.
$endgroup$
– Derek Elkins
Dec 3 '18 at 21:04
$begingroup$
@DerekElkins: that is not quite correct. if $R lt lt G$ then $R$ has a gem and $R gt$ the other that has a gem. We don't know from the first fact that the gems are in red and green.
$endgroup$
– Ross Millikan
Dec 3 '18 at 21:10
$begingroup$
I made an edit in the last line.
$endgroup$
– Eduardo Juan Ramirez
Dec 3 '18 at 21:25
$begingroup$
@RossMillikan Oops. You're right.
$endgroup$
– Derek Elkins
Dec 3 '18 at 21:41
$begingroup$
You don't know that $R<<G$. You only know that if $R<<G$ then $R>G$. If $G<<R$ then $G>R$. Similarly for the other statements.
$endgroup$
– Derek Elkins
Dec 3 '18 at 21:04
$begingroup$
You don't know that $R<<G$. You only know that if $R<<G$ then $R>G$. If $G<<R$ then $G>R$. Similarly for the other statements.
$endgroup$
– Derek Elkins
Dec 3 '18 at 21:04
$begingroup$
@DerekElkins: that is not quite correct. if $R lt lt G$ then $R$ has a gem and $R gt$ the other that has a gem. We don't know from the first fact that the gems are in red and green.
$endgroup$
– Ross Millikan
Dec 3 '18 at 21:10
$begingroup$
@DerekElkins: that is not quite correct. if $R lt lt G$ then $R$ has a gem and $R gt$ the other that has a gem. We don't know from the first fact that the gems are in red and green.
$endgroup$
– Ross Millikan
Dec 3 '18 at 21:10
$begingroup$
I made an edit in the last line.
$endgroup$
– Eduardo Juan Ramirez
Dec 3 '18 at 21:25
$begingroup$
I made an edit in the last line.
$endgroup$
– Eduardo Juan Ramirez
Dec 3 '18 at 21:25
$begingroup$
@RossMillikan Oops. You're right.
$endgroup$
– Derek Elkins
Dec 3 '18 at 21:41
$begingroup$
@RossMillikan Oops. You're right.
$endgroup$
– Derek Elkins
Dec 3 '18 at 21:41
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
You are not transcribing the facts correctly. You have taken the first statement to say that red is smaller than green and red is heavier than green. What it says is that whichever is smaller is the heavier of the two marbles that contain a gem. You therefore cannot use the transitivity to derive the contradiction you did.
I think I would just list the six possibilities for size ranking and see where each leads.
Say they are RGB from large to small. Then green is the heavier of the two that have gems (fact 1), red is the lighter of the two that have gems (fact 3), and blue is empty. Fact 2 now says that as green is the smaller that has a gem it is lighter than blue. Then they are BGR in order of weight. On the assumption that the puzzle is correctly posed, we could stop here and report the answer. Red and green have gems, red is larger and lighter.
To show how a problem can arise, say they are GBR from large to small. Now red is the heavier one with a gem and blue is the lighter one with a gem. Fact 2 says that the smaller one with a gem is blue or green, so we have a contradiction and this order of sizes is not possible.
$endgroup$
$begingroup$
Thank you very much Sir!
$endgroup$
– Eduardo Juan Ramirez
Dec 4 '18 at 12:55
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3024517%2furns-with-marbles-and-gems%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
You are not transcribing the facts correctly. You have taken the first statement to say that red is smaller than green and red is heavier than green. What it says is that whichever is smaller is the heavier of the two marbles that contain a gem. You therefore cannot use the transitivity to derive the contradiction you did.
I think I would just list the six possibilities for size ranking and see where each leads.
Say they are RGB from large to small. Then green is the heavier of the two that have gems (fact 1), red is the lighter of the two that have gems (fact 3), and blue is empty. Fact 2 now says that as green is the smaller that has a gem it is lighter than blue. Then they are BGR in order of weight. On the assumption that the puzzle is correctly posed, we could stop here and report the answer. Red and green have gems, red is larger and lighter.
To show how a problem can arise, say they are GBR from large to small. Now red is the heavier one with a gem and blue is the lighter one with a gem. Fact 2 says that the smaller one with a gem is blue or green, so we have a contradiction and this order of sizes is not possible.
$endgroup$
$begingroup$
Thank you very much Sir!
$endgroup$
– Eduardo Juan Ramirez
Dec 4 '18 at 12:55
add a comment |
$begingroup$
You are not transcribing the facts correctly. You have taken the first statement to say that red is smaller than green and red is heavier than green. What it says is that whichever is smaller is the heavier of the two marbles that contain a gem. You therefore cannot use the transitivity to derive the contradiction you did.
I think I would just list the six possibilities for size ranking and see where each leads.
Say they are RGB from large to small. Then green is the heavier of the two that have gems (fact 1), red is the lighter of the two that have gems (fact 3), and blue is empty. Fact 2 now says that as green is the smaller that has a gem it is lighter than blue. Then they are BGR in order of weight. On the assumption that the puzzle is correctly posed, we could stop here and report the answer. Red and green have gems, red is larger and lighter.
To show how a problem can arise, say they are GBR from large to small. Now red is the heavier one with a gem and blue is the lighter one with a gem. Fact 2 says that the smaller one with a gem is blue or green, so we have a contradiction and this order of sizes is not possible.
$endgroup$
$begingroup$
Thank you very much Sir!
$endgroup$
– Eduardo Juan Ramirez
Dec 4 '18 at 12:55
add a comment |
$begingroup$
You are not transcribing the facts correctly. You have taken the first statement to say that red is smaller than green and red is heavier than green. What it says is that whichever is smaller is the heavier of the two marbles that contain a gem. You therefore cannot use the transitivity to derive the contradiction you did.
I think I would just list the six possibilities for size ranking and see where each leads.
Say they are RGB from large to small. Then green is the heavier of the two that have gems (fact 1), red is the lighter of the two that have gems (fact 3), and blue is empty. Fact 2 now says that as green is the smaller that has a gem it is lighter than blue. Then they are BGR in order of weight. On the assumption that the puzzle is correctly posed, we could stop here and report the answer. Red and green have gems, red is larger and lighter.
To show how a problem can arise, say they are GBR from large to small. Now red is the heavier one with a gem and blue is the lighter one with a gem. Fact 2 says that the smaller one with a gem is blue or green, so we have a contradiction and this order of sizes is not possible.
$endgroup$
You are not transcribing the facts correctly. You have taken the first statement to say that red is smaller than green and red is heavier than green. What it says is that whichever is smaller is the heavier of the two marbles that contain a gem. You therefore cannot use the transitivity to derive the contradiction you did.
I think I would just list the six possibilities for size ranking and see where each leads.
Say they are RGB from large to small. Then green is the heavier of the two that have gems (fact 1), red is the lighter of the two that have gems (fact 3), and blue is empty. Fact 2 now says that as green is the smaller that has a gem it is lighter than blue. Then they are BGR in order of weight. On the assumption that the puzzle is correctly posed, we could stop here and report the answer. Red and green have gems, red is larger and lighter.
To show how a problem can arise, say they are GBR from large to small. Now red is the heavier one with a gem and blue is the lighter one with a gem. Fact 2 says that the smaller one with a gem is blue or green, so we have a contradiction and this order of sizes is not possible.
edited Dec 3 '18 at 21:34
answered Dec 3 '18 at 21:08
Ross MillikanRoss Millikan
293k23197371
293k23197371
$begingroup$
Thank you very much Sir!
$endgroup$
– Eduardo Juan Ramirez
Dec 4 '18 at 12:55
add a comment |
$begingroup$
Thank you very much Sir!
$endgroup$
– Eduardo Juan Ramirez
Dec 4 '18 at 12:55
$begingroup$
Thank you very much Sir!
$endgroup$
– Eduardo Juan Ramirez
Dec 4 '18 at 12:55
$begingroup$
Thank you very much Sir!
$endgroup$
– Eduardo Juan Ramirez
Dec 4 '18 at 12:55
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3024517%2furns-with-marbles-and-gems%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
You don't know that $R<<G$. You only know that if $R<<G$ then $R>G$. If $G<<R$ then $G>R$. Similarly for the other statements.
$endgroup$
– Derek Elkins
Dec 3 '18 at 21:04
$begingroup$
@DerekElkins: that is not quite correct. if $R lt lt G$ then $R$ has a gem and $R gt$ the other that has a gem. We don't know from the first fact that the gems are in red and green.
$endgroup$
– Ross Millikan
Dec 3 '18 at 21:10
$begingroup$
I made an edit in the last line.
$endgroup$
– Eduardo Juan Ramirez
Dec 3 '18 at 21:25
$begingroup$
@RossMillikan Oops. You're right.
$endgroup$
– Derek Elkins
Dec 3 '18 at 21:41