A right triangle has leg lengths 3 and 4. Find the hypotenuse length c.
G001 — A right triangle has leg lengths 3 and 4. Find the hypotenuse length c.
Definition and scope
Use the original question domain, assumptions and cited MKO definitions. This item has second-context mathematical and bilingual review, with the model, answer and every arithmetic step independently recomputed from the original parameters; the source question remains a candidate.
Separate source banks:legacy RAW SAFE with unbounded derived BigInts versus BASE Number.isInteger without invented SAFE/million caps.Operations,domains and permissive/exact keys follow THIS bank.Keep ORIGINAL JSON intact.
The ORIGINAL bilingual problem GIVES a right triangle and TWO legs.Derive c ONLY from these givens;the already-filled hypotenuse parameter is NOT an oracle.Apply Pythagoras under the GIVEN right-angle premise,not an unqualified converse.
Pythagorean ORIGINAL given first leg squared := mul(3, 3)
After
Pythagorean ORIGINAL given first leg squared = 9
Conditions: none
Calculate exactly from ORIGINAL ordered operands;mul/sub/div have EXPLICITLY TWO operands.Legacy derived BigInts are not recapped at RAW SAFE;check BASE Number type/representation conditions separately.Do not use floating approximations to force an answer.
Pythagorean ORIGINAL given second leg squared := mul(4, 4)
After
Pythagorean ORIGINAL given second leg squared = 16
Conditions: none
Calculate exactly from ORIGINAL ordered operands;mul/sub/div have EXPLICITLY TWO operands.Legacy derived BigInts are not recapped at RAW SAFE;check BASE Number type/representation conditions separately.Do not use floating approximations to force an answer.
Pythagorean ORIGINAL sum of given leg squares := sum(9, 16)
After
Pythagorean ORIGINAL sum of given leg squares = 25
Conditions: none
Calculate exactly from ORIGINAL ordered operands;mul/sub/div have EXPLICITLY TWO operands.Legacy derived BigInts are not recapped at RAW SAFE;check BASE Number type/representation conditions separately.Do not use floating approximations to force an answer.
Pythagorean DERIVED positive root squared for reverse substitution = 25
Conditions: none
Calculate exactly from ORIGINAL ordered operands;mul/sub/div have EXPLICITLY TWO operands.Legacy derived BigInts are not recapped at RAW SAFE;check BASE Number type/representation conditions separately.Do not use floating approximations to force an answer.
The unknown side has square radicand;substitute back to verify value² exactly.A POSITIVE length selects the positive principal root,not BOTH±branches.All25 ACTUAL roots are exact integers;do not use Math.sqrt approximations or copy filled answer metadata.
S007 · premise_and_result_audit — Reverse-check THIS question’s ORIGINAL givens,domain and step premises.Preserve originals/English/MKOs/ASTs/status;do not reverse a one-way implication or call finite checks independent review or general formal proof.
S006 · premise_and_result_audit — Recompute Pythagorean DERIVED positive root squared for reverse substitution with exact rational arithmetic, not rounded decimals.
S005 · premise_and_result_audit — Recompute Pythagorean ORIGINAL sum of given leg squares with exact rational arithmetic, not rounded decimals.
S004 · premise_and_result_audit — Recompute Pythagorean ORIGINAL given second leg squared with exact rational arithmetic, not rounded decimals.
S003 · premise_and_result_audit — Recompute Pythagorean ORIGINAL given first leg squared with exact rational arithmetic, not rounded decimals.
S002 · premise_and_result_audit — Reverse-check THIS question’s ORIGINAL givens,domain and step premises.Preserve originals/English/MKOs/ASTs/status;do not reverse a one-way implication or call finite checks independent review or general formal proof.
S001 · premise_and_result_audit — Reverse-check THIS question’s ORIGINAL givens,domain and step premises.Preserve originals/English/MKOs/ASTs/status;do not reverse a one-way implication or call finite checks independent review or general formal proof.
Result
5
The full substitutions and premise checks give the original answer; source identity,format and status are unchanged.
This question review and source binding
Review date: 2026-10-26
Original questions, answers, step expressions, numeric ASTs and historical records are retained. Source candidate labels remain historical and are not overwritten as formal proof.