Select Git revision
scrolls.json 10.61 KiB
[
{
"problemTheory": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem",
"solutionTheory": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Solution",
"label": "OppositeLen",
"description": "Given a triangle $0$1$2 right angled at $2, the distance $0$1 can be computed from the angle at $1 and the distance $1$2",
"requiredFacts": [
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pA",
"label": "a",
"tp": {
"original": {
"uri": "http://mathhub.info/MitM/core/geometry?3DGeometry?point",
"kind": "OMS"
},
"simplified": {
"uri": "http://mathhub.info/MitM/core/geometry?3DGeometry?point",
"kind": "OMS"
}
},
"df": null
},
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pB",
"label": "b",
"tp": {
"original": {
"uri": "http://mathhub.info/MitM/core/geometry?3DGeometry?point",
"kind": "OMS"
},
"simplified": {
"uri": "http://mathhub.info/MitM/core/geometry?3DGeometry?point",
"kind": "OMS"
}
},
"df": null
},
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pC",
"label": "c",
"tp": {
"original": {
"uri": "http://mathhub.info/MitM/core/geometry?3DGeometry?point",
"kind": "OMS"
},
"simplified": {
"uri": "http://mathhub.info/MitM/core/geometry?3DGeometry?point",
"kind": "OMS"
}
},
"df": null
},
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pdistBC_v",
"label": "pdist$1$2_v",
"tp": {
"original": {
"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?real_lit",
"kind": "OMS"
},
"simplified": {
"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?real_lit",
"kind": "OMS"
}
},
"df": null
},
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pdistBC",
"label": "pdistt$1$2", "tp": {
"original": {
"applicant": {
"uri": "http://mathhub.info/FrameIT/frameworld?DistanceFact?distanceFact",
"kind": "OMS"
},
"arguments": [
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pB",
"kind": "OMS"
},
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pC",
"kind": "OMS"
},
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pdistBC_v",
"kind": "OMS"
}
],
"kind": "OMA"
},
"simplified": {
"applicant": {
"uri": "http://mathhub.info/FrameIT/frameworld?DistanceFact?distanceFact",
"kind": "OMS"
},
"arguments": [
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pB",
"kind": "OMS"
},
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pC",
"kind": "OMS"
},
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pdistBC_v",
"kind": "OMS"
}
],
"kind": "OMA"
}
},
"df": null
},
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pangleABC_v",
"label": "pangleAt$0$1$2_v",
"tp": {
"original": {
"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?real_lit",
"kind": "OMS"
},
"simplified": {
"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?real_lit",
"kind": "OMS"
}
},
"df": null
},
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pangleABC",
"label": "pangle$0$1$2",
"tp": {
"original": {
"applicant": {
"uri": "http://mathhub.info/FrameIT/frameworld?AngleFact?angleFact",
"kind": "OMS"
}, "arguments": [
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pA",
"kind": "OMS"
},
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pB",
"kind": "OMS"
},
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pC",
"kind": "OMS"
},
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pangleABC_v",
"kind": "OMS"
}
],
"kind": "OMA"
},
"simplified": {
"applicant": {
"uri": "http://mathhub.info/FrameIT/frameworld?AngleFact?angleFact",
"kind": "OMS"
},
"arguments": [
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pA",
"kind": "OMS"
},
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pB",
"kind": "OMS"
},
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pC",
"kind": "OMS"
},
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pangleABC_v",
"kind": "OMS"
}
],
"kind": "OMA"
}
},
"df": null
},
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pangleBCA",
"label": "pangle$1$2$0",
"tp": {
"original": {
"applicant": {
"uri": "http://mathhub.info/FrameIT/frameworld?AngleFact?angleFact",
"kind": "OMS"
},
"arguments": [
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pB",
"kind": "OMS"
},
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pC",
"kind": "OMS"
},
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pA",
"kind": "OMS"
}, {
"float": 90.0,
"kind": "OMF"
}
],
"kind": "OMA"
},
"simplified": {
"applicant": {
"uri": "http://mathhub.info/FrameIT/frameworld?AngleFact?angleFact",
"kind": "OMS"
},
"arguments": [
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pB",
"kind": "OMS"
},
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pC",
"kind": "OMS"
},
{
"uri": "http://mathhub.info/FrameIT/frameworld?OppositeLen_Problem?pA",
"kind": "OMS"
},
{
"float": 90.0,
"kind": "OMF"
}
],
"kind": "OMA"
}
},
"df": null
}
]
}
]